== Probleme in PSPACE == Es existieren viele Probleme in PSPACE, auf die sich alle anderen PSPACE-Probleme in Polynomialzeit reduzieren lassen. Von diesen so genannten PSPACE-vollständigen Problemen wird angenommen, dass sie nicht in NP liegen. Das kanonische PSPACE-vollständige Problem ist das Erfüllbarkeitsproblem für quantifizierte boolesch...