Erzeugt Babais Quasipolynomialzeit

Ich habe eine (hoffentlich einfach, vielleicht stumm) Frage auf Babai Wahrzeichen Papier zeigt , dass ist Quasipolynom.$\mathsf{GI}$

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 | .$G_i=(V_i,E_i)$$i\in\{1,2\}$$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?$\pi\in S_v$$G_1$$G_2$

Wenn mir ein Orakel sagt, dass und G 2 isomorph sind, muss ich dann noch durch alle v schauen ! Permutationen der Eckpunkte?$G_1$$G_2$$v!$

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 ...$\mathsf{P}$

Diese Probleme sind polynomial äquivalent. Angenommen, Sie haben einen Algorithmus, der entscheiden kann, ob zwei Graphen isomorph sind oder nicht, und der behauptet, dass dies der Fall ist. Fügen Sie eine Clique der Größe an einen beliebigen Scheitelpunkt jedes Graphen an. Testen Sie, ob die resultierenden Graphen isomorph sind oder nicht. Wenn dies der Fall ist, können wir daraus schließen, dass es einen Isomorphismus gibt, der die jeweiligen Scheitelpunkte aufeinander abbildet, sodass wir sie löschen können. Durch n- maliges Wiederholen dieses Tests können wir (ein mögliches) Bild für jeden Scheitelpunkt finden. Danach fügen wir eine weitere Clique hinzu, diesmal mit der Größe n + $n+1$$n$$n+2$$n+1,\ldots n+n$

Spezifischer für Babais Algorithmus: Ja, der Algorithmus findet nicht nur einen Isomorphismus, sondern auch Generatoren der Automorphismusgruppe (und findet daher effektiv alle Isomorphismen) als Teil des Algorithmus, dh ohne die Antwort von Domotorp zu reduzieren.

In Bezug auf die Entscheidung über das Vorhandensein eines Isomorphismus (bzw. Entknoten) gegenüber dem tatsächlichen Finden eines Isomorphismus lautet das zu suchende Schlüsselwort "Suche gegen Entscheidung" oder "Suche zur Entscheidungsreduktion" ("Suche zur Entscheidung reduzieren" usw.). Eine solche Reduktion ist sowohl für den Graphisomorphismus als auch für NP-vollständige Probleme bekannt, ist jedoch eine offene Frage für algebraischere Strukturen wie Gruppen und, glaube ich, Knoten, gerade weil wir nicht wissen, wie man "Gadgets" hinzufügt "wie in domotorps antwort.