On total chromatic number of direct product graphs

Coloring of the graph products, especially vertex and edge coloring, has been widely researched for all types of graph products. For total graph coloring, as combination of edge and vertex coloring, Behzad and Vizing set Total Coloring Conjecture in mid 1960s. In this paper, we prove the conjecture for two specific direct graph products, for direct product of path and arbitrary graph G, Pn×G, where χ′(G)=Δ(G), and expand the proof onto direct product of arbitrary cycle and a path Pn, Cm×Pn. At the same time, the proofs provide the algorithms to color such graphs.