设Ｘ是简单无向图，Ｇ是Ａｕｔ（Ｘ）的一个子群，Ｘ称为Ｇ－对称的，如果Ｇ在Ｘ的１－弧集合上的作用是传递的：Ｘ称为对称图，如果Ｘ是Ａｕｔ（Ｘ）－对称的；Ｘ称为可解对称的，如果Ａｕｔ（Ｘ）包含可解子群Ｇ，使......