Preguntas etiquetadas con 3-sat



1
Condiciones de planaridad para SAT Planar 1 en 3
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 …

1
¿Cómo demostrar que una versión restringida de 3SAT en la que no puede aparecer un literal más de una vez es solucionable en tiempo polinómico?
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 …

1
Algoritmo aleatorizado para 3SAT
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 …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.