Esto lo coloca en una clase de complejidad importante, PSPACE.