Pitanje da li klasa PSPACE nije jednaka klasi EXPSPACE je fundamentalni i neriješen problem u teoriji računske složenosti. Da bi se pružilo sveobuhvatno razumijevanje, bitno je razmotriti definicije, svojstva i implikacije ovih klasa složenosti, kao i širi kontekst kompleksnosti prostora. Definicije i osnovne