Vizing’s Theorem
For some finite simple graph ,
where its edge chromatic number is bounded by its maximum degree plus . This is a better upper bound.
In particular, it is always either or .
Proof Idea: We want to use induction on , that if , then . And greedy coloring.
Proof:
Suppose , then , and we are done. Assume that the statement in the proof idea is true for edges.. Consider graph with edges. If we remove edge , then we have edges. By the inductive hypothesis, we can color with colors (assuming ).
Let . In particular, , which means there is some color missing. If also does not have an incident edge of this color, we can color that color and we are done.
For now, suppose is missing a blue edge and is not (denote this as ). For the same reason why we know there is some unused color, for , must also have an unused color (denote this as red). If no other edge at is red, then we can color that particular edge as red, and color blue, and we are done.
Consider that one red edge . Again must have some unused color (denote this green). If has no green edge, then we can color green, color as red, and color as green.
What if has a green edge ? Then we can repeat the process above. We can then exhaust these colorings. If we find a chain of recolorings we are done.
However, we may have some loop, where the last color we need to swap is red. In general, we have some chain of edges before a loop. Suppose we removed the coloring on . This allows us to recolor as blue.
We can reframe the graph on this edge.
graph LR; u((u')) o--o v((v))
where is new. We know has no red incident edge, and has all the same properties as before. We know must be missing some other color also. Suppose it is missing orange.
This allows us to follow the recoloring edge and recolor as orange. This is fine unless there are orange edges on and (the vertex on the edge where we started the recoloring chain).
We now use a Kempe Chain on red-orange, allowing us to switch red to orange and vice versa. Consider the red-orange subgraph . We know . In particular, this subgraph is only paths and cycles. To recolor, we recolor some connected component of paths and cycles.
In particular, we only care about . Each one of these vertices are an endpoint of some of these paths. As we deduced,
- has no red, but orange
- has red but no orange
- has no red, but orange
Suppose we recolored one of these paths. Each path has ends, but we have vertices. It must be the case that one of these vertices where the other endpoint is not one of these . We can then recolor that particular Kempe Chain (and potentially some minor recolorings) and we are done.
This proof write up is of very poor quality. You are better off watching a YouTube video on it (although the first video I watched was pretty bad).
Theorem (Edge Coloring is Big Delta for Bipartite)
If is a finite Bipartite Graph, then
Proof: We induct on . If , we are done. Otherwise, WTS there is a Matching that matches all the vertices of .
Let’s color all edges in the first color. Then we can induct on . Since every maximum vertex in just lost , vertex, then
By the inductive hypothesis, we can color the rest with many colors. So,