1
Gegenbeispiel für Corneils effizienten Algorithmus für den Graphisomorphismus
In der Arbeit Ein effizienter Algorithmus für den Graphisomorphismus von Corneil und Gotlieb, 1970, wurde eine Vermutung aufgestellt, auf der der angegebene Algorithmus zur Lösung des GI in der Polynomzeit beruhte. Nämlich: dass die repräsentativen Graphen die Automorphismus-Partitionierung des gegebenen Graphen aufweisen Offensichtlich ist diese Vermutung bis jetzt nicht bewiesen …