Пространственная переменная иерархия
Благодаря Immerman и Szelepcsényi известно, что если f = Ω ( log ) (даже для непространственных конструктивных функций).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) В той же статье Иммерман заявляет, что переменная иерархия пространства...