Czy istnieje wynik wzmocnienia typu gap dla problemu Isomorphism Graph?

Załóżmy, że i to dwa niekierowane wykresy na zbiorze wierzchołków . Wykresy są izomorficzne wtedy i tylko wtedy, gdy występuje permutacja taka, że lub bardziej formalnie, jeśli istnieje permutacja taka, że jest krawędzią w wtedy i tylko if $G_1$ $G_2$ $\{1, \dotsc, n\}$ $\Pi$ $G_1 = \Pi(G_2)$ $\Pi$ $(i,j)$ $G_1$ jest krawędzią w . Problem izomorfizmu grafów polega na podejmowaniu decyzji, czy dwa dane wykresy są izomorficzne. $(\Pi(i),\Pi(j))$ $G_2$

Czy istnieje operacja na wykresach, która powoduje „wzmocnienie przerwy” w stylu dowodu Dinura na twierdzenie PCP ? Innymi słowy, czy istnieje transformacja obliczalna w czasie wielomianowym z do tak że $(G_1,G_2)$ $(G'_1,G'_2)$

jeśli i są izomorficzne, wówczas i są również izomorficzne, i $G_1$ $G_2$ $G'_1$ $G'_2$
jeśli i G 2 nie są izomorficzne, to dla każdej permutacji Π wykres G ′ 1 oznacza „ ϵ -far” z Π ( G ′ 2 ) dla pewnej małej stałej ϵ , gdzie ϵ -far oznacza, że jeśli wybierzemy ( i , j ) równomiernie losowo, a następnie z prawdopodobieństwem ϵ albo
- jest krawędzią a nie jest krawędzią , lub $(i,j)$ $G'_1$ $(\Pi(i),\Pi(j))$ $G'_2$
- nie jest krawędzią a jest krawędzią . $(i,j)$ $G'_1$ $(\Pi(i),\Pi(j))$ $G'_2$

cc.complexity-theory graph-isomorphism pcp

— Andre Chailloux
źródło

@domotorp: „Transformacja w czasie wielomianowym” to standardowa terminologia odnosząca się do deterministycznej wielomianowej maszyny Turinga, której wejście i wyjście są ciągami. W tym przypadku ta maszyna Turinga przyjmuje parę (G1, G2) jako dane wejściowe i wytwarza parę (G′1, G′2) jako dane wyjściowe. Każdy wykres jest na przykład kodowany jako sąsiednia macierz.

— Tsuyoshi Ito,

Myślałem, że twierdzenie PCP jest ważne dla każdego problemu NP, więc w szczególności powinno to dotyczyć Graph Isomorphism?

— Denis,

@dkuper Autor chce zapytać, czy występuje redukcja wzmacniająca przerwę, która redukuje przypadki izomorfizmu grafu do przypadków izomorfizmu grafu z większą przerwą; nie pyta bezpośrednio o twierdzenie PCP, tylko o technikę zastosowaną do udowodnienia twardości przybliżenia ...

— argentpepper

Prawdopodobnie długa szansa, ale czy mógłbyś pokazać, że gdyby tak było, to możesz rozwiązać izomorfizm grafów w kwantowym czasie wielomianowym?

— Neal Young,

Jest to zgodne z obecnym stanem wiedzy, że nawet SAT ma liniowy algorytm czasu, więc to, co napisałeś, wydaje się mało prawdopodobne. Jeśli tak, proszę dodać odniesienie do swojej odpowiedzi.

— Kaveh

Nie wiem, czy coś takiego mogłoby istnieć, czy nie. Warto jednak zauważyć (i być może na czas), że taka „amplifikacja przerwy” prawdopodobnie implikuje quasipolynomalny algorytm czasowy dla izomorfizmu grafowego (inny niż ostatnio ogłoszony)

W tym artykule podano algorytm aproksymacji dla problemu „MAX-PGI” maksymalizacji dopasowanych par krawędzi / nie-krawędzi; jeśli zmniejszymy z GI do „Gap-MAX-PGI”, możemy w przybliżeniu rozróżnić, po której stronie luki jesteśmy.

Myślę więc, że dowód Dinura na twierdzenie PCP raczej nie da się bezpośrednio uogólnić na taki „wzmacniacz szczelinowy”, biorąc pod uwagę przeszkody, które należałoby pokonać.

— Joe Bebel
źródło