¿Es posible incorporar una solución para SAT?

Estoy interesado en instancias individuales "difíciles" de problemas NP-completos.

Ryan Williams discutió el problema SAT0 en el blog de Richard Lipton . SAT0 pregunta si una instancia SAT tiene la solución específica que consiste en todos los 0. Esto me hizo pensar en construir instancias SAT que probablemente sean "difíciles".

Considere una instancia SAT con cláusulas variables , donde es "lo suficientemente grande", en el sentido de que cae en la región más allá de la transición de fase, donde casi todas las instancias son insatisfactorias. Sea una asignación aleatoria a los valores de . $\phi$ $m$ $n$ $\alpha = m/n$ $x$ $\phi$

¿Es posible modificar para obtener una nueva instancia , de modo que es "en gran medida similar" a , pero de modo que es una asignación satisfactoria para ? $\phi$ $\phi|x$ $\phi|x$ $\phi$ $x$ $\phi|x$

Por ejemplo, uno podría intentar agregar a cada cláusula un literal elegido al azar de la solución, que aún no aparece en la cláusula. Esto garantizará que sea una solución. $x$

¿O es esto desesperado, lo que lleva a un algoritmo rápido para encontrar la solución "oculta", en la línea del siguiente artículo reciente?

Uriel Feige y Dorit Ron, Buscando camarillas ocultas en tiempo lineal , proc. DMTCS. AM, 2010, 189-204.

Soy consciente de la discusión de Cook y Mitchell y del trabajo al que hacen referencia. Sin embargo, no pude encontrar nada sobre lo que le sucede a la estructura de una fórmula cuando uno intenta incorporar explícitamente una tarea satisfactoria. Si esto es folklore, ¡los punteros serían muy bienvenidos!

Stephen A. Cook y David G. Mitchell, Encontrando instancias difíciles del problema de satisfacción: una encuesta , serie DIMACS en Matemática discreta y ciencias de la computación teóricas 35 1–17, AMS, ISBN 0-8218-0479-0, 1997. ( PS )

cc.complexity-theory sat hard-instances András Salamon
fuente

Respuestas:

$\varphi$ $\varphi \vee \psi_x$ $\psi_x$ $x$ $f:\{0,1\}^n\rightarrow \{0,1\}^n$ $x$ $y=f(x)$ $y$ $x$ $x$ $f$ $x$ $x$

Boaz Barak
fuente

ϕ \lor ψ_{x}

$\phi \lor \psi_x$

ϕ

$\phi$

ψ_{x}

$\psi_x$

$\frac{m}{n}> 4.3$

$x$ $n$ $m$ $k$ $p = \frac{1}{2}$ $x$ $\phi|x$ $\phi$ $\phi|x$ $x$ $l$ $l$ $\phi$ $\phi|x$ $\phi$ $\phi|x$

$\phi|x$ $\phi$

$\phi$ $x$

$\phi$ $x$ $x$
$m_x$ $m_x$ $x$ $x$

$x$ $x$ $x$

Giorgio Camerani
fuente

Gracias por los comentarios, estoy de acuerdo en que se cambiaría el espacio de la solución. Como se indica en la pregunta, quiero saber si hay una manera de modificar la fórmula para ocultar una solución. Agregar los literales a cada cláusula significa una prueba de existencia de que uno puede agregar la solución a la fórmula. No quise sugerir que este es el único, mejor o incluso un buen método.

András Salamon

x

$x$

ϕ | x

$\phi|x$

ϕ

$\phi$

x

$x$

Idealmente, uno quiere un método computable de polytime que no cambie el espacio de la solución "demasiado" ...

András Salamon

n^{3 \log n}

$n^{3\log\ n}$

3 \log n

$3 \log n$

n

$n$

2 n

$2n$

n

$n$

3 \log n

$3\log n$

La mejor manera de generar instancias difíciles de problemas NP-completos que conozco es usar el mapeo de Cook para reducir las instancias cuidadosamente seleccionadas de ciertos otros problemas NP difíciles (como el problema de logaritmo discreto o la factorización de enteros) a SAT. Estos son los mismos "problemas difíciles" que utilizan los matemáticos para garantizar la seguridad criptográfica en protocolos como RSA y Diffie-Hellman.

Philip White
fuente

Referencias, por favor?

gphilip

No estoy seguro de por qué el voto negativo de esta respuesta. quien lo hizo debería explicarlo.

Suresh Venkat