rmula_6与formula_8同构当且仅当formula_6与formula_8的不交并有一个自同构交换两个分支。事实上，仅仅是计算自同构的数目，就和图同构问题以多项式时间等价。图自同构问题就是判定一个图是否有非平凡的自同构。它属于计算复杂度的NP类。与图同构问题类似，仍不知道是否有多项式时间的算法。对于顶点度有一个常数上限的图，相应的图自同构问题有多项式时间的算法。图自同构问题可以通过多项式时间的算法多对一归约成图同构问题，但反过来的归约是否存在仍不清楚。与之不同的是，对于某些特殊类型的自同构，相