We prove that the total chromatic number of any graph with maximum degree is at most plus an absolute constant. In particular, we show that for su ciently large, the total chromatic number of such a graph is at most + 1026. The proof is probabilistic.
Michael Molloy, Bruce A. Reed