1
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'à …