する

それはのために知られています $f(n) \geq \log n$、 $\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n))$。

仮に $f(n)<\log n$？それらも等しいですか？

Immerman–Szelepcsényiの定理は、対数簡約で機能します。blogarithmicスペースクラスには、さまざまな削減があります。サブ対数空間内で動作するTM は、入力の長さを記録することさえできません。Ω（log log n）-o（log n）の任意の対数境界の空間階層は無限であることが示されています。次の参考文献で見つけることができます。

V.ゲファート。blogarithmicσ2-spaceは、補数およびその他の分離結果の下で閉じられていません。Theoretical Informatics and Applications、27：349–366、1993。

M.LiśkiewiczおよびR. Reischuk。下位対数空間階層の下位レベルを分離します。コンピュータサイエンスの理論的側面に関するシンポジウムの議事録、1993年6〜27ページ。

B.フォンブラウンミュール「対数空間を持つ双方向マシンの代替」。コンピュータサイエンスの理論的側面に関するシンポジウムの議事録、1993年5〜15ページ。

M.LiśkiewiczとR. Reischukによる対数空間の下の紙の複雑さの世界には、対数空間の優れたまとめが含まれています。