Vizing's Theorem
For every simple graph , the chromatic index satisfies .
Proof
The lower bound is trivial. For the upper bound, we prove that any simple graph can be properly edge-colored with colors by an augmenting path argument.
Setup. Assume we have a partial proper edge-coloring with colors, and let be an uncolored edge. We will recolor edges to accommodate .
Fan construction. Build a fan at : a sequence of distinct neighbors of such that the color of edge is a color missing at for each . Formally: let for . Choose so that is missing at (i.e., ). Continue until no further extension is possible.
Key observations. When the fan cannot be extended, every color missing at is present at (otherwise we could extend). Since and we use colors, there is a color missing at .
Case 1: If is also missing at some in the fan, then shift the fan: uncolor , recolor with the color of for , and color with . Then color with the free color.
Case 2: is present at all , and there is a color missing at but present at . Consider the -path starting at : the maximal path alternating colors and starting from .
-
If this path does not reach : swap and on this path. Now is missing at , reducing to Case 1 (after fan shifting).
-
If the path reaches : it arrives at through some (since for some in the fan). Now we cannot swap on this path directly. Instead, shift the fan only up to (recolor with for ), making free at . Then swap on the path from (which no longer connects to through the recolored edge), making free at . Color with a free color.
In all cases, we extend the coloring to include . Starting from the empty coloring and adding edges one by one completes the proof.
The Petersen graph has and 15 edges. If it were 3-edge-colorable, each color class would be a perfect matching (5 edges). But the Petersen graph has no Hamiltonian cycle, and by a counting argument, three perfect matchings cannot partition its edge set. Thus .
For bipartite graphs: (KΓΆnig, 1916). The proof is constructive: iteratively find and remove perfect matchings using Hall's theorem. This shows all bipartite graphs are Class 1, in contrast to the difficulty of classifying general graphs.