间的算法。对于顶点度有一个常数上限的图，相应的图自同构问题有多项式时间的算法。图自同构问题可以通过多项式时间的算法多对一归约成图同构问题，但反过来的归约是否存在仍不清楚。与之不同的是，对于某些特殊类型的自同构，相应问题的难度是知道的；例如判定是否存在无不动点的自同构是NP完全的，而计算这样的自同构的个数是#P完全的。