Brooks' Theorem
If is a connected graph that is neither a complete graph nor an odd cycle, then .
Proof
We may assume is 2-connected (otherwise, color blocks independently). Also assume (the case is trivial or follows from the cycle exception).
Case 1: is not -regular. There exists a vertex with . Order the vertices by BFS starting from , and apply greedy coloring in reverse BFS order. Each vertex (except ) has at most already-colored neighbors when processed (since at least one neighbor appears later in BFS). The vertex is colored last and has neighbors, so colors suffice.
Case 2: is -regular and not complete. Since is not complete, there exist two non-adjacent vertices that share a neighbor (this uses 2-connectivity and regularity). We construct a special ordering: let , , and order the remaining vertices so that each () has at least one neighbor among and .
To build this ordering: take . Since is connected (by 2-connectivity and the non-adjacency of ), order by reverse BFS from in .
Now apply greedy coloring in the order :
- : assign color 1.
- : assign color 1 (same as ; this is valid since and are not adjacent).
- : each has at most previously colored neighbors (at least one neighbor comes later), so a color from is always available.
- : has neighbors, but and share the same color, so at most distinct colors appear among 's neighbors. A color is available.
In all cases, colors suffice.
Complete graphs: . Odd cycles: . All other connected graphs satisfy . For random -regular graphs (large ), , far below the Brooks bound.
Reed's conjecture: , interpolating between Brooks and the trivial bound. Johansson's theorem: triangle-free graphs satisfy . The Borodin-Kostochka conjecture: for , if then .