13.2 Coloring of Planar graphs

Lemma 13.10.

Every planar graph has a vertex of degree at most 5.

Proof.

If every vertex has degree at least 6, then 2e6v which contradicts Lemma 13.6. ∎

Using the above lemma and induction, one can prove that a planar graph is 5-colorable. But we can do better with a little more arguments.

Theorem 13.11.

Every planar graph is 5-colorable.

Proof.

The theorem is trivially true for graphs with at most 5 vertices. By induction, we assume that the theorem holds for all graphs with at most n vertices.

Let G be a planar graph with n+1 vertices. By Lemma 13.10, there is a vertex v of degree at most 5. Choose the same.

CASE 1 : If deg(v)<5, then by induction Gv is 5-colorable and we can assign v a color not assigned to any of its (at most 4) neighbours.

CASE 2 : Suppose deg(v)=5. Let N(v)={v1,,v5}. Since K5 is not planar, v1,,v5 cannot form a complete graph and hence WLOG, assume that v1v2. Construct a new planar graph G by contracting the edge (v1,v) and denoting the new vertex by v. Further construct a planar graph G′′ by contracting the edge (v,v2) and denoting the new vertex v′′. Since G′′ has n1 vertices and is planar, it is 5-colorable.

To construct a 5-coloring on G : Assign the same colors as in G′′ to all vertices in G except v,v1,v2. Further assign the color of v′′ to v1 and v2. Now, N(v) has been colored using only 4 colors and so assign the 5th color to v. ∎