2
空间交替层次
多亏了Immerman和Szelepcsényi知道，如果，（即使对于非空间可构造函数也是如此）。f = Ω （log ）N S P A C E（f）= c o N S P A C E（f）NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)F= Ω （对数）f=Ω(log)f=\Omega(\log) 在同一篇论文中，Immerman指出对数空间交替层次结构崩溃了，这意味着（有界交替图灵机的定义以及可以在Wikipedia上找到层次结构）。ΣĴS P A C E（对数）= N S P A C E（对数）ΣjSPACE(log)=NSPACE(log)\Sigma_j{\rm SPACE}(\log)={\rm NSPACE}(\log) 是否有关于的交替空间层次结构的文章 ？我上周问过Immerman，他不记得读过类似的东西。用英语，我想知道是否有任何书面证明，证明可以使用图灵机以交替来决定使用的任何语言，也可以由具有相同空间界限的不确定性图林机来决定。jF= Ω （对数）f=Ω(log)f=\Omega(\log)Ĵjj 我的问题确实是关于寻找参考，因为我想我已经找到了证明。但我想可能已经知道了。 也许我应该说明我认为的两个主要问题。首先，如果，假设，那么就不可能组成 TM来获得 TM，我们可以使用 TM 。其次，对于有一个论点，对于有一个论点，但函数仍然存在一些问题，既不是也不是。f = log 2 S P …