Se sabe que el problema # MONOTONE-2SAT es # P-completo. Esto significa que #SAT se puede reducir a eso. Mi pregunta es: dada una instancia #SAT , ¿cuál es la transformación que convierte F en su correspondiente instancia # MONOTONE-2SAT F ' ?
Una segunda pregunta es: que es el número de soluciones de F ' , y dejar que K es el número de soluciones de F . ¿ K ′ = K ? ¿O debemos usar una transformación inversa que convierta K ' a K ?
cc.complexity-theory
ds.algorithms
complexity-classes
sat
Giorgio Camerani
fuente
fuente
Respuestas:
En cuanto a la primera pregunta, eso es lo que hace una reducción. Para saber cómo reducir # 3SAT a # Monotone-2SAT, consulte la prueba de # P-completitud de # Monotone-2SAT [Val79b], que se basa en # P-completitud de Permanente [Val79a]. Para reducir #SAT a # 3SAT, la reducción de Cook de cualquier problema en NP a 3SAT es parsimoniosa y, por lo tanto, reduce #SAT a # 3SAT.
La respuesta a la segunda pregunta es no. La reducción en [Val79a] de # 3SAT a Permanente no conserva el número de soluciones. Además, si se conoce una reducción de #SAT a # Monotone-2SAT (o Permanente) que conserva el número de soluciones, la misma reducción reduciría la versión de decisión de SAT a la versión de decisión de Monotone-2SAT (o Bipartite Matching), implicando P = NP.
Referencias
[Val79a] Leslie G. Valiant. La complejidad de cálculo de la permanente. Informática teórica , 8 (2): 189-201, 1979. http://dx.doi.org/10.1016/0304-3975(79)90044-6
[Val79b] Leslie G. Valiant. La complejidad de problemas de enumeración y fiabilidad. SIAM Journal on Computing , 8 (3): 410–421, agosto de 1979. http://dx.doi.org/10.1137/0208032
fuente