Contre-exemple de l'algorithme efficace de Corneil pour l'isomorphisme graphique

Dans l'article An Efficient Algorithm for Graph Isomorphism de Corneil et Gotlieb, 1970, une conjecture a été énoncée sur laquelle l'algorithme énoncé s'est appuyé pour résoudre l'IG en temps polynomial. À savoir:

que les graphiques représentatifs présentent la partition d'automorphisme du graphique donné

Évidemment, cette conjecture n'est pas prouvée jusqu'à présent (sinon nous saurions que GI est en P). Ma question est de savoir s'il a déjà été démontré qu'il était faux et peut-être qu'un contre-exemple a été donné?

Mathon a montré que la conjecture utilisée par Corneil et Gotlieb est fausse. La première référence indique ce fait.

1- P. Foggia, C.Sansone, M. Vento, A Comparaison des performances de cinq algorithmes pour l'isomorphisme graphique, Proc. 3rd IAPR-TC15 Workshop Graph-Based Representations in Pattern Recognition, 2001, p. 188-199.

2- R. Mathon, Sample graphs for isomorphism testing, Congressus Numerantium, 21, pp. 499-517, 1978