A continuación se exponen algunos problemas con esbozos de algoritmos que muestran que pertenecen a PSPACE.