Nella teoria della complessità computazionale, la classe di problemi PSPACE, che sta per polynomial space, è l'insieme di tutti i problemi che possono essere risolti da una macchina di Turing deterministica usando una quantità di memoria di O {\displaystyle O}, dove n {\displaystyle n} è la dimensione dei dati di input e k {\displaystyle k} è un qualsiasi valore finito. Wikipedia