Controesempio per l'algoritmo efficiente di Corneil per l'isomorfismo dei grafi

Nel documento An Efficient Algorithm for Graph Isomorphism di Corneil e Gotlieb, 1970 è stata dichiarata una congettura sulla quale si basava l'algoritmo dichiarato per risolvere la GI in tempo polinomiale. Vale a dire:

che i grafici rappresentativi mostrano il partizionamento dell'automorfismo del grafico dato

Ovviamente, questa congettura non è stata dimostrata fino ad ora (altrimenti sapremmo che GI è in P). La mia domanda è se è già stato dimostrato che è falso e forse è stato fornito un contro esempio?

Mathon ha dimostrato che la congettura usata da Corneil e Gotlieb è falsa. Il primo riferimento afferma questo fatto.

1- P. Foggia, C.Sansone, M. Vento, Un confronto delle prestazioni di cinque algoritmi per l'isomorfismo grafico, Proc. 3a rappresentazione IAPR-TC15 basata su grafici nel riconoscimento dei modelli, 2001, pagg. 188-199.

2- R. Mathon, Grafici campione per test isomorfici, Congressus Numerantium, 21, pp. 499-517, 1978