TheoremComplete

Brooks' Theorem

Theorem5.1Brooks' Theorem

If GG is a connected graph that is neither a complete graph nor an odd cycle, then χ(G)Δ(G)\chi(G) \leq \Delta(G).


Proof

Proof

We may assume GG is 2-connected (otherwise, color blocks independently). Also assume Δ3\Delta \geq 3 (the case Δ2\Delta \leq 2 is trivial or follows from the cycle exception).

Case 1: GG is not Δ\Delta-regular. There exists a vertex vv with deg(v)<Δ\deg(v) < \Delta. Order the vertices by BFS starting from vv, and apply greedy coloring in reverse BFS order. Each vertex (except vv) has at most Δ1\Delta - 1 already-colored neighbors when processed (since at least one neighbor appears later in BFS). The vertex vv is colored last and has <Δ< \Delta neighbors, so Δ\Delta colors suffice.

Case 2: GG is Δ\Delta-regular and not complete. Since GG is not complete, there exist two non-adjacent vertices u,wu, w that share a neighbor vv (this uses 2-connectivity and regularity). We construct a special ordering: let v1=uv_1 = u, v2=wv_2 = w, and order the remaining vertices so that each viv_i (i3i \geq 3) has at least one neighbor among vi+1,,vnv_{i+1}, \ldots, v_n and vn=vv_n = v.

To build this ordering: take vn=vv_n = v. Since G{u,w}G - \{u, w\} is connected (by 2-connectivity and the non-adjacency of u,wu, w), order v3,,vn1v_3, \ldots, v_{n-1} by reverse BFS from vv in G{u,w}G - \{u, w\}.

Now apply greedy coloring in the order v1,v2,,vnv_1, v_2, \ldots, v_n:

  • v1=uv_1 = u: assign color 1.
  • v2=wv_2 = w: assign color 1 (same as uu; this is valid since uu and ww are not adjacent).
  • v3,,vn1v_3, \ldots, v_{n-1}: each has at most Δ1\Delta - 1 previously colored neighbors (at least one neighbor comes later), so a color from {1,,Δ}\{1, \ldots, \Delta\} is always available.
  • vn=vv_n = v: has Δ\Delta neighbors, but uu and ww share the same color, so at most Δ1\Delta - 1 distinct colors appear among vv's neighbors. A color is available.

In all cases, Δ\Delta colors suffice. \square


ExampleTightness of Brooks' Theorem

Complete graphs: χ(Kn)=n=Δ+1\chi(K_n) = n = \Delta + 1. Odd cycles: χ(C2k+1)=3=Δ+1\chi(C_{2k+1}) = 3 = \Delta + 1. All other connected graphs satisfy χΔ\chi \leq \Delta. For random Δ\Delta-regular graphs (large nn), χΔ/(2lnΔ)\chi \sim \Delta / (2\ln\Delta), far below the Brooks bound.

RemarkExtensions of Brooks' Theorem

Reed's conjecture: χ(G)(Δ(G)+1+ω(G))/2\chi(G) \leq \lceil(\Delta(G) + 1 + \omega(G))/2\rceil, interpolating between Brooks and the trivial bound. Johansson's theorem: triangle-free graphs satisfy χO(Δ/logΔ)\chi \leq O(\Delta/\log\Delta). The Borodin-Kostochka conjecture: for Δ9\Delta \geq 9, if ω<Δ\omega < \Delta then χΔ1\chi \leq \Delta - 1.