图自同构

在图论中，图自同构（graph automorphism）是保持自身的顶点与边的连接关系的对称。

正式地说，图的自同构是顶点集的置换，使得顶点对组成一条边当且仅当也组成一条边。也就是说，是到自身的图同构。自同构的这个定义对有向图和无向图都适用。两个自同构的复合仍是自同构，并且给定一个图，其所有自同构的集合在复合运算下构成群，称为这个图的自同构群。反过来，根据Frucht定理，所有群都可以表示成连通图的自同构群。

计算复杂度 
构造自同构群至少与图同构问题一样难（在计算复杂度的意义下），图同构问题就是判定两个给定的图是否同构。因为，与同构当且仅当与的不交并有一个自同构交换两个分支。事实上，仅仅是计算自同构的数目，就和图同构问题以多项式时间等价。

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

根据自同构定义的图族 

 不对称图是没有非平凡自同构的无向图。
 对称图是每一对邻接的顶点都可以通过一个自同构变成任何其他一对邻接顶点的图。
 反对称图是有一个顶点的置换把边变成反方向的边的有向图，而且要求是对合。

另见 

 代数图论

参考资料

外部链接 

 埃里克·韦斯坦因"Graph Automorphism"MathWorld

代数图论