2
Hiérarchie alternative de l'espace
Il est connu grâce à Immerman et Szelepcsényi que si f = Ω ( log ) (même pour les fonctions constructibles non spatiales).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Dans le même article, Immerman déclare que la hiérarchie alternative de l'espace journal s'effondre, cela signifie que (la définition de la machine de turing alternée …