¿Cuándo una propiedad FO mata la dureza NL?

10

Contexto: consideramos solo los dígrafos. Deje que CYCLE sea el lenguaje de gráficos con un ciclo; Es un problema de NL completo. Deje que HASEDGE sea el lenguaje de gráficos con al menos un borde. Entonces, trivialmente, CYCLEHASEDGE ya no es NL-hard, mientras que CYCLEHASEDGE¯ sigue siéndolo.

Problema real: me pregunto si el lenguaje

CYCLE{(V,E):(u,v,x,y)[E(u,v)E(x,y)¬E(u,y)¬E(x,v)]}
sigue siendo NL-hard.

Pregunta: ¿ Para qué fórmula FO ϕ en el vocabulario de gráficos es

CYCLE{(V,E):(V,E)ϕ}
NL-hard? ¿Es esta propiedad decidible?

¡Gracias por tu contribución!

Michaël Cadilhac
fuente

Respuestas:

4

Permítame llamar a la propiedad en su "problema real" . El siguiente mapeo reduce CYCLE a CYCLE NODIAG :NODIAGCYCLECYCLENODIAG

Para un dado , reemplace cada vértice v en G por dos copias v y v ' , y si hay un borde ( u , v ) en E , deje que G ' tenga bordes ( u , v ) , ( u , v ) , ( u , v ) y ( u , vG=(V,E)vGvv(u,v)EG(u,v),(u,v),(u,v) . Así, para cada G, el gráfico G ' satisface ¬ NODIAG .(u,v)GG¬NODIAG

Además, tiene un ciclo si G tiene un ciclo, por lo tanto, G ' satisface CYCLE NODIAG si G satifica CYCLE . Por lo tanto, CYCLE NODIAG es NL-hard.GGGCYCLENODIAGGCYCLECYCLENODIAG

Creo que una construcción similar funcionaría para cada propiedad puramente universal.

Jan Johannsen
fuente
Gracias por tu trabajo Jan! Pero no estoy seguro de que haya abordado el problema por completo, ya que si una estructura NODIAG aparece en G, todavía aparece al final de su construcción, AFAIU.
Michaël Cadilhac
Sí, pero y qué. La construcción impone que . Entonces, si G CYCLE , entonces G CYCLE , de ahí G CYCLE NODIAG . OTOH, si G CYCLE , entonces , y por lo tanto . Así, la construcción reduce a . G¬NODIAGGCYCLEGCYCLEGCYCLENODIAGGCYCLEG CICLO NODIAG CICLO CICLO NODIAGGCYCLEGCYCLENODIAGCYCLECYCLENODIAG
Jan Johannsen
Jan, lo siento mucho, me equivoqué con la redacción de mi pregunta; el subgrafo descrito se pensaba como un gráfico EXCLUIDO. Tenga en cuenta que con la redacción anterior, solo necesitaría agregar cuatro nodos nuevos y bordes , , y para que el gráfico esté fuera de NODIAG. Nuevamente, siento mucho los errores tipográficos. u v x y u yu,v,x,yuvxyuy
Michaël Cadilhac
(PD: Como le debo por trabajar en una pregunta mal redactada, aquí hay un artículo de TCS con un buen título que no aparece en su lista: Diamonds are Forever (The Variety DA) de Tesson y Therien.)
Michaël Cadilhac
En ese caso, ¿qué tal si agrega un nuevo vértice en cada borde: en reemplace cada por y . El gráfico resultante es cíclico si es, y no tiene la estructura excluida. Por cierto, ya no mantengo esa lista. e = ( u , v ) ( u , v e ) ( v e , v ) G GGe=(u,v)(u,ve)(ve,v)GG
Jan Johannsen
2

El problema real está en FO. Probar si existe tal que y está obviamente en FO.a,b,c,dV(G)(a,c),(b,d)E(G)(a,d),(b,c)E(G)

Suponga que no existen tales , entonces admite un ciclo dirigido si y solo si admite un ciclo dirigido de longitud dos. Esto puede deducirse del hecho de que para cualquier par de vértices y de , sus fuera barrios y son tales que o .a,b,c,dGGabGN(a)N(b)N(a)N(b)N(b)N(a)

Por lo tanto, es suficiente verificar si existe tal que , que está en FO.a,bV(G)(a,b),(b,a)E(G)

Entonces, está en si y solo siGCYCLENODIAG(a,b,c,d)[(E(a,b)E(c,d)¬E(a,d)¬E(b,c))(E(a,b)E(b,a))]

Adrien
fuente
Gracias Adrien ¿Le importaría agregar un argumento sobre por qué los vecindarios externos de cualquiera de los dos nodos son comparables? Esperaré un poco para ver si alguien aborda el problema completo, y si no aparece nadie, buscaré su respuesta.
Michaël Cadilhac
a,b,c,d(a,c)(b,d)N(a)={c}N(b)={d}
@ Jan: si no me equivoco, el punto de Adrien es que si un gráfico <i> no </i> satisface la segunda parte, entonces si tiene un ciclo, tiene un ciclo de longitud 2. Entonces su punto es que si el gráfico <i> no </i> satisface la segunda parte, entonces la comparabilidad se mantiene.
Michaël Cadilhac