adjacent vertex-distinguishing acyclic edge coloring

• 邻点可区别无圈边染色