计算图的自同构组/检查两个图是否是等距的（DAG）

Question

这必须是一个研究得很好的问题，但我正在努力研究它。

我从这里开始，但我正在寻找研究和实施的算法。 http://en.wikipedia.org/wiki/Graph_isomorphism_problem

例如，如果我有两个这样的DAG（Directe非循环图），我想标记/删除其中一个，因为它只是第一个的旋转/反射。处于相同的自同构群中意味着它们可以被旋转/反射以具有完全相同的邻接矩阵吗？

Answer 1

你可以使用nauty或saucy算法来计算这个问题。

此链接可能对您有所帮助。 ：）

Nauty:
http://cs.anu.edu.au/~bdm/nauty/
http://cs.anu.edu.au/~bdm/nauty/

Saucy:
http://vlsicad.eecs.umich.edu/BK/SAUCY/

还有一个现成的工具列表（特别是对于基于linux的OS中的命令行），在俏皮页面中。