Twin reduction defines an equivalence relation on the vertex set of a graph. I give a characterisation of this equivalence relation. A consequence is a structure theorem for the automorphism group of the graph.
生成讲解博客的中文版本
生成AI智能校验的中文版本