Considere el siguiente problema cuya instancia de entrada es un gráfico simple y un entero natural k .
¿Existe un conjunto tal que G - S sea bipartito y | S | ≤ k ?
Me gustaría mostrar que este problema es -completo reduciendo 3-SAT, k- CLIQUE, k -DOMINATING SET o k -VERTEX COVER a él.
Creo que puedo reducir el problema de 3 COLORES, por lo que solo necesitaría ver cómo reducir uno de los problemas mencionados. Pero como eso sería bastante complicado, me pregunto si alguien ve una reducción elegante a los problemas antes mencionados.
Además, ¿hay un nombre para este problema de decisión?
Respuestas:
Su problema es un caso especial de una clase más amplia de problemas llamados problemas de eliminación de nodos :
JM Lewis y M. Yannakakis, "El problema de eliminación de nodos para propiedades hereditarias es NP-completo"
... Este artículo trata sobre la clase de problemas de gráficos definidos de la siguiente manera:Π sol Π Π Π Π Π se puede realizar en tiempo polinómico, entonces nuestros resultados implican que el problema de eliminación de nodos para es NP completo. ...Π
para una propiedad de gráfico fija , encuentre el número mínimo de nodos (o vértices) que deben eliminarse de un gráfico G dado para que el resultado satisfaga Π . Llamamos a esto el problema de eliminación de nodos para Π . Nuestros resultados muestran que si Π es una propiedad no trivial que es hereditaria en un subgrafo inducido, entonces el problema de eliminación de nodos para Π es NP-duro. Además, si agregamos la condición de que la prueba para Π
Su problema es el problema de eliminación de nodos para bipartidismo , pero (como lo señaló Pal), hoy se conoce como el problema de desplazamiento del ciclo impar (OCT).
EDITAR
En lo que respecta a una reducción directa, pensé en esta de 3SAT.
Dada una instancia de 3SAT con variables y m cláusulas, construya el siguiente gráfico: agregue dos nodos x i , ¯ x i para cada variable y un borde entre ellos. Para simular una asignación de verdad, agregue n + 1 nodos para cada variable x i y conéctelos a x i y ¯ x i ; de esta manera, para hacer que un gráfico bipartito elimine como máximo n nodos, se debe eliminar al menos uno entre x i y ¯ x i . Finalmente para cada clausulanorte metro Xyo, xyo¯¯¯¯¯ n + 1 Xyo Xyo Xyo¯¯¯¯¯ norte Xyo Xyo¯¯¯¯¯ agrega 4 nodos y crea un ciclo impar que conecta las variables en C j .Cj Cj
El gráfico resultante se puede hacer bipartito eliminando en la mayoría de los n nodos si y solo si la fórmula 3SAT original es satisfactoria.sol norte
fuente