在Corneil和Gotlieb于1970 年发表的论文《一种有效的图同构算法》中，提出了一个猜想，该算法依赖于多项式时间内的GI求解。即：
代表性图表现出给定图的自同构划分
显然，这种猜想直到现在还没有得到证明（否则我们会知道GI在P中）。我的问题是它是否已经被证明是错误的，并且可能给出了反例？
在Corneil和Gotlieb于1970 年发表的论文《一种有效的图同构算法》中，提出了一个猜想，该算法依赖于多项式时间内的GI求解。即：
代表性图表现出给定图的自同构划分
显然，这种猜想直到现在还没有得到证明（否则我们会知道GI在P中）。我的问题是它是否已经被证明是错误的，并且可能给出了反例？
Answers:
Mathon已证明Corneil和Gotlieb使用的猜想是错误的。第一个参考文献陈述了这一事实。
1- P. Foggia，C.Sansone，M。Vento，图同构的五种算法的性能比较 第三届IAPR-TC15研讨会《模式识别中基于图的表示》，2001年，第188-199页。
2- R. Mathon，同构测试样本图，Consumus Numerantium，21，第499-517页，1978年