Questions tagged «alternating-hierarchy»

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 …
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.