Contoh tandingan untuk algoritme Corneil yang efisien untuk Graph Isomorphism

Dalam makalah Suatu Algoritma Efisien untuk Grafik Isomorfisme oleh Corneil dan Gotlieb, 1970 sebuah dugaan dinyatakan di mana algoritma yang dinyatakan diandalkan untuk menyelesaikan GI dalam waktu polinomial. Yaitu:

bahwa grafik yang representatif menunjukkan partisi automorfisme dari grafik yang diberikan

Jelas, dugaan ini tidak terbukti sampai sekarang (kalau tidak kita akan tahu bahwa GI ada di P). Pertanyaan saya adalah apakah sudah terbukti salah dan mungkin contoh balasan diberikan?

Mathon telah menunjukkan bahwa dugaan yang digunakan oleh Corneil dan Gotlieb adalah salah. Referensi pertama menyatakan fakta ini.

1- P. Foggia, C.Sansone, M. Vento, Perbandingan Kinerja Lima Algoritma untuk Graph Isomorphism, Proc. Lokakarya IAPR-TC15 ke-3 Representasi Berbasis Grafik dalam Pengenalan Pola, 2001, hlm. 188-199.

2- R. Mathon, Contoh grafik untuk pengujian isomorfisme, Congressus Numerantium, 21, hlm. 499-517, 1978