[论文解读] On the Power of Unambiguity in Logspace

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

Advanced Graph Theory Research被引用 5

一句话总结

该论文通过证明 $\text{ReachFewL} \rightarrow \text{UL} \cap \text{coUL}$，确立了最小唯一性作为 $L = \text{UL}$ 的必要且充分条件，并表明三页图可达性是 $L$-完全的，从而推进了 $L$ 与 $\text{UL}$ 之间的难题。论文引入了 $\text{OptL}[\log n]$，并建立了 $L = \text{UL}$ 与 $\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.

研究动机与目标

• 解决一个基本问题：非确定性对数空间计算是否可以被转化为非歧义的（即 $\text{NL} = \text{NU}\text{L}$）。
• 研究最小唯一性在实现对数空间非歧义性中的作用。
• 澄清 $\text{OptL}[\log n]$ 与其非歧义对应类 $\text{uAaAaOptL}[\log n]$ 之间的关系。
• 确定嵌入在三页上的图中可达性的复杂性，与两页和平面图情形进行对比。
• 通过证明 $\text{ReachFewL} \subseteq \text{UL} \cap \text{coUL}$，改进可达性少数机器的上界。

提出的方法

• 将 $\text{ReachFewL}$ 定义为 $\FewL$ 的一个限制，其中任意配置的路径数量被多项式有界。
• 通过使用新的路径计数技术，借助 $\text{UL} \cap \text{coUL}$ 或acles，证明 $\text{ReachFewL} \subseteq \text{UL} \cap \text{coUL}$。
• 将 $\text{uAaAaOptL}[\log n]$ 定义为 $\text{OptL}[\log n]$ 的非歧义版本，即计算有向无环图中最短路径长度的问题类。
• 构建从任意 $\text{NL}$-完全问题到三页可达性的对数空间归约，证明 $\text{Reach3Page}$ 是 $\text{NL}$-完全的。
• 通过结构和完备性论证，确立最小唯一性是 $\text{NL} = \text{NU}\text{L}$ 的必要且充分条件。
• 重新审视 $\text{OptL}[\log n]$，并证明在有向无环图中计算最短路径长度是该类的完备问题。

实验结果

研究问题

• RQ1 $\text{ReachFewL}$ 是否包含于 $\text{UL}$ 中？如果是，能否无条件地证明这一点？
• RQ2 最小唯一性是否既是 $\text{NL} = \text{NU}\text{L}$ 的必要条件也是充分条件？
• RQ3 $\text{NL} = \text{NU}\text{L}$ 成立当且仅当 $\text{OptL}[\log n] = \text{uAaAaOptL}[\log n]$ 吗？
• RQ4 与两页图或平面图相比，嵌入在三页上的图中可达性的复杂性如何？
• RQ5 $\text{ReachFewL}$ 中的路径计数机制能否仅通过 $\text{UL} \cap \text{coUL}$ 或acles 模拟？

主要发现

• 类 $\text{ReachFewL}$ 无条件地包含于 $\text{UL} \cap \text{coUL}$ 中，优于此前对 $\FewL$ 的上界。
• 最小唯一性是 $\text{NL} = \text{NU}\text{L}$ 的必要且充分条件，确立了该等式的一个核心结构性条件。
• $\text{Reach3Page}$ 是 $\text{NL}$-完全的，与两页可达性的 $\text{UL}$-完全性形成鲜明对比。
• 在有向无环图中计算最短路径长度的问题是 $\text{OptL}[\log n]$ 的完备问题，确认了其在对数空间优化中的核心地位。
• $\text{NL} = \text{NU}\text{L}$ 成立当且仅当 $\text{OptL}[\log n] = \text{uAaAaOptL}[\log n]$，将主要猜想与优化类联系起来。
• $\text{uAaAaOptL}[\log n]$ 位于 $\text{LogFew}$ 与 $\text{SPL}$ 之间，为对数空间优化提供了一个新的层次结构。