Ciencias de la Computación

18
Mostrar que un problema en X no es X-Complete

La teoría existencial de los Reales está en PSPACE , pero no sé si es PSPACE-Complete . Si creo que no es así, ¿cómo podría probarlo? De manera más general, dado un problema en cierta complejidad clase X , ¿cómo puedo demostrar que es no X-Completa ? Por ejemplo, X podría ser NP , PSPACE , EXPTIME...