Feedback Vertex Set es NP-complete para gráficos generales. Se sabe que es NP-completo para gráficos limitados de grado 8 debido a una reducción de la cubierta del vértice. El artículo de Wikipedia dice que es polisoluble para gráficos limitados de grado 3 y NP-completo para gráficos limitados de grado 4. Pero no he podido encontrar ninguna prueba de esto en ningún lado. ¿Es verdad?
¿Cuál es el mínimo d tal que FVS en los gráficos acotados de grado d es NP-completo?
Respuestas:
El algoritmo de Li y Liu es incorrecto (está publicado en China, aunque en inglés). El algoritmo de Ueno et al. Es correcto, y un algoritmo similar se puede encontrar en Furst et al. 1 . Ambos algoritmos reducen el problema al problema de paridad matroide polinomio-solucionable [3].
¡Su reducción de VC garantiza la dureza NP para el gráfico acotado de grado 6! Como VC ya es NP-hard en gráficos cúbicos. Speckenmeyer ha afirmado que su tesis [4] contiene la prueba de la dureza NP de FVS en gráficos planos de grado máximo cuatro, pero es muy difícil de encontrar (agradeceré mucho si quien tiene acceso a su tesis puede enviarme una copia ) Afortunadamente, se puede encontrar una nueva prueba de la dureza NP de los gráficos acotados de grado cuatro en 2 :
Observaciones sobre 2 : - De hecho, demostró que el problema es APX-hard, pero es fácil verificar que sus reducciones también son válidas para la prueba de NP-hardness del problema. - Su reducción NO se aplica a los gráficos planos.
fuente
Las referencias relevantes parecen ser:
Ueno, Shuichi; Kajitani, Yoji; Gotoh, Shin'ya. En el problema de conjunto independiente no separado y el problema de conjunto de retroalimentación para gráficos sin un grado de vértice superior a tres. Actas de la Primera Conferencia de Japón sobre Teoría de Gráficos y Aplicaciones (Hakone, 1986). Matemáticas discretas. 72 (1988), no. 1-3, 355–360 .
Li, Deming; Liu, Yanpei. Un algoritmo polinomial para encontrar el conjunto mínimo de vértices de retroalimentación de un gráfico simple de 3 regulares. Acta Math. Sci. 19 (1999), no. 4, 375–381.
(Advertencia: no he leído ninguno de los dos, pero ambos afirman que resuelven el problema en tiempo polinómico. No creo que la diferencia entre 3-regular y máximo grado tres sea importante para este problema).
fuente