Złożoność obliczeniowa/Test 14: Pamięć wielomianowa i złożoność wykładnicza

Problem QSAT jest:

$\mathrm {EXPSPACE}$-zupełny Źle

$\mathrm {PH}$-zupełny Źle

$\mathrm {PSPACE}$-zupełny Dobrze

$\mathrm {EXP}$-zupełny Źle

żadne z powyższych Źle

Wersje periodyczne problemów są trudniejsze obliczeniowo, gdyż:

dane wejściowe są nieskończonymi strukturami Źle

dane wejściowe są zapisane zwięźle Dobrze

dane wyjściowe muszą być prezentowane zwięźle Źle

w swej istocie operują na nieskończonych strukturach Dobrze

dane wyjściowe są nieskończonymi strukturami Źle

Prawdziwość formuły QSAT jest równoważna istnieniu w odpowiadającej grze $\mathrm {PSPACE}$

strategii wygrywającej dla drugiego gracza Źle

nieskończonej rozgrywki Źle

strategii wygrywającej dla pierwszego gracza Dobrze

Rzeczywista gra GEOGRAPHY jest modelowana przy pomocy

grafu nieskończonego Źle

formuły logicznej Źle

grafu skończonego Dobrze

wyrażenia regularnego Źle

Relacje dotyczące klas wykładniczych przedstawiają się następująco:

$\mathrm {PSPACE} \subseteq \mathrm {EXPSPACE} \subseteq \mathrm {EXP} \subseteq \mathrm {NEXP}$ Źle

$\mathrm {PSPACE} \subseteq \mathrm {EXP} \subseteq \mathrm {NEXP} \subseteq \mathrm {EXPSPACE}$ Dobrze

$\mathrm {EXPSPACE} \subseteq \mathrm {NEXP} \subseteq \mathrm {EXP} \subseteq \mathrm {PSPACE}$ Źle

$\mathrm {PSPACE} \subseteq \mathrm {NEXP} \subseteq \mathrm {EXP} \subseteq \mathrm {EXPSPACE}$ Źle

$\mathrm {EXP} \subseteq \mathrm {PSPACE} \subseteq \mathrm {NEXP} \subseteq \mathrm {EXPSPACE}$ Źle

Równość klas deterministycznych i niedeterministycznych czasowych przenosi się pomiędzy poziomami:

w górę Dobrze

nie przenosi się Źle

w dół Źle

nie wiadomo Źle

Problemem $\mathrm {EXPSPACE}$-zupełnym jest sprawdzanie równoważności wyrażeń regularnych:

klasycznych (suma, konkatenacja i gwiazdka) Źle

rozszerzonych o potęgowanie Dobrze

rozszerzonych o potęgowanie i negację Źle

żadne z powyższych Źle