Preguntas etiquetadas con satisfiability

Soy un estudiante de segundo año de secundaria que está interesado en ciencias de la computación. Desarrollé un algoritmo genial para #SAT, y estoy implementando y haciendo un proyecto de feria de ciencias al respecto. Mi asesora, quien es la mejor maestra de ciencias en mi escuela y también es …

9 algorithms  satisfiability 

Valiant y Vazirani probaron que SAT es reducible a SAT ÚNICO bajo reducciones probabilísticas aleatorias en tiempo polinómico. Calabro y col . demostró que k-SAT ÚNICO es tan difícil como k-SAT. Ahora la pregunta es, si alguien muestra que k-SAT ÚNICO está en P, ¿implica P = NP? Referencias LG …

9 complexity-theory  satisfiability  p-vs-np 

Me preguntaba si este problema tiene un nombre: Dado un gráfico simple cuyos bordes son de color rojo, azul y verde, , ¿hay un color de vértice c : V → { B , R , G } de modo que cada borde tenga un punto final con el mismo …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

Deje que LϵLϵL_\epsilon sea ​​el lenguaje de todas las fórmulas 222 -CNF φφ\varphi , de modo que pueda satisfacerse al menos ( 12+ ϵ )(12+ϵ)(\frac{1}{2}+\epsilon) de las cláusulas de φφ\varphi . Necesito demostrar que existe ϵ′ϵ′\epsilon' st LϵLϵL_\epsilon es N PNP\mathsf{NP} -hard para cualquier ϵ &lt; ϵ′ϵ&lt;ϵ′\epsilon<\epsilon' . Sabemos que …

9 complexity-theory  satisfiability  approximation 

Estaba leyendo este documento donde los autores explican el Teorema 1, que establece que "Objeto alcanzable" (como se define en el documento) es NP-completo. Sin embargo, prueban la reducción solo en una dirección, es decir, desde 2P1N SAT hasta Objeto alcanzable. Esto solo prueba que el problema es NP-duro; ¿no …

8 complexity-theory  np-complete  np-hard  satisfiability 

Tengo la siguiente pregunta. ¿Los solucionadores SAT son deterministas? Me refiero, por ejemplo, al algoritmo miniSAT y DPLL . ¿Son completamente deterministas? Si estos algoritmos devolverán unSAT, ¿significa que ciertamente la solución no existe?

8 algorithms  logic  satisfiability  sat-solvers 

Imaginemos que tenemos una fórmula satisfactoria El problema a resolver es "¿Hay una asignación para las variables que hará F insatisfactorio? ". Una forma de resolver es encontrar todas las soluciones para F en términos de variables y si el recuento es &lt; , la solución que falta será la …

8 logic  satisfiability  sat-solvers 

Recientemente, estoy leyendo documentos sobre dicotomía . No entiendo qué condición se puede llamar como una dicotomía ? ¿Cuál es el significado de "una pregunta está en P o en NP - completa "? (suponga P ≠≠\neq NP ) Por ejemplo, conozco el teorema de la dicotomía de Schaefer, en …

8 complexity-theory  np-complete  satisfiability 

Dejar x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) y y=(y1,…,yn)y=(y1,…,yn)y=(y_1,\dots,y_n) ser nnn-vectores de variables booleanas. Tengo un predicado booleanoQ(x,y)Q(x,y)Q(x,y) en x,yx,yx,y. Le doy a mi amiga PriscillaQ(x,y)Q(x,y)Q(x,y). En respuesta, ella me daP(x)P(x)P(x), un predicado booleano en , y ella afirma quexxx P(x)≡∃y.Q(x,y),P(x)≡∃y.Q(x,y),P(x) \equiv \exists y . Q(x,y), o en otras palabras, que ∀x.[P(x)⇔∃y.Q(x,y)].∀x.[P(x)⇔∃y.Q(x,y)].\forall x . [P(x) …

8 logic  satisfiability  first-order-logic  software-verification  model-checking 

Si suponemos que comenzamos con una instancia de -SAT e intentamos convertir el problema en una instancia de -SAT, donde hay literales por cláusula, ¿podemos garantizar una reducción en el cantidad total de cláusulas?kkk(k+m)(k+m)(k+m)(k+m)(k+m)(k+m) Después de publicar me di cuenta de que no podemos garantizar que se pueda reducir el …

8 complexity-theory  logic  satisfiability 

No se cree que la satisfacción general (con algunas excepciones, como las cláusulas Horn) tenga una solución algorítmica. Sin embargo, el siguiente algoritmo parece ser una solución para la satisfacción general. ¿Cuál es exactamente la falla con el siguiente algoritmo? Sea un conjunto vacío que contendrá todas las variables que …

8 algorithms  logic  satisfiability  constraint-programming