Pensei nessa redução estranha (as chances de estar errado são altas :-). Idéia: redução do caminho hamiltoniano em gráficos de grade com grau ; cada nó do gráfico plano pode ser deslocado de tal maneira que cada "linha" ( valor ) e cada "coluna" ( valor ) contenham no máximo um nó. O gráfico pode ser dimensionado e cada nó pode ser substituído por um gadget quadrado com muitos pontos; links horizontais entre os gadgets (as bordas do gráfico original) são feitos usando pares de pontos em linhas distintas, links verticais usando pares de pontos em colunas distintas. As travessias dos nós são forçadas usando os "muitos pontos" dos gadgets quadrados.y x≤ 3yx
O gadget do nó é representado na figura a seguir:
Possui 3 "pontos de interface" (em colunas / linhas distintas) e uma borda interna de pontos. Uma polilinha que atravessa o gadget de um ponto de interface para outro pode ter um número de cantos proporcional a (três percursos do gadget são mostrados na figura), em particular o número de pontos de canto está entre e (o número total de pontos do gadget é ). O gadget pode ser girado para obter outras combinações de pontos de interface ( , , ).C × C C 2 C 2 C + 2 C × C - 4 + 6 [ N , E , S ] [ E , S , W ] [ S , W , N ][ W, N, E]C× CC2 C2 C+ 2C× C- 4 + 6[ N, E, S][ E, S, W][ S, W, N]
Agora podemos mudar o gráfico da grade planar de tal maneira que, para cada par de nós , e . Veja a figura a seguir de uma grade simples . Em seguida, podemos dimensionar o gráfico e substituir cada nó pelo gadget acima. Nesse estágio, cada gadget é "isolado": uma polilinha não pode ir de um gadget para outro.x 1 ≠ x 2 y 1 ≠ y 2 4 × 3( x1 1, y1 1) , ( x2, y2)x1 1≠ x2y1 ≠ y24 × 3
Agora podemos simular as arestas do gráfico original usando pares de pontos na parte inferior ou à direita, cada par em uma linha separada ou em uma coluna separada; veja a figura a seguir para dois nós adjacentes vinculados horizontalmente (em uma nova linha inferior, dois pontos são adicionados um na mesma coluna do ponto de interface do primeiro gadget e o outro na mesma coluna do ponto de interface do segundo gadget).WEW
Em todos os gadgets, pode haver no máximo pontos de canto (1 gerado pelo ponto de interface de entrada, 1 gerado pelo ponto de interface de saída, 2 gerado pelo turno extra em travessias retas e 2C no zig-zag interno), os pontos usado para as arestas pode gerar no máximo pontos de canto.2 e4 + 2 C2 e
Suponha-se que o gráfico original tem nodos e arestas, se escolher , e como o número de pontos de canto que deverá ser utilizada, então forçar o polígono "escondido" do quebra-cabeças para atravessar todos os gadgets; mas todos os gadgets podem ser inseridos / encerrados exatamente uma vez (por meio de um par de células de interface); portanto, o problema terá uma solução se e somente se o gráfico original tiver um caminho hamiltoniano.e C > ( 4 n + 2 e ) k = 2 C nneC> ( 4 n + 2 e )k = 2 Cn