2 problems

Matching

The linear bound for 1-strongly vertex-distinguishing total coloring
Linear vertex-distinguishing total coloring conjecture. For some positive constant $c$ ,
opengraph-coloring total-coloring vertex-distinguishing
07
The vertex-distinguishing total coloring bound
Vertex-distinguishing total coloring conjecture.
opengraph-coloring total-coloring vertex-distinguishing
07