the adjacent vertex-distinguishing total coloring

• 邻点可区别全染色