Suponha que e G 2 sejam dois gráficos não direcionados no conjunto de vértices { 1 , … , n } . Os gráficos são isomórficos se e somente se houver uma permutação Π tal que G 1 = Π ( G 2 ) , ou mais formalmente, se houver uma permutação Π tal que ( i , j ) seja uma aresta em G 1 se e somente se ( Π ( i ) , Π ( j é uma aresta em G 2 . O problema do isomorfismo de gráfico é o problema de decidir se dois gráficos são isomórficos.
Existe uma operação em gráficos que produz "amplificação de gap" no estilo da prova de Dinur do teorema do PCP ? Em outras palavras, existe uma transformação computável no tempo polinomial de para ( G ′ 1 , G ′ 2 ) tal que
- se e G 2 são isomórficos, então G ′ 1 e G ′ 2 também são isomórficos, e
- se e G 2 não são isomórficos, então para cada permutação Π , o gráfico G ′ 1 é " far -far" de Π ( G ′ 2 ) para alguma pequena constante ϵ , onde ϵ -far significa que, se escolhermos ( i , j ) uniformemente ao acaso, em seguida, com probabilidade £ tanto
- é uma aresta de G ′ 1 e ( Π ( i ) , Π ( j ) ) não é uma aresta de G ′ 2 , ou
- não é uma aresta de G ′ 1 e ( Π ( i ) , Π ( j ) ) é uma aresta de G ′ 2 .
cc.complexity-theory
graph-isomorphism
pcp
Andre Chailloux
fonte
fonte
Respostas:
Não sei se uma coisa dessas poderia existir ou não. Mas é interessante (e talvez oportuno) notar que tal "amplificação de gap" provavelmente implicaria um algoritmo de tempo quase-polinomial para isomorfismo de gráfico (diferente do anunciado recentemente)
No presente trabalho , um algoritmo de aproximação é dada para o problema "MAX-IGP" de maximizar pares combinados de bordas / não bordas; se reduzirmos de GI para "Gap-MAX-PGI", podemos aproximar-nos para distinguir em que lado da lacuna estamos.
Portanto, acho improvável que a prova de Dinur do teorema do PCP seja diretamente generalizável para um "amplificador de gap", dados os obstáculos que teriam que ser superados.
fonte