Preguntas etiquetadas con 3-sat

El algoritmo GSAT es, en su mayor parte, directo: obtienes una fórmula en forma conjuntiva normal y cambias los literales de las cláusulas hasta que encuentres una solución que satisfaga la fórmula o alcances el límite max_tries / max_flips y no encuentres solución. Estoy implementando el siguiente algoritmo: procedure GSAT(A,Max_Tries,Max_Flips) …

20 algorithms  satisfiability  3-sat 

Estoy tratando de entender una prueba de integridad de NP que parece girar en torno a SAT / 3CNF-SAT. Tal vez sea tarde, pero me temo que no puedo pensar en una fórmula 3CNF que no pueda satisfacerse (probablemente me falta algo obvio). ¿Me puede dar un ejemplo para tal …

15 logic  satisfiability  3-sat 

Planar 3SAT es NP-completo. Una instancia plana de 3SAT es una instancia de 3SAT para la cual el gráfico creado con las siguientes reglas es plano: agregue un vértice para cada yXyoXyox_iXyo¯Xyo¯\bar{x_i} agregue un vértice para cada cláusulaCjCjC_j añadir una ventaja para todos los par( xyo, xyo¯)(Xyo,Xyo¯)(x_i,\bar{x_i}) agregue un borde …

14 np-complete  reductions  satisfiability  3-sat 

Estoy tratando de resolver una tarea (tomada del libro Algorithms - de S. Dasgupta, CH Papadimitriou y UV Vazirani , Capítulo 8, problema 8.6a), y estoy parafraseando lo que dice: Dado que 3SAT permanece NP-completo incluso cuando se restringe a fórmulas en las que cada literal aparece como máximo dos …

10 complexity-theory  satisfiability  3-sat 

Existe un algoritmo aleatorio muy simple que, dado un 3SAT, produce una asignación que satisface al menos 7/8 de las cláusulas (en expectativa): elija una asignación aleatoria. Una asignación aleatoria satisface cada cláusula con probabilidad 7/8, por lo que la linealidad de la expectativa muestra que la fracción esperada de …

8 randomized-algorithms  3-sat