La qüestió de si la classe PSPACE no és igual a la classe EXPSPACE és un problema fonamental i no resolt en la teoria de la complexitat computacional. Per proporcionar una comprensió completa, és essencial tenir en compte les definicions, propietats i implicacions d'aquestes classes de complexitat, així com el context més ampli de la complexitat espacial. Definicions i Bàsiques