[论文解读] Minimum Cut of Directed Planar Graphs in O(nloglogn) Time

Shay Mozes, Cyril Nikolaev+2 more|arXiv (Cornell University)|Dec 7, 2015

Complexity and Algorithms in Graphs参考文献 8被引用 3

一句话总结

本文提出了一种在加权有向平面图中计算最小割的 O(n log log n) 时间算法，通过新颖地适配 CFN 递归分隔框架，并利用一种令人惊讶的对偶性：当最小 st-割同时也是全局最小割时，基于最短路径的最小 st-割算法在有向情形下依然有效。关键贡献在于首次实现了有向平面图最小割的亚二次改进，使其速度优于当前的 O(n log n) 最小 st-割算法。

ABSTRACT

We give an $O(n \log \log n)$ time algorithm for computing the minimum cut (or equivalently, the shortest cycle) of a weighted directed planar graph. This improves the previous fastest $O(n\log^3 n)$ solution. Interestingly, while in undirected planar graphs both min-cut and min $st$-cut have $O(n \log \log n)$ solutions, in directed planar graphs our result makes min-cut faster than min $st$-cut, which currently requires $O(n \log n)$.

研究动机与目标

• 为缩小有向平面图中最小割与最小 st-割之间的性能差距（此前最小 st-割更快）而努力。
• 为计算加权有向平面图中的最小割开发一种高效算法。
• 利用有向平面图中的一种结构对偶性：当最小 st-割也是全局最小割时，基于最短路径的最小 st-割算法在有向情形下有效。
• 实现 O(n log log n) 的时间复杂度，与目前已知的无向平面图最小割最优界一致。
• 将该方法推广至有界亏格曲面上的图，为最短圈检测提供近乎最优的算法。

提出的方法

• 通过在每个递归步骤同时计算最小 st-割与最小 ts-割，将无向图中的 CFN 递归分隔框架适配到有向平面图中。
• 利用一个关键洞察：若最小 st-割同时也是全局最小割，则基于最短路径的最小 st-割算法在有向情形下仍能正确运行。
• 基于对偶图中的最短路径分隔符，采用分治策略，并通过嵌入路径维护穿越孔洞的交叉奇偶性信息。
• 构建一个递归图，其结构与对偶距离分解图（DDG）相匹配，保留嵌入结构与路径的交叉奇偶性，以实现高效的子图划分。
• 使用动态数据结构维护最短路径信息，并在递归过程中支持高效查询。
• 通过使用贪心环系或平面化集合，将算法推广至亏格 g 的曲面上的图，结合平面与非平面圈检测。

实验结果

研究问题

• RQ1 基于最短路径的最小 st-割算法是否可在特定结构条件下适配到有向平面图中？
• RQ2 为何当前的 O(n log n) 最小 st-割算法在有向平面图中仍比最小割更快？这一差距能否被消除？
• RQ3 能否利用递归分隔技术在 O(n log log n) 时间内求解有向平面图中的最小割？
• RQ4 是否可以利用平面图中最小割与最短圈之间的对偶性，更高效地解决有向情形下的最小割问题？
• RQ5 如何将最短圈检测算法扩展至嵌入在有界亏格曲面上的图？

主要发现

• 本文实现了在加权有向平面图中计算最小割的 O(n log log n) 时间算法，显著优于先前的 O(n log³n) 上限。
• 该算法利用了一个此前被忽视的结构特性：当最小 st-割同时也是全局最小割时，基于最短路径的最小 st-割算法在有向情形下依然正确。
• 通过在每个递归层级同时计算最小 st-割与最小 ts-割，将无向图中 CFN 算法的递归框架适配到有向情形。
• 该算法维护一个递归图，保留路径穿越孔洞时的嵌入结构与交叉奇偶性，从而实现子图的线性时间划分。
• 对于亏格为 g 的曲面上的图，本文提出了两种算法：一种以高概率运行时间为 O(g²n log n)，另一种在最坏情况下为 O(gn log²n)。
• 结果表明，有向平面图中的最小割现在可以比最小 st-割更快求解，逆转了此前的性能层级。