Jerarquía alterna del espacio
Gracias a Immerman y Szelepcsényi, se sabe que if (incluso para funciones construibles que no son espaciales).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) En el mismo documento, Immerman declara que la jerarquía alterna del espacio de...