adjacent vertex-distinguishing total chromatic number

• 相邻顶点可区别的全色数