Qualquer problema NP-Complete pode ser resolvido usando no máximo espaço polinomial (mas usando tempo exponencial?)

Eu li sobre o NPC e sua relação com o PSPACE e gostaria de saber se os problemas do NPC podem ser resolvidos deterministicamente usando um algoritmo com o pior requisito de espaço polinomial, mas potencialmente levando tempo exponencial (2 ^ P (n) onde P é polinomial).

Além disso, ele pode ser generalizado para EXPTIME em geral?

A razão pela qual estou perguntando isso é que escrevi alguns programas para resolver casos degenerados de um problema de NPC, e eles podem consumir quantidades muito grandes de RAM para instâncias difíceis, e me pergunto se existe uma maneira melhor. Para referência, consulte https://fc-solve.shlomifish.org/faq.html .

De um modo geral, o seguinte é verdadeiro para qualquer algoritmo:

1. Suponha que $A$ seja um algoritmo executado em $f(n)$ tempo. Então $A$ não poderia ocupar mais do que $f(n)$ espaço, pois escrever $f(n)$ bits requer $f(n)$ tempo.
2. Suponha que $A$ é um algoritmo que requer espaço $f(n)$ . Então, em $2^{f(n)}$ , $A$ pode visitar cada um de seus estados diferentes, portanto, não pode ganhar nada executando mais de $2^{f(n)}$ .

Segue que:

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

A declaração é conhecida como parte das relações entre as classes, conforme ilustrado no seguinte diagrama:

A explicação é simples: um problema $Q$ $\in$ $\mathbf{NP}$ possui um certificado de comprimento polinomial $y$ . Um algoritmo que testa todos os certificados possíveis é um algoritmo que decide $Q$ no tempo $\large 2^{n^{O(1)}}$ .

Seu requisito de espaço é:

• $y$ (polinômio em$n$ )
• espaço necessário para verificar $y$ . Como $y$ é um certificado polinomial, ele pode ser verificado em tempo polinomial e, portanto, não pode exigir mais do que espaço polinomial.

Como a soma de dois polinômios também é um polinômio, $Q$ pode ser decidido com espaço polinomial.

Exemplo:

Suponha que $\varphi$ é uma instância de 3-CNF nos literais $x_1 \dots x_n$ , com cláusulas $m$ . Uma atribuição $f$ é alguma função $f:\{x_1\dots x_n\} \rightarrow \{0,1\}$ .

Afirma que:

• Existem $2^n$ atribuições diferentes.
• Dada uma atribuição $f$ , leva $O(m)$ tempo para calcular o valor de $\varphi$ , portanto, não pode exigir mais que $O(m)$ espaço.

Portanto, um algoritmo $A$ que verifica todas as atribuições possíveis usará espaço polinomial, executará em tempo exponencial e decidirá 3-SAT.

Segue que:

3-SAT $\in \mathbf{PSPACE}$ , e como 3-SAT é NP-Completo, $\mathbf{NP}$ $\subseteq \mathbf{PSPACE}$

Yes. Here's a sketch of a direct proof.

If a problem is in $\mathrm{NP}$, there is a nondeterministic Turing machine $M$ that decides it, and there's a polynomial $p$ such that none of $M$'s computation paths on inputs of length $n$ take more than $p(n)$ steps. That means that a single path can't use more than $p(n)$ tape cells, so we can simulate a single path deterministically in polynomial space.

But we need to simulate all the paths. Well, there is a constant $c$ that depends only on the transition function of $M$ (and not on its input) such that $M$ has at most $c$ nondeterministic choices at any step. That means that there are at most $c^{p(n)}$ different computation paths for any input of length $n$. We can simulate all of these $c^{p(n)}$ paths as follows. First, write out a $p(n)$-digit number in base-$c$ (this takes space $p(n)$ but that's polynomial, so it's OK). Then, simulate the operation of $M$ and, at the $i$th step of the computation, use the $i$th digit of the number to decide which nondeterministic choice to make. If, for example, the $i$th digit is $6$ and there are only four choices that can be made, abandon that simulation and go on to the next one.

So, now, to do the whole simulation, we start by writing out the number $0\dots 0$, simulate that path of $M$, increment the number, simulate the next path, and so on, until we reach the number where every digit is $c-1$. We've now simulated every possible computation path, and we've done it in time about $c^{p(n)}p(n)$, using space about $2p(n)$. That's exponential time and polynomial space, as required.