Hirarki ruang bergantian
Hal ini diketahui berkat Immerman dan Szelepcsényi bahwa jika f = Ω ( log ) (bahkan untuk fungsi yang dapat dibangun tanpa ruang).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Dalam makalah yang sama, Immerman menyatakan bahwa hierarki...