¿Se puede resolver cualquier problema NP-Complete utilizando como máximo espacio polinomial (pero utilizando el tiempo exponencial?)

Leí acerca de NPC y su relación con PSPACE y deseo saber si los problemas de NPC se pueden resolver de manera determinista utilizando un algoritmo con el requisito de espacio polinomial en el peor de los casos, pero potencialmente tomando tiempo exponencial (2 ^ P (n) donde P es polinomial).

Además, ¿se puede generalizar a EXPTIME en general?

La razón por la que pregunto esto es que escribí algunos programas para resolver casos degenerados de un problema de NPC, y pueden consumir cantidades muy grandes de RAM para instancias difíciles, y me pregunto si hay una mejor manera. Para referencia, consulte https://fc-solve.shlomifish.org/faq.html .

complexity-theory np-complete np Shlomi Fish
fuente

Respuestas:

En términos generales, lo siguiente es cierto para cualquier algoritmo:

Supongamos que $A$ es un algoritmo que se ejecuta en tiempo $f(n)$ . Entonces $A$ no podía tomar más de $f(n)$ el espacio, ya que la escritura $f(n)$ bits de requiere $f(n)$ tiempo.
Supongamos que $A$ es un algoritmo que requiere espacio $f(n)$ . Luego, en $2^{f(n)}$ tiempo, $A$ puede visitar cada uno de sus diferentes estados, por lo tanto, no puede ganar nada al ejecutar más de $2^{f(n)}$ tiempo.

Resulta que:

$\mathbf{NP}$ $\subseteq \mathbf{PSPACE}$

La declaración se conoce como parte de las relaciones entre las clases, como se muestra en el siguiente diagrama:

La explicación es simple: un problema $Q$ $\in$ $\mathbf{NP}$ tiene un certificado de longitud polinómica $y$ . Un algoritmo que prueba todos los certificados posibles es un algoritmo que decide $Q$ en el tiempo $\large 2^{n^{O(1)}}$ .

Su espacio requerido es:

$y$ (polinomio en $n$ )
$y$ $y$

$Q$

Ejemplo:

$\varphi$ $x_1 \dots x_n$ $m$ $f$ $f:\{x_1\dots x_n\} \rightarrow \{0,1\}$

Sostiene que:

$2^n$
$f$ $O(m)$ $\varphi$ $O(m)$

$A$

Resulta que:

$\in \mathbf{PSPACE}$ $\mathbf{NP}$ $\subseteq \mathbf{PSPACE}$

salmón ahumado
fuente

¿Por qué están relacionados EXPSPACE y EXPTIME? Pensé que el tiempo y el espacio eran recursos diferentes. Un ejemplo que viene a la mente es romper un esquema de cifrado, que requeriría EXPTIME, pero un espacio constante

WeCanBeFriends

f (n)

$f(n)$

f (n)

$f(n)$

2^{f (n)}

$2^{f(n)}$

\subseteq

$\subseteq$

¿Es f (n) diferente a O (n) en su ejemplo?

WeCanBeFriends

@WeCanBeFriends No se puede emplear tiempo exponencial con espacio constante: se necesita al menos el espacio utilizado para contar hasta ese número exponencial (por ejemplo, el contador de programa de un lenguaje ensamblador), que es polinomial (logarítmico en el exponencial)

gigabytes

P \neq E X P T I M E

$P\not = EXPTIME$

Si. Aquí hay un boceto de una prueba directa.

$\mathrm{NP}$ $M$ $p$ $M$ $n$ $p(n)$ $p(n)$

$c$ $M$ $M$ $c$ $c^{p(n)}$ $n$ $c^{p(n)}$ $p(n)$ $c$ $p(n)$ $M$ $i$ $i$ $i$ $6$

$0\dots 0$ $M$ $c-1$ $c^{p(n)}p(n)$ $2p(n)$

David Richerby
fuente