Gibt es eine Ergebnisart mit Lückenverstärkung für das Graph-Isomorphismus-Problem?

Angenommen, und sind zwei ungerichtete Graphen in der Scheitelmenge . Die Graphen sind dann und nur dann isomorph, wenn es eine Permutation so dass , oder formal, wenn es eine Permutation so dass genau dann eine Kante in ist wenn $G_1$ $G_2$ $\{1, \dotsc, n\}$ $\Pi$ $G_1 = \Pi(G_2)$ $\Pi$ $(i,j)$ $G_1$ ist eine Kante in . Das Graphisomorphismusproblem ist das Problem der Entscheidung, ob zwei gegebene Graphen isomorph sind. $(\Pi(i),\Pi(j))$ $G_2$

Gibt es eine Operation für Graphen, die eine "Gap Amplification" im Stil von Dinurs Beweis des PCP-Theorems erzeugt ? Mit anderen Worten, gibt es eine Polynomzeit berechenbare Transformation von nach so dass $(G_1,G_2)$ $(G'_1,G'_2)$

wenn und isomorph sind, dann sind und auch isomorph, und $G_1$ $G_2$ $G'_1$ $G'_2$
wenn und G 2 nicht isomorph sind, dann ist für jede Permutation Π der Graph G ' 1 " ϵ -far" von Π ( G ' 2 ) für eine kleine Konstante ϵ , wobei ϵ -far bedeutet, dass wenn wir wählen ( i , j ) gleichmäßig zufällig, dann mit einer Wahrscheinlichkeit von ε entweder
- ist eine Kante von und ist keine Kante von , oder $(i,j)$ $G'_1$ $(\Pi(i),\Pi(j))$ $G'_2$
- ist keine Kante von und ist eine Kante von . $(i,j)$ $G'_1$ $(\Pi(i),\Pi(j))$ $G'_2$

cc.complexity-theory graph-isomorphism pcp

— Andre Chailloux
quelle

@domotorp: "Polynom-Zeit-Transformation" ist eine Standardterminologie, die sich auf eine deterministische Polynom-Zeit-Turing-Maschine bezieht, deren Eingabe und Ausgabe beide Zeichenfolgen sind. In diesem Fall nimmt diese Turingmaschine das Paar (G1, G2) als Eingabe und erzeugt das Paar (G'1, G'2) als Ausgabe. Jeder Graph wird beispielsweise als benachbarte Matrix codiert.

— Tsuyoshi Ito

Ich dachte, das PCP-Theorem sei für alle NP-Probleme gültig, also sollte es insbesondere für den Graphisomorphismus gelten?

— Denis

@dkuper Der Autor möchte fragen, ob es eine lückenverstärkende Reduktion gibt, die Instanzen von Graphisomorphismus auf Instanzen von Graphisomorphismus mit einer größeren Lücke reduziert. er fragt nicht direkt nach dem PCP-Theorem, sondern nur nach einer Technik, mit der die Härte der Approximation bewiesen werden kann ...

— argentpepper

Wahrscheinlich ein langer Versuch, aber könnten Sie zeigen, dass Sie, wenn dies der Fall wäre, den Graphisomorphismus in der Quantenpolynomzeit lösen könnten?

— Neal Young

Es entspricht dem gegenwärtigen Wissensstand, dass sogar SAT einen linearen Zeitalgorithmus hat, so dass es unwahrscheinlich ist, dass das, was Sie geschrieben haben, bekannt ist. Wenn ja, fügen Sie bitte einen Verweis auf Ihre Antwort hinzu.

— Kaveh

Ich weiß nicht, ob so etwas existieren könnte oder nicht. Es ist jedoch interessant (und vielleicht zum richtigen Zeitpunkt) festzustellen, dass eine solche "Gap Amplification" wahrscheinlich einen quasipolynomialen Zeitalgorithmus für den Graph-Isomorphismus implizieren würde (anders als der kürzlich angekündigte).

In diesem Artikel wird ein Näherungsalgorithmus für das "MAX-PGI" -Problem der Maximierung von übereinstimmenden Kanten- / Nichtkantenpaaren angegeben. Wenn wir von GI auf "Gap-MAX-PGI" reduzieren, können wir näherungsweise unterscheiden, auf welcher Seite der Lücke wir uns befinden.

Ich denke also, dass Dinurs Beweis des PCP-Theorems angesichts der Hürden, die überwunden werden müssten, wahrscheinlich nicht direkt auf einen solchen "Gap Amplifier" verallgemeinerbar ist.

— Joe Bebel
quelle