The total chromatic number of a graph is the chromatic number
of its total graph
(Harary and Palmer 1973, p. 269). Equivalently, it
is the smallest number of colors needed to color both the graph
vertices and graph edges of
so that adjacent vertices, adjacent edges, and incident vertex-edge
pairs all receive distinct colors. The total chromatic number is commonly denoted
.
If
is the maximum vertex degree of a simple
graph
,
then
The total coloring conjecture, independently proposed by Behzad and Vizing, asserts that
for every finite simple graph (Behzad 1965, Vizing 1968).