Se conjetura que exista un conjunto de problemas que sean PSPACE-completo.