Ich habe eine (hoffentlich einfach, vielleicht stumm) Frage auf Babai Wahrzeichen Papier zeigt , dass ist Quasipolynom.
Babai zeigte, wie man ein Zertifikat erzeugt, dass zwei Graphen für i ∈ { 1 , 2 } isomorph sind, in der Zeit quasipolynomial in v = | V i | .
Hat Babai tatsächlich gezeigt, wie man ein Element , das die Eckpunkte von G 1 bis G 2 durchläuft , oder ist das Zertifikat nur eine Existenzaussage?
Wenn mir ein Orakel sagt, dass und G 2 isomorph sind, muss ich dann noch durch alle v schauen ! Permutationen der Eckpunkte?
Ich frage, weil ich auch an Knotenäquivalenz denke. Soweit ich weiß, ist es nicht bekannt, aber sagen wir, dass das Erkennen des Unknot in . Das Auffinden einer Abfolge von Reidemeister-Zügen, die den Knoten lösen, kann immer noch exponentielle Zeit in Anspruch nehmen ...