[论文解读] Min st-Cut Oracle for Planar Graphs with Near-Linear Preprocessing Time

Glencora Borradaile, Piotr Sankowski+1 more|arXiv (Cornell University)|Mar 5, 2010

Advanced Graph Theory Research参考文献 15被引用 10

一句话总结

本论文提出了首个针对无向平面图的最小st-割查询的亚二次时间算法，预处理时间为O(n log⁴n)，空间复杂度为O(n log n)，支持常数时间的查询响应。通过利用平面对偶性，并结合分层分隔符与top trees的新型FR-Dijkstra应用，该算法隐式构建了Gomory-Hu树，并隐式表示了最小圈基，其确定性性能可通过额外增加log²n的预处理时间因子实现。

ABSTRACT

For an undirected $n$-vertex planar graph $G$ with non-negative edge-weights, we consider the following type of query: given two vertices $s$ and $t$ in $G$, what is the weight of a min $st$-cut in $G$? We show how to answer such queries in constant time with $O(n\log^4n)$ preprocessing time and $O(n\log n)$ space. We use a Gomory-Hu tree to represent all the pairwise min cuts implicitly. Previously, no subquadratic time algorithm was known for this problem. Since all-pairs min cut and the minimum cycle basis are dual problems in planar graphs, we also obtain an implicit representation of a minimum cycle basis in $O(n\log^4n)$ time and $O(n\log n)$ space. Additionally, an explicit representation can be obtained in $O(C)$ time and space where $C$ is the size of the basis. These results require that shortest paths are unique. This can be guaranteed either by using randomization without overhead, or deterministically with an additional $\log^2 n$ factor in the preprocessing times.

研究动机与目标

• 设计一种针对平面图的最小st-割预言器，支持常数时间查询，且预处理时间亚二次。
• 在近乎线性的时间与空间内，通过Gomory-Hu树隐式表示所有点对之间的最小割。
• 利用平面对偶性，同时在近乎线性时间内解决最小圈基问题。
• 在假设最短路径唯一性的前提下，确保算法的正确性与效率，通过随机化或引入额外log²n的预处理时间开销实现确定性。

提出的方法

• 使用分层平面分隔符，指导未分离面之间分离圈的迭代构建。
• 应用Reif算法的修改版本以计算最小分离圈，依赖于通过FR-Dijkstra进行的最短路径计算。
• 使用Fakcharonphol与Rao的数据结构预计算距离，以支持平面图中高效的最短路径查询。
• 使用top trees维护并查询内部与外部密集距离图（intDDG与extDDG）中的字典序最短路径，以实现高效的路径比较。
• 自底向上在intDDG中构建字典序最短路径树，自顶向下在extDDG中构建，利用递归分解与O(log²n)时间每操作的路径比较。
• 使用等距圈的紧凑表示形式，并在路径表示上使用二分查找，以O(|C| + log³n)时间定位圈上的关键边。

实验结果

研究问题

• RQ1 是否可以在亚二次预处理时间内，实现平面图中最小st-割查询的常数时间响应？
• RQ2 是否可以在近乎线性时间内为平面图构建Gomory-Hu树？
• RQ3 是否可以利用平面对偶性与最小割数据结构，隐式表示最小圈基？
• RQ4 最短路径唯一性对算法正确性与效率有何影响？
• RQ5 是否可以不引入过高的时间开销，使算法实现确定性？

主要发现

• 论文在平面图中实现了O(n log⁴n)的预处理时间与O(n log n)的空间复杂度，支持O(1)查询时间的最小st-割预言器。
• 该算法隐式构建了Gomory-Hu树，从而在近乎线性时间内表示所有点对之间的最小割。
• 通过平面对偶性，同一数据结构也隐式表示了最小圈基，且显式基可在O(C)时间与空间内计算，其中C为基的大小。
• 该算法依赖于最短路径唯一性，可通过随机化实现无额外开销，或通过增加log²n的预处理时间因子实现确定性。
• 使用top trees与FR-Dijkstra可实现高效的路径比较与字典序最短路径树构建，每操作耗时O(log²n)，整体时间复杂度为O(n log⁴n)。
• 密集距离图（intDDG与extDDG）的递归分解确保了O(log n)的递归深度，从而支持高效分离圈的计算。