Demostrar la completitud NP de la decidibilidad de la fórmula booleana monótona

Estoy tratando de resolver este problema y realmente estoy luchando.

Una fórmula booleana monótona es una fórmula en lógica proposicional donde todos los literales son positivos. Por ejemplo,

$\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5)$

es una función booleana monótona. Por otro lado, algo así como

$\qquad (x_1 \lor x_2 \lor x_3) \land (\neg x_1 \lor x_3) \land (\neg x_1 \lor x_5)$

no es una función booleana monótona.

¿Cómo puedo demostrar que NP está completo para este problema?

¿Determinar si una función booleana monótona es satisfactoria si variables o menos se establecen en ? $k$ $1$

Claramente, todas las variables podrían establecerse como positivas, y eso es trivial, por eso existe la restricción de variables definidas positivamente. $k$

He intentado una reducción de SAT a fórmula booleana monótona. Una cosa que he intentado es sustituir una variable ficticia por cada literal negativo. Por ejemplo, traté de reemplazar con , y luego intenté forzar a y a tener valores diferentes. Sin embargo, no he podido hacer que esto funcione. $\neg x_1$ $z_1$ $x_1$ $z_1$

complexity-theory np-complete satisfiability nat
fuente

¡Bienvenido! Tenga más cuidado con el idioma y el formato.

Raphael

Respuestas:

El "padre" del problema que está viendo a veces se llama Satisfabilidad ponderada (WSAT, particularmente en la complejidad parametrizada) o Min-Ones (aunque esta es normalmente una versión de optimización, pero lo suficientemente cerca). Estos problemas tienen la restricción "como máximo variables establecidas en verdadero" como su característica definitoria. $k$

La restricción a las fórmulas monótonas es en realidad sorprendentemente fácil de mostrar dureza, solo necesita resolver los problemas de satisfacción por un momento. En lugar de intentar modificar una instancia de SAT, comenzamos con Dominating Set (DS).

A ver si puedes conseguirlo desde allí. Hay más en los spoilers, divididos en pedazos, pero evítalos si puedes. No mostraré membresía en NP, no deberías tener ningún problema con eso.

$(G, k)$ $k$ $G$ $(\phi,k)$ $\phi$

La construcción básica:

$v\in V(G)$ $v' \in \text{var}(\phi)$ $v \in V(G)$ $c_{v} = \bigvee_{u\in N(v)} u'$

Un bosquejo de la prueba:

$k$ $k$ $\phi$ $k$ $c_{v}$ $v$

Luke Mathieson
fuente

Wow, esto tiene mucho más sentido, ¡gracias! Creo que definitivamente estaba atrapado en tratar de reducir el SAT a la fórmula booleana monótona.

nat

También veo que también podemos reducir la cubierta del vértice a la fórmula booleana monótona.

nat

k

$k$

Creo que exactamente el mismo enfoque funciona con cobertura de vértices.

Haskell Fun

@ HaskellFun, también pensé en esto. La cubierta de vértice es la misma que la monótona Min-W2SAT.

rus9384

$z_i$ $\neg x_i$ $\phi$ $\phi'$ $\neg x_i$ $z_i$ $x_i \vee z_i$ $k$ $\phi'$ $\phi$ $k$ $x_i \vee z_i$ $\phi'$ $k$ $k$

david
fuente