In graph theory, a total coloring is a coloring on the vertices and edges of a graph such that: In graph theory, a total coloring is a coloring on the vertices and edges of a graph such that: