2
Gerarchia alternata nello spazio
È noto grazie a Immerman e Szelepcsényi che se f = Ω ( log ) (anche per funzioni non spaziali costruibili).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Nello stesso documento, Immerman afferma che la gerarchia alternata dello spazio dei registri collassa, ciò significa che (la definizione della turing machine alternata limitata e di ciò …