Dado un grafo dirigido fijo (dígrafo) , la problema de decisión -Coloreado pregunta si un dígrafo entrada tiene un homomorfismo a . (Un homomorfismo de a es un mapeo de a que conserva los arcos, es decir, si es un arco de , entonces es un arco de )D G D G D f V ( G ) V ( D ) u v G f ( u ) f ( v ) D
La clase de problemas de COLORING está fuertemente relacionada con la Conjetura de dicotomía para CSP establecida por Feder y Vardi (accesible en citeseer ).
En este artículo de 2001 (accesible en la página del autor, aquí ), Feder demuestra un teorema de dicotomía cuando es un ciclo orientado (por ciclo orientado me refiero a un ciclo no dirigido donde cada borde se reemplaza por un solo arco, que puede orientarse arbitrariamente) , en otras palabras, muestra que para cualquier ciclo orientado , COLORING es polinomial en tiempo solucionable o NP-completo.D
Desafortunadamente, la clasificación de Feder es altamente no trivial y no explícita, ya que la complejidad de muchos casos está relacionada con la complejidad de ciertas variantes restringidas de SAT que dependen de la orientación. Al mirar el documento, no he podido determinar la respuesta a mi pregunta:
Pregunta: ¿Cuál es el tamaño más pequeño de un ciclo orientado tal que COLORACIÓN es NP-completo?
La respuesta podría estar en algún lugar de la literatura, pero no pude encontrarla.
Editar:Permítanme dar más detalles sobre la clasificación de Feder. Feder muestra que cualquier ciclo orientado NP-completo debe estar equilibrado, es decir, tener el mismo número de arcos en ambas direcciones (por lo tanto, tiene un orden uniforme). Luego, considere los "niveles" inducidos por la orientación (comience a dar la vuelta al ciclo en un vértice arbitrario; si un arco va hacia la derecha, sube por 1, si un arco va hacia la izquierda, baja por 1). Entonces, si hay como máximo una "carrera de arriba a abajo", es polinomial. Si hay al menos 3 de esas "ejecuciones" y el ciclo es un núcleo, es NP-complete. (En el ejemplo de András de los comentarios, hay tres "ejecuciones" de este tipo, pero el ciclo no es un núcleo). Los casos más difíciles son aquellos con dos "ejecuciones de arriba a abajo". Algunos son difíciles, otros polinomiales, y Feder los relaciona con problemas especiales de SAT para obtener una dicotomía.
Como una pregunta intermedia: ¿Cuál es el ciclo orientado más pequeño que tiene tres carreras "de arriba a abajo" y es un núcleo? Tal ejemplo sería NP-completo por la discusión anterior.