Dado um grafo orientado fixo (d�rafo) , a -COLORING problema decisão pergunta se um digrama de entrada tem um homomorphism para . (Um homomorfismo de para é um mapeamento de para que preserva os arcos, ou seja, se é um arco de , então é um arco de )D L D L D F V ( L ) V ( D ) u v L f ( u ) f ( v ) D
A classe de problemas COLORING está fortemente ligada à conjectura de dicotomia para CSPs declarada por Feder e Vardi (acessível no cidadão ).
No presente artigo de 2001 (acessível na página do autor, aqui ), Feder prova um teorema dicotomia quando é um ciclo orientado (por ciclo orientada quero dizer um ciclo sem direção, onde cada aresta é substituído por um único arco, que pode ser orientado de forma arbitrária) , em outras palavras, ele mostra que para qualquer ciclo orientada , -COLORING é ou polinomial-tempo solúvel ou NP-completo.D
Infelizmente, a classificação de Feder é altamente não trivial e não explícita, pois a complexidade de muitos casos está relacionada à complexidade de certas variantes restritas de SAT que dependem da orientação. Ao examinar o artigo, não consegui determinar a resposta para minha pergunta:
Pergunta: Qual é o menor tamanho de um ciclo orientado modo que -COLORING seja NP-complete?D
A resposta pode ser declarada em algum lugar da literatura, mas não consegui encontrá-la.
Editar:Deixe-me dar mais detalhes sobre a classificação de Feder. Feder mostra que qualquer ciclo orientado a NP completo deve ser equilibrado, ou seja, ter o mesmo número de arcos nas duas direções (portanto, ele tem ordem uniforme). Em seguida, considere os "níveis" induzidos pela orientação (comece a percorrer o ciclo em um vértice arbitrário; se um arco der certo, você aumenta 1, se um arco fica à esquerda, diminui 1). Então, se houver no máximo uma "execução de cima para baixo", é polinomial. Se houver pelo menos três dessas "execuções" e o ciclo for um núcleo, será NP-completo. (No exemplo dos comentários de András, existem três "corridas", mas o ciclo não é essencial.) Os casos mais complicados são aqueles com duas "corridas de cima para baixo". Alguns são difíceis, outros polinomiais, e Feder os relaciona a problemas especiais de SAT para obter uma dicotomia.
Como uma pergunta intermediária: qual é o menor ciclo orientado que possui três execuções "de cima para baixo" e é um núcleo? Esse exemplo seria NP-completo pela discussão acima.