2
スペース交互階層
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) 同じ論文で、Immerman状態ログ・スペース交互階層崩壊、この手段は、そのこと（有界交互の定義はチューリングマシンとは何かの階層はウィキペディアにあります）。ΣjSPACE(log)=NSPACE(log)ΣjSPACE(log)=NSPACE(log)\Sigma_j{\rm SPACE}(\log)={\rm NSPACE}(\log) の交互空間階層に関する論文はあり ますか？私は先週、そのようなことを読んだことを覚えていないイマーマンに尋ねました。英語では、j個の代替を持つチューリングマシンで決定できる言語を使用すると、同じスペースバウンドの非決定論的なチューリングマシンでも決定できるという書面による証拠があるかどうかを知りたいと思います。f=Ω(log)f=Ω(log)f=\Omega(\log)jjj 証拠を見つけたと思うので、私の質問は本当に参照を見つけることです。しかし、私はそれがすでに知られているかもしれないと思います。 たぶん、2つの主な問題だと思うことを述べるべきです。まずあれば、LETだと言うのF = ログ2は、に構成することは不可能であるS P A C E （F ）取得にTM S P A C E （F ）我々が行うことができTMを、L O G S P A C E TM。第二に、ケースf = O （n ）には1つの引数がありますf=O(n)f=O(n)f=O(n)f=log2f=log2f=\log^2SPACE(f)SPACE(f)SPACE(f)SPACE(f)SPACE(f)SPACE(f)LOGSPACELOGSPACE\rm{LOGSPACE}f=O(n)f=O(n)f=O(n)そしてための1つですが、機能に関してはO （n ）でもΩ （n ）でもない問題がまだあります。f=Ω(n)f=Ω(n)f=\Omega(n)O(n)O(n)O(n)Ω(n)Ω(n)\Omega(n)