Preguntas etiquetadas con sat

SAT significa el problema de satisfacción booleana.


8
Mejores límites superiores en SAT
En otro hilo , Joe Fitzsimons preguntó sobre "los mejores límites inferiores actuales en 3SAT". Me gustaría ir a otro lado: ¿Cuál es el mejor límite superior actual en 3SAT? En otras palabras, ¿cuál es la complejidad temporal del solucionador SAT más eficiente? En particular, ¿es concebible encontrar un algoritmo …


1
¿Está Gap-3SAT NP completo incluso para fórmulas 3CNF donde no aparece ningún par de variables en significativamente más cláusulas que el promedio?
En esta pregunta, una fórmula 3CNF significa una fórmula CNF donde cada cláusula involucra exactamente tres variables distintas . Para una constante 0 < s <1, Gap-3SAT s es el siguiente problema prometedor: Gap-3SAT s Instancia : fórmula φ A 3CNF. Sí, prometo : φ es satisfactoria. Sin promesa : …



1
Problema de satisfacción de restricciones (CSP) versus teoría del módulo de satisfacción (SMT); con una coda en programación de restricciones
¿Alguien se atreve a intentar aclarar cuál es la relación de estos campos de estudio o tal vez incluso dar una respuesta más concreta a nivel de problemas? Como cuál incluye cuál asumiendo algunas formulaciones ampliamente aceptadas. Si entendí esto correctamente, cuando pasas de SAT a SMT básicamente estás entrando …

2
¿Algún algoritmo cuántico mejora en el SAT clásico?
Los algoritmos clásicos pueden resolver 3-SAT en tiempo (aleatorizado) o 1.3303 n tiempo (determinista). (Referencia: Mejores límites superiores en SAT )1.3071norte1.3071norte1.3071^n1.3303norte1.3303norte1.3303^n A modo de comparación, el uso del algoritmo de Grover en una computadora cuántica buscaría y proporcionaría una solución en , aleatorizado. (Esto aún puede requerir algún conocimiento de …





6
¿Qué problemas de SAT son fáciles?
¿Qué son las "regiones fáciles" para la satisfacción? En otras palabras, condiciones suficientes para que un solucionador de SAT pueda encontrar una tarea satisfactoria, suponiendo que exista. Un ejemplo es cuando cada cláusula comparte variables con algunas otras cláusulas, debido a la prueba constructiva de LLL, ¿algún otro resultado en …

6
Clases bien conocidas de fórmulas booleanas que requieren pruebas de resolución exponencialmente largas
A menudo puede encontrar métodos de plano de corte, propagación variable, ramificación y encuadernación, aprendizaje de cláusulas, retroceso inteligente o incluso heurística humana tejida a mano en solucionadores SAT. Sin embargo, durante décadas, los mejores solucionadores de SAT se han basado en gran medida en técnicas de prueba de resolución …

1
¿Se conocen algoritmos subexponenciales para SAT PLANAR?
Algunos problemas NP-hard que son exponenciales en gráficos generales son subexponenciales en gráficos planos porque el ancho del árbol es como máximo y son exponenciales en el ancho del árbol.4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} Básicamente, estoy interesado si hay algoritmos subexponenciales para SAT PLANAR que es NP-complete. Sea una fórmula CNF en las …

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.