Załóżmy, że i G 2 to dwa niekierowane wykresy na zbiorze wierzchołków { 1 , … , n } . Wykresy są izomorficzne wtedy i tylko wtedy, gdy występuje permutacja Π taka, że G 1 = Π ( G 2 ) lub bardziej formalnie, jeśli istnieje permutacja Π taka, że ( i , j ) jest krawędzią w G 1 wtedy i tylko if ( Π ( i ) , Π ( j jest krawędzią w G 2 . Problem izomorfizmu grafów polega na podejmowaniu decyzji, czy dwa dane wykresy są izomorficzne.
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 ( G ′ 1 , G ′ 2 ), tak że
- jeśli i G 2 są izomorficzne, wówczas G ′ 1 i G ′ 2 są również izomorficzne, i
- 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ą G ′ 1, a ( Π ( i ) , Π ( j ) ) nie jest krawędzią G ′ 2 , lub
- nie jest krawędzią G ′ 1, a ( Π ( i ) , Π ( j ) ) jest krawędzią G ′ 2 .
cc.complexity-theory
graph-isomorphism
pcp
Andre Chailloux
źródło
źródło
Odpowiedzi:
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ć.
źródło