[論文レビュー] On the Power of Unambiguity in Logspace

A. Pavan, Raghunath Tewari+1 more|arXiv (Cornell University)|Jan 12, 2010

Advanced Graph Theory Research被引用数 5

ひとこと要約

この論文は、$L$ 対 $UL$ 問題を進展させ、$\text{ReachFewL} \rightarrow UL \cap \text{coUL}$ を証明し、$L = \nU\text{L}$ に対して最小性の一意性が必要十分であることを確立し、3ページグラフの到達可能性が $L$-完全であることを示している。また、$\text{OptL}[\log n]$ を導入し、$L = \nU\text{L}$ と $\text{OptL}[\log n]$ 及びその非一意的変種との等価性を結びつけている。

ABSTRACT

We report progress on the \NL vs \UL problem. [-] We show unconditionally that the complexity class $\ReachFewL\subseteq\UL$. This improves on the earlier known upper bound $\ReachFewL \subseteq \FewL$. [-] We investigate the complexity of min-uniqueness - a central notion in studying the \NL vs \UL problem. We show that min-uniqueness is necessary and sufficient for showing $\NL =\UL$. We revisit the class $\OptL[\log n]$ and show that {\sc ShortestPathLength} - computing the length of the shortest path in a DAG, is complete for $\OptL[\log n]$. We introduce $\UOptL[\log n]$, an unambiguous version of $\OptL[\log n]$, and show that (a) $\NL =\UL$ if and only if $\OptL[\log n] = \UOptL[\log n]$, (b) $\LogFew \leq \UOptL[\log n] \leq \SPL$. [-] We show that the reachability problem over graphs embedded on 3 pages is complete for \NL. This contrasts with the reachability problem over graphs embedded on 2 pages which is logspace equivalent to the reachability problem in planar graphs and hence is in \UL.

研究の動機と目的

• 非決定的対数空間計算が一意的に行えるかどうか（$\nL = \nU\text{L}$）という根本的問題を解決すること。
• 対数空間における一意性を達成するための最小性の一意性の役割を調査すること。
• $\text{OptL}[\log n]$ とその非一意的対応物 $\uAaAaOptL[\log n]$ の関係を明確にすること。
• 3ページに埋め込まれたグラフにおける到達可能性の複雑さを、2ページおよび平面グラフの場合と対比して特定すること。
• 到達少数マシンの上界を改善し、$\text{ReachFewL} \subseteq \text{UL} \cap \text{coUL}$ を示すこと。

提案手法

• $\text{ReachFewL}$ を $\FewL$ の制限として導入し、任意のコンフィギュレーションへのパス数が多項式的に有界であることを仮定する。
• $\text{UL} \cap \text{coUL}$ のオラクルを用いた新しいパス数数え上げ技術を用い、$\text{ReachFewL} \subseteq \text{UL} \cap \text{coUL}$ を示す。
• $\text{OptL}[\log n]$ の非一意的版である $\uAaAaOptL[\log n]$ を定義し、DAGにおける最短パス長を計算する問題のクラスを表す。
• 任意の $\nL$-完全問題から3ページ到達可能性への対数空間還元を構築し、$\text{Reach}\text{3Page}$ が $\nL$-完全であることを証明する。
• 構造的および完全性の議論を通じて、最小性の一意性が $\nL = \nU\text{L}$ に対して必要十分であることを確立する。
• $\text{OptL}[\log n]$ を再考し、DAGにおける最短パス長の計算がこのクラスに完全であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 $\text{ReachFewL}$ は $\text{UL}$ に含まれるか？ もしそうなら、これは非条件的に示せるか？
• RQ2 最小性の一意性は $\nL = \nU\text{L}$ に対して必要かつ十分か？
• RQ3 $\nL = \nU\text{L}$ が成り立つのは $\text{OptL}[\log n] = \uAaAaOptL[\log n]$ のときのみか？
• RQ4 2ページまたは平面グラフと比較して、3ページに埋め込まれたグラフにおける到達可能性の複雑さは何か？
• RQ5 $\text{ReachFewL}$ のパス数え上げ機構は、$\text{UL} \cap \text{coUL}$ のオラクルのみを用いてシミュレート可能か？

主な発見

• $\text{ReachFewL}$ は非条件的に $\text{UL} \cap \text{coUL}$ に含まれる。これは、以前の上界 $\FewL$ よりも改善されたものである。
• 最小性の一意性は $\nL = \nU\text{L}$ に対して必要かつ十分である。これは、等式を達成するための中心的な構造的条件を確立する。
• $\text{Reach}\text{3Page}$ は $\nL$-完全である。これは、2ページ到達可能性が $\text{UL}$-完全であるのと対照的である。
• DAGにおける最短パス長の計算問題は $\text{OptL}[\log n]$ に完全である。これは、そのクラスが対数空間最適化において中心的役割を果たすことを確認する。
• $\nL = \nU\text{L}$ が成り立つのは $\text{OptL}[\log n] = \uAaAaOptL[\log n]$ のときのみである。これは、主な予想と最適化クラスを結びつける。
• $\uAaAaOptL[\log n]$ は $\text{LogFew}$ と $\text{SPL}$ の間に位置し、対数空間最適化における新たな階層を提供する。