O seguinte problema interessante surgiu recentemente em minha pesquisa:
INSTÂNCIA: Gráfico .
SOLUÇÃO: Uma conclusão do ciclo ímpar sem corda, definida como um superconjunto do conjunto de arestas modo que o gráfico completo tenha a propriedade de que toda aresta em esteja contida em um ciclo ímpar sem corda. E G ′ ( V ,
MEDIDA: O tamanho da conclusão, ou seja,.
Até agora, pudemos provar que uma versão modificada desse problema é NP-completa, onde, em vez de exigir que "todas as arestas em estejam contidas em um ciclo ímpar sem corda", exigimos a propriedade mais forte de que "todas as arestas estão contidas em um triângulo (ciclo de comprimento 3) ". (Observe que isso não é equivalente ao problema MÍNIMO DE COMPLETA DE GRAFIA DE CORES .)
O primeiro é facilmente visto como uma generalização do último, mas até agora todos os meus esforços para provar que falharam. Alguém poderia inventar um ponteiro / referência / etc.?
fonte
Respostas:
Provamos que o problema é NP-difícil, mesmo em sua forma de decisão, ou seja, '' O gráfico de entrada já está completo no ciclo ímpar sem corda? '', Reduzindo-se o seguinte problema:G
Esse problema é conhecido por ser NP-difícil por redução de '' detectar ciclos pares sem corda que passam por um determinado nó '' na referência fornecida em um de seus comentários, conforme indicado no parágrafo anterior à seção 3, deixando e :q = 2p = 0 q= 2
(Pode haver uma redução de Karp, mas se permitirmos uma redução de Cook, considere a seguinte redução: Substituindo o nó grau d em um subgrafo completo de tamanho d com arestas de saída apropriadas. Em seguida, para cada aresta no gráfico completo, podemos consultar o oráculo que resolve o problema P. Observe que um ciclo par sem corda que passa pelo nó especificado corresponde a um ciclo ímpar sem corda de comprimento maior que 3 passando por uma das arestas no gráfico completo.)
Agora, a principal redução. Dada uma instância do Problema P, primeiro detectamos se existem triângulos passando por ; Nesse caso, exclua todos os nós que formam um triângulo com . Observe que excluir nós que formam um triângulo com não removerá nenhum ciclo ímpar sem corda que passa por (pela propriedade sem corda).e e ee e e e
A seguir, para cada aresta diferente de , adicionamos um nó auxiliar e duas arestas e . Observe que o novo gráfico tem a seguinte propriedade:e = ( u , v ) v f ( v f , u ) ( v f , v ) G ′f e = ( u , v ) vf ( vf,u) (vf,v) G′
Para a direção somente se, isso pode ser provado considerando diferentes tipos de arestas em . Cada aresta diferente de (incluindo as arestas recém-adicionadas) estará em pelo menos um triângulo (aquele que contém o nó auxiliar); e será em um ciclo estranho sem corda em uma vez que existe um ciclo estranho sem corda passa através em , e o ciclo de não é removido durante o processo de exclusão nó. e e G ′ e GG′ e e G' e G
Para a direção if, como todas as arestas que não sejam devem estar em pelo menos um triângulo, precisamos apenas nos preocupar com a aresta . Existe um ciclo ímpar sem corda passando por em ( é uma conclusão do ciclo ímpar sem corda). O ciclo não pode ter um comprimento de 3 por construção de , e uma vez que o ciclo não pode conter quaisquer nós auxiliares (por propriedade sem corda), que será em gráfico bem. Portanto, a prova está completa.e e G ′ G ′ G ′ Ge e e G′ G′ G′ G
fonte