Teorema de Savitch
En teoría de la complejidad computacional, el teorema de Savitch establece que:
Como corolario, se tiene que PSPACE = NPSPACE.
En teoría de la complejidad computacional, el teorema de Savitch establece que:
Como corolario, se tiene que PSPACE = NPSPACE.