同构#

`is_isomorphic`(G1, G2[, node_match, edge_match])	如果图g1和g2同构，则返回true，否则返回false。
`could_be_isomorphic`(G1, G2)	如果图绝对不是同构的，则返回false。
`fast_could_be_isomorphic`(G1, G2)	如果图绝对不是同构的，则返回false。
`faster_could_be_isomorphic`(G1, G2)	如果图绝对不是同构的，则返回false。

树同构#

一种算法，用于确定两个无向树是否同构，如果同构，则返回两组节点之间的同构。

该算法使用一个例程来判断两个根树（具有指定根节点的树）是否同构，这可能是独立有用的。

这实现了一个算法：由Aho，Hopcroft和Ullman Addison-Wesley出版的1974年示例3.2第84-86页的计算机算法的设计和分析。

该算法的一个更容易理解的版本在：家庭作业5麦吉尔大学SOCS 308-250B，2002年冬季由Matthew Suderman编写http://crypto.cs.mcgill.ca/~crepeau/CS250/2004/HW5+.pdf

`rooted_tree_isomorphism`(t1, root1, t2, root2)	给两棵有根的树 `t1` 和 `t2` ，带根 `root1` 和 `root2` 相应地，这个程序将决定它们是否同构。
`tree_isomorphism`(t1, t2)	给两棵无向（或自由）树 `t1` 和 `t2` ，此例程将确定它们是否同构。