Preguntas etiquetadas con sat

SAT significa el problema de satisfacción booleana.

1
Consecuencias de
Tengo parte de un intento de prueba de . El intento de prueba consiste en una reducción de Karp desde -complete problem 3-REGULAR VERTEX COVER a SAT. ⊕ P ⊕⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Dado un gráfico cúbico , la reducción genera una fórmula CNF que tiene las dos propiedades …

2
Número limitado de ocurrencias variables en 1-en-3 SAT
¿Existe un resultado conocido en la clase de complejidad 1-en-3-SAT con un número restringido de ocurrencias variables? Se me ocurrió la siguiente reducción parsimoniosa con Peter Nightingale, pero quiero citar algo si esto se sabe. Aquí está el truco que se nos ocurrió. Esto muestra que 1-en-3-SAT limitado a 3 …

1
Modelo computacional en SETH
Impagliazzo, Paturi y Calabro, Impagliazzo, Paturi introdujeron la hipótesis del tiempo exponencial (ETH) y la hipótesis del tiempo fuertemente exponencial (SETH). Aproximadamente, SETH dice que no existe un algoritmo que resuelva SAT en el tiempo . 1.99n1.99n1.99^n Me preguntaba qué significaría romper con SETH. Definitivamente necesitamos encontrar un algoritmo que …

1
Circuito de detección que es similar en funcionalidad e implementación
Sea un vector de variables booleanas. Sea dos circuitos booleanos en . Digamos que es similar a si:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] es exponencialmente pequeño, cuando xxx se dibuja uniformemente al azar desde {0,1}n{0,1}n\{0,1\}^n (en otras palabras, tienen una funcionalidad casi idéntica); y, C,DC,DC,D difieren en la distancia de edición del …


2
Enumerar todas las soluciones de un problema SAT
Todos los solucionadores de #SAT que conozco, por ejemplo, RelSat, C2D, solo devuelven el número de instancias satisfactorias. Pero quiero saber cada una de esas instancias? ¿Existe tal solucionador #SAT o cómo debo modificar un solucionador #SAT disponible para hacer esto? Gracias.
11 lo.logic  sat  software 


3
¿Dónde busco ayuda con la investigación / publicación?
He estado desarrollando un algoritmo SAT durante un tiempo y he llegado a un punto en el que me gustaría compartirlo. No conozco a muchas personas en ciencias de la computación, y no estoy seguro exactamente a dónde acudir. Me pregunto qué recursos están disponibles para alguien con un algoritmo …

2
Mínimo verdadero monótono 3SAT
Estoy interesado en una variación SAT donde la fórmula CNF es monótona (no se niegan variables). Tal fórmula es obviamente satisfactoria. Pero digamos que el número de variables verdaderas es una medida de cuán buena es nuestra solución. Entonces tenemos el siguiente problema: MÍNIMO VERDADERO MONOTONE 3SAT INSTANCIA: Conjunto U …




2
Es Almost-2-SAT NP-hard?
¿Es un problema CNF SAT NP difícil cuando el número total (pero no el ancho) de las cláusulas de 3 o más términos está limitado por una constante? ¿Qué pasa específicamente cuando solo hay una de esas cláusulas?



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.