1、
Determining whether two graphs are isomorphic is referred to as the graph isomorphism problem.
确定是否是同构的两个图形称为图同构问题.
互联网摘选
2、
对于极小不可满足公式的子类MAX和MARG，我们证明了：其变元改名和文字改名的复杂性等价于图同构问题GI。
互联网摘选
3、
4、
5、
