A k-edge-coloring of a graph G = (V,E) is a mapping c : E → {1, . . . , k},
in other words, an assignment of k colors to the edges of G. An edge-coloring is
proper if adjacent edges receive distinct colors. The minimum number of colors
used in a proper edge-coloring of G is denoted by ′(G).