Esta es probablemente una pregunta estúpida, pero simplemente no entiendo. En otra pregunta se les ocurrió el teorema de dicotomía de Schaefer . Para mí, parece que demuestra que cada problema de CSP está en P o en NP-completo, pero no en el medio. Dado que cada problema de NP puede transformarse...
He visto cómo XOR-3-SAT se puede resolver de manera eficiente (por ejemplo, consulte la sección "Satisfacción de XOR" en la entrada de Wikipedia para el problema de satisfacción booleana ). Me pregunto una pregunta básica: ¿es XOR-k-SAT eficientemente solucionable, para fórmulas con cantidades...
El problema de decisión Dada una fórmula booleana , ¿tiene exactamente una asignación satisfactoria?ϕϕϕ\phiϕϕ\phi puede verse en , -hard y -hard. ¿Se sabe algo más sobre su complejidad?U P c o N
Los solucionadores de SAT modernos son muy buenos para resolver muchos ejemplos del mundo real de instancias de SAT. Sin embargo, sabemos cómo generar los difíciles: por ejemplo, use una reducción de factoring a SAT y proporcione los números RSA como entrada. Esto plantea la pregunta: ¿qué pasa si...
¿Es el problema de determinar si una expresión booleana dada es satisfactoriamente computacionalmente distinta de encontrar realmente una solución a la expresión? En otras palabras, ¿hay otra forma de encontrar que una expresión dada es satisfactoria sin determinar explícitamente la 'configuración...
En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...
Me pregunto si hay un algoritmo polinómico para "2-SAT con relaciones XOR". Tanto 2-SAT como XOR-SAT están en P, pero ¿es su combinación? Entrada de ejemplo: Parte 2-SAT: (a or !b) and (b or c) and (b or d) Parte XOR: (a xor b xor c xor 1) and (b xor c xor d) En otras palabras, la entrada es...
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...
En relación con el hilo Probar que la conversión de CNF a DNF es NP-Hard (y un hilo matemático relacionado ): ¿Qué tal la otra dirección, de DNF a CNF? ¿Es fácil o difícil? En la página 2 de este documento , parecen insinuar que ambas direcciones son igualmente difíciles cuando dicen " Estamos...
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...
En la página de Wikipedia aquí , describe bastante bien el algoritmo CDCL (y parece que las imágenes fueron tomadas de diapositivas creadas por Sharad Malik en Princeton). Sin embargo, al describir cómo dar marcha atrás, todo lo que dice es "al punto apropiado". MiniSAT también usa una variante del...
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...
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...
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 color?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to...
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...
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 < , la solución que falta será la...
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...
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 el que se da una...
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
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...