Quiero un gadget fácil de probar Planar Hamiltonian Cycle NP-Complete (de Hamiltonian Cycle)

23

Se sabe que el ciclo hamiltoniano (jamón para abreviar) tiene NP completo y que el ciclo de jamón planar tiene NP completo. La prueba para Planar Ham Cycle no es de Ham Cycle.

¿Hay un buen dispositivo que, dado un gráfico G, reemplazará todos los cruces con algún dispositivo plano para que tenga un gráfico plano G 'tal que

G tiene un ciclo de jamón si G 'tiene un ciclo de jamón.

(Estaré contento con variantes, como Ham Path o Ham Cycle dirigido o Directed Ham Path).

Bill GASARCH
fuente
77
Una observación algo trivial. Suponga que incrusta y los bordes ( x , y ) y ( u , v ) se cruzan, con x , v , y , u aparecen en sentido horario alrededor del punto de cruce. Reemplácelo por un dispositivo P x v y u que tenga cuatro puntos de entrada x , v , y , u correspondientes a x , v , y ,G(x,y)(u,v)x,v,y,uPxvyux,v,y,u . Si un ciclo hamiltoniano en G usa ambas aristas ( x , y ) y ( u , v ), entonces en G ' el ciclo correspondiente tendría que autocruzarse. Por supuesto, esto supone que la interpretación más ingenua de lo que es un `` Gadget" es y también que el ciclo de Hamilton en G ' tiene que seguir los mismos bordes como el ciclo correspondiente de G .x,v,y,uG(x,y)(u,v)GGG
Marek Chrobak
44
¿Qué es el ciclo del jamón? No asuma que todos entienden sus abreviaturas.
Tsuyoshi Ito
2
@MarekChrobak: Estoy de acuerdo con tu comentario. Da dos formas de escapar de su argumento. Creo que el más natural es el segundo: hay un ciclo hamiltoniano en G si existe un ciclo hamiltoniano x x u u y y v v x .xyuvxGxxuuyyvvx
Bruno
12
@ Tsuyoshi: Significa ciclo hamiltoniano. Creo que es razonable suponer que todos pueden resolverlo.
domotorp
3
@Bill: Me pregunto por qué crees que debería existir un dispositivo así. El número de cruces al incrustar un gráfico arbitrario en el plano puede ser muy grande ( para el gráfico completo; vea el lema del cruce). Entonces, si comienzas con una gráfica con n aristas y muchas aristas (por ejemplo, casi cuadrática), entonces la gráfica incrustada con los cruces agregados como vértices tiene una estructura completamente diferente ...Θ(n4)n
Sariel Har-Peled

Respuestas:

13

No. Al menos, no hay un dispositivo "agradable" para un crossover.

Sea y ( x , y ) una cruz que queremos reemplazar.(a,b)(x,y)ingrese la descripción de la imagen aquí

Hay muchos casos para nuestro gráfico, , pero tenemos que satisfacer al menos los siguientes cuatro. Caso 1: hay al menos un ciclo hamiltoniano, pero ninguno usa ninguno de los bordes. Caso 2: hay al menos un ciclo, y todos los ciclos usan exactamente uno de los dos bordes. Caso 3: hay al menos un ciclo, y todos los ciclos usan ambos bordes. Caso 4: no hay ciclo hamiltoniano.G

Si nuestro dispositivo tiene dos (o más) vértices para cada uno de adyacentes a todos los mismos vecinos (de modo que un 0 y un 1 retengan a los vecinos de a), entonces G ' no será necesariamente plano. Para satisfacer el primero de nuestros casos anteriores, no podemos tener vértices nuevos en el gadget. a,b,x,ya0a1aG

Para satisfacer el caso 3 anterior, debemos tener al menos dos bordes en el gadget. Ni el par plano y de cobertura, ni ( a , y ) , ( x , b ) satisfacen el caso 2, por lo que necesitamos un tercer borde. Sin pérdida de generalidad, que esos tres sean ( a , y ) , ( y , b ) , ( x , b ) .(a,x),(y,b)(a,y),(x,b)(a,y),(y,b),(x,b)

Sin embargo, ese reemplazo rompe el cuarto caso, porque podría contener un ciclo hamiltoniano cuando G no lo hace. Tomemos, por ejemplo, G = ( V , E ) donde V = { a , b , x , y , p , q , r , s , t } , y E = { ( a , b ) , ( x , y )GGG=(V,E)V={a,b,x,y,p,q,r,s,t}, . G no es plano y no tiene un ciclo hamiltoniano.E={(a,b),(x,y),(a,r),(a,p),(a,q),(b,s),(b,x),(p,s),(p,t),(p,y),(q,x),(r,y),(t,x)}Gingrese la descripción de la imagen aquí

G=(V,E)E={(a,y),(y,b),(x,b)} {(x,y),(a,r),(a,p),(a,q),(b,s),(p,s),(p,t),(p,y),(q,x),(r,y),(t,x)}Ga,q,x,t,p,s,b,y,r,a

(b,y)(a,x)G

(a,b),(a,y),(x,b)

Dado que agregar tres bordes rompe el caso 4, agregar más no ayudará.

a,b,xy

(Nota: ¡avíseme si cometí algún error arriba!)

( Nota 2: tuve algunas buenas figuras, pero no puedo publicarlas. Publicado).

Kyle
fuente
Creo que deberías poder publicar cifras ahora.
Jukka Suomela