Preguntas etiquetadas con sat

Definamos el problema SAT de : dado F 3 , una fórmula satisfactoria de 3-CNF, y F 2 , una fórmula de 2-CNF ( F 3 y F 2 se definen en las mismas variables). ¿Es F 3 ∧ F 2 satisfactoria?( 3 , 2 )s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 ¿Cuál es …

8 cc.complexity-theory  reference-request  np-hardness  sat 

En el documento "Codificación eficiente de CNF para seleccionar 1 de N objetos", los autores presentan su técnica de "variable comandante" para codificar la restricción, y luego hablan sobre el problema del casillero. Dado que mi error puede existir en la comprensión de nivel inferior, permítame declarar lo que creo …

8 cc.complexity-theory  sat  proof-complexity 

¿Es posible encontrar una reducción de conteo de #SAT a #HornSAT? No he encontrado esta pregunta publicada aquí, así que decidí verificar si alguien tiene alguna respuesta. Permítanme explicar a qué me refiero con contar la reducción. Suponga que son dos problemas de conteo. Por ejemplo, #SAT pregunta cuántas asignaciones …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

Tratar de encontrar la solución óptima para WEIGHTED-MAX-3SAT, la versión ponderada del problema de optimización 3-SAT, es NP-hard. De hecho, incluso aproximar la versión no ponderada de MAX-SAT arbitrariamente es probablemente NP-duro por el teorema de PCP. Un algoritmo canónico para aproximar WEIGHTED-MAX-3SAT es MAX-WalkSAT. Al mirar alrededor, encontré información …

8 ds.algorithms  approximation-algorithms  sat  approximation-hardness 

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 ' ?FFFFFFF′F′F' Una segunda pregunta es: que es el …

8 cc.complexity-theory  ds.algorithms  complexity-classes  sat