Yazıda grafikte İzomorfizma için etkili bir algoritma Corneil ve Gotlıeb, 1970 tarafından bir varsayım belirtilen algoritma polinom zamanda GI çözümü için yetki veren belirtilmiştir. Yani:
temsili grafiklerin verilen grafiğin otomorfizm bölümlemesini sergilediğini
Açıkçası, bu varsayım şimdiye kadar kanıtlanmamıştır (aksi takdirde GI'nin P'de olduğunu biliriz). Sorum şu ki, bunun yanlış olduğu gösterilmiş ve muhtemelen bir karşı örnek verilmiş mi?