Los problemas más difíciles en PSPACE son los del conjunto PSPACE-completo.