Corneilのグラフ同型の効率的なアルゴリズムの反例

Corneil and Gotliebによる論文「同型写像のための効率的なアルゴリズム」、1970年に、多項式時間でGIを解くために述べられたアルゴリズムに依存する推測が述べられました。すなわち：

代表的なグラフが与えられたグラフの自己同型分割を示すこと

明らかに、この推測は今まで証明されていません（そうでなければ、GIがPにあることがわかります）。私の質問は、それがすでに偽であることが示されていて、おそらく反例が与えられたかどうかです。

Mathonは、CorneilとGotliebが使用した推測が誤っていることを示しました。最初の参考文献はこの事実を述べています。

1- P.フォッジャ、C。サンソン、M。ベント、グラフ同型の5つのアルゴリズムの性能比較、Proc。第3回IAPR-TC15ワークショップパターン認識におけるグラフベースの表現、2001、pp。188-199。

2- R. Mathon、同型テストのサンプルグラフ、Congressus Numerantium、21、pp。499-517、1978