Con un poco más de trabajo se puede demostrar que es PSPACE-completo.