Lexikon der Mathematik: PSPACE
die Komplexitätsklasse aller Probleme, die sich von Turing-Maschinen mit polynomiell vielen Zellen auf dem Arbeitsband berechnen lassen.
Bei Verwendung von nichtdeterministischen Turing-Maschinen mit polynomiellem Speicherplatz ergibt sich ebenfalls die Komplexitätsklasse PSPACE. Diese Komplexitätsklasse enthält alle Klassen der polynomiellen Hierarchie.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.