[论文解读] Longest paths in Planar DAGs in Unambiguous Logspace

Nutan Limaye, Meena Mahajan+1 more|ArXiv.org|Feb 12, 2008

Advanced Graph Theory Research参考文献 14被引用 7

一句话总结

本文证明，在平面有向无环图（DAG）中寻找最长路径的问题属于不确定对数空间（UL）及其补集（co-UL），并使用两种不同的算法实现。关键贡献在于证明了平面DAG的最长路径问题（Long-Path）属于UL ∩ co-UL，其复杂度界与该类图中可达性和距离问题的最优已知界一致，并通过对数空间归约将结果推广至环面DAG。

ABSTRACT

We show via two different algorithms that finding the length of the longest path in planar directed acyclic graph (DAG) is in unambiguous logspace UL, and also in the complement class co-UL. The result extends to toroidal DAGs as well.

研究动机与目标

• 确定平面有向无环图（DAG）中最长路径问题的计算复杂度。
• 建立平面DAG的最长路径问题属于UL ∩ co-UL，其复杂度界与该类图中可达性（Reach）和距离（Distance）问题的最优已知界一致。
• 通过平面可达性到对数空间的归约，将结果推广至环面DAG。
• 探讨在受限DAG子类中，可达性、距离与最长路径之间的等价性，特别是在线性唯一性（max-uniqueness）条件下。

提出的方法

• 通过一种反转路径长度顺序的变换，将最长路径问题归约至单源单汇平面DAG中的距离问题。
• 构造一个新图G′，其中每条边被替换为一条路径，其长度由顶点u所定义的割所跨越的顶点的出度决定。
• 利用变换后路径总长度为2|E| − |ρ|的事实，使得G中的最长路径映射为G′中的最短路径，从而实现归约。
• 采用一种不确定对数空间过程，猜测从每个顶点到汇点的最长路径长度总和。
• 引入最大唯一性假设以确保计算的唯一性：对于每对顶点，最长路径唯一。
• 通过迭代更新集合Sk = {v | D(v) ≥ k}及其关联计数ck和总和Σk，无歧义地追踪路径长度。

实验结果

研究问题

• RQ1 鉴于可达性和距离问题在该类图中属于UL，平面DAG的最长路径问题是否也属于UL ∩ co-UL？
• RQ2 能否通过一种对数空间可计算的变换，将平面DAG中的最长路径问题归约至距离问题？
• RQ3 最长路径的不确定对数空间算法是否依赖于最长路径具有最大唯一性的结构性假设？
• RQ4 在平面DAG中，距离与最长路径是否在与串联-并联图中相同的复杂度界下等价？
• RQ5 能否通过从平面可达性出发的对数空间归约，将环面DAG中最长路径的复杂度界限定为与平面DAG相当？

主要发现

• 平面DAG的最长路径问题属于UL ∩ co-UL，其复杂度与该类图中可达性和距离问题的复杂度一致。
• 可通过一种对数空间可计算的变换，将平面DAG中的最长路径问题归约至距离问题，该变换反转了路径长度顺序。
• 该变换将G中每条s→t路径（长度为|ρ|）映射为G′中长度为2|E| − |ρ|的路径，确保G中的最长路径在G′中变为最短路径。
• 在最大唯一性假设下，构造了一种不确定对数空间算法来求解最长路径，通过迭代更新集合Sk及其关联计数ck和总和Σk实现。
• 该算法正确且唯一：当总和M被正确猜测时，仅存在一条计算路径可导致接受。
• 通过从平面可达性出发的对数空间归约，该结果可推广至环面DAG，表明环面DAG中的距离与最长路径问题的复杂度不高于平面DAG中的复杂度。