关于非二义性在对数空间中的能力
摘要：NL vs UL问题中的进展报道 在此我们无条件地展示了复杂性类别$ ReachFewL \subseteq UL $。这改进了早先已知的上界$ ReachFewL \subset FewL $。 我们研究了最小唯一性的复杂性 - 这是研究NL vs UL问题的一个核心概念。我们展示了最小唯一性对于表明$ NL = UL $是必要且充分的。 我们重新考察了类别$ OptL[log n] $，并展示了{sc ShortestPathLength} -计算有向无环图中最短路径的长度，是完备的$ OptL[log n] $问题。 我们引入了$ UOptL[log n] $，即$ OptL[log n] $的一个无歧义版本，并展示了：(a)$ NL = UL $当且仅当$ OptL[log n] = UOptL[log n] $，(b)$ LogFew \leq UOptL[log n] \leq SPL $。 我们展示了在三页上嵌入的图的可达性问题是NL完备的。这与在两页上嵌入的图的可达性问题形成对比，后者在对应于可平面图的可达性问题中是对数空间等价的，因此在UL中。
作者：Aduri Pavan and Raghunath Tewari and N. V. Vinodchandran
论文ID：1001.2034
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-01-14