On total 9-coloring planar graphs of maximum degree seven
Daniel P. Sanders, Yue Zhao · Journal of Graph Theory · 1999
Given a graph G, a total k-coloring of G is a simultaneous coloring of the vertices and edges of G with at most k colors. If Δ(G) is the maximum degree of G, then no graph has a total Δ-coloring, but Vizing conjectured that every graph has a total (Δ + 2)-coloring. This Total Coloring Conjecture remains open even for planar graphs. This article proves one of the two remaining planar cases, showing that every planar (and projective) graph with Δ ≤ 7 has a total 9-coloring by means of the discharging method. © 1999 John Wiley & Sons, Inc. J Graph Theory 31: 67–73, 1999