Existe-t-il un problème NP-complet (ou NP-intermédiaire) connu dans l'espace non déterministe sublinéaire?

9

Il existe certains problèmes NP-Complete ( , , etc.) connus pour être dans . Et les espaces sub-linéaires? $\mathsf{SAT}$ $\mathsf{SUBSETSUM}$ $\mathsf{DSPACE(n)}$

Existe-t-il un problème NP-complet (ou NP-intermédiaire) connu dans l' espace non déterministe sublinéaire ?

— Abuzer Yakaryilmaz
source

14

La version planaire de nombreux problèmes NP-complets appartient à pour certains $NTISP(n,n^q)$ $q<1$

Voir par exemple « Limites inférieures et problèmes complets dans les classes de temps linéaire non déterministe et de complexité d'espace sublinéaire » par P. Chapdelaine et E. Grandjean (2006)

— Marzio De Biasi
source

Je vous remercie! Avez-vous une idée de l'espace poly-logarithmique?

— Abuzer Yakaryilmaz

14

Tout problème a une telle version, juste PAD! Par exemple, le langage qui consiste en un vrai 3CNF de longueur m suivi de m ^ 2 0 est en DSPACE (sqrt (n)).

— domotorp
source

Je vous remercie! Avez-vous une idée de l'espace poly-logarithmique?

— Abuzer Yakaryilmaz

1

il suffit de remplir un 3CNF avec

zéros?

2^{\sqrt{n}}

$2^{\sqrt{n}}$

— Sasho Nikolov

2

@Sasho: Ensuite, le problème cesserait d'être NP-complet, vous ne pouvez que PAD avec un nombre poly de zéros.

— domotorp

1

2^{p o l y - l o g}

$2^{poly-log}$

@domotorp: Oui, vous avez raison! Je vous remercie!

— Abuzer Yakaryilmaz

11

$\mathsf{NP}$ $O(\log n)$ $\mathsf{NP}$ $\mathsf{NP}$ $L$ $M$ $x \in L$ $y$ $M(x, y)$ $x$ $y$ $M$ $x, y$ $M$ $x \not \in L$ $y$ $M(x, y)$

$\mathsf{NP} = \mathsf{NL}$ $\mathsf{NP} = \mathsf{P}$ $\mathsf{NL}$

— Sasho Nikolov
source

D S P A C E (2^{n}) \subseteq I P (1)

$DSPACE(2^n) \subseteq IP(1)$

1

N P

$\mathsf{NP}$

N P

$\mathsf{NP}$

4

N S P A C E_{o f f - l i n e} (l o g)

$\mathsf{NSPACE_{off\mbox{-}line}(log)}$

N P = N S P A C E_{o f f - l i n e} (l o g)

$\mathsf{NP} = \mathsf{NSPACE_{off\mbox{-}line}(log)}$

N L = N S P A C E_{o n - l i n e} (l o g)

$\mathsf{NL} = \mathsf{NSPACE_{on\mbox{-}line}(log)}$