Raum wechselnde Hierarchie
Dank Immerman und Szelepcsényi ist bekannt, dass wenn f = Ω ( log ) (auch für nicht raumkonstruierbare Funktionen).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) In der gleichen Arbeit, Immerman Zustand , dass die logspace Wechselhierarchie...