[论文解读] Min-Cost Flow Duality in Planar Networks

Haim Kaplan, Yahav Nussbaum|arXiv (Cornell University)|Jun 28, 2013

Advanced Graph Theory Research参考文献 16被引用 4

一句话总结

本文提出了一种用于平面网络中最小费用最大流问题的新型对偶变换，利用平面图的几何对偶性与线性规划对偶性，将原问题转化为其对偶图上的等价最小费用最大流问题。关键贡献在于提出了一种 $O(n/\log^2 n)$ 时间复杂度的算法，用于外平面网络中的最小费用最大流问题，该方法通过利用对偶图的结构简单性以及动态树数据结构实现高效的流增广。

ABSTRACT

In this paper we study the min-cost flow problem in planar networks. We start with the min-cost flow problem and apply two transformations, one is based on geometric duality of planar graphs and the other on linear programming duality. The result is a min-cost flow problem in a related planar network whose balance constraints are defined by the costs of the original problem and whose costs are defined by the capacities of the original problem. We use this transformation to show an O(n log^2 n) time algorithm for the min-cost flow problem in an n-vertex outerplanar network.

研究动机与目标

• 通过利用平面图的几何对偶性与线性规划对偶性，开发一种基于对偶性的最小费用最大流问题变换方法，适用于平面网络。
• 利用外平面图及其对偶图的结构特性，设计一种更高效的最小费用最大流算法。
• 在外部平面网络中实现 $O(n\log^2 n)$ 的时间复杂度，优于先前的算法界限。

提出的方法

• 利用平面图对偶性，将原始最小费用最大流问题转化为其几何对偶图上的对偶问题。
• 在线性规划对偶性框架下处理对偶问题，交换原始网络与对偶网络中成本与容量的角色。
• 通过可能的弧复制与方向反转，构建对偶网络，其中原始成本定义为平衡约束，原始容量定义为成本。
• 使用动态树（Sleator-Tarjan 与欧拉路径树）高效维护并更新流路径与成本。
• 维护一个活跃树 $\hat{T}$，其中包含从超额顶点到根的最小费用路径，动态更新容量与成本。
• 通过路径最小容量与路径成本查询，沿最小费用路径执行流推送，隐式更新以保持最优性，并检测负费用环或不可行性。

实验结果

研究问题

• RQ1 是否能够通过几何对偶性与线性规划对偶性，将平面最小费用最大流问题转化为等价的对偶问题，从而支持更高效的算法？
• RQ2 如何利用外平面图的对偶结构，实现最小费用最大流问题时间复杂度的进一步优化？
• RQ3 哪些动态数据结构能够高效支持对偶网络中流增广与成本更新，同时保持最优性？
• RQ4 在何种条件下，该算法能够检测原始网络中的不可行性或负费用环？
• RQ5 是否能够通过利用对偶性与动态树，实现外平面网络中最小费用最大流问题的 $O(n\log^2 n)$ 时间复杂度？

主要发现

• 本文建立了对偶变换，将平面网络中的最小费用最大流问题映射为对偶平面网络中的等价最小费用最大流问题，且成本与容量角色互换。
• 对偶问题保持了平面性，且由于外平面图对偶图的结构简单，可被高效地用于算法设计。
• 在外部平面网络中，实现了 $O(n\log^2 n)$ 时间复杂度的最小费用最大流算法，优于以往通用算法的性能。
• 该算法使用动态树维护并更新最小费用路径与容量，每次操作时间复杂度为 $O(\log n)$。
• 通过追踪承载 $nU+1$ 单位流量的弧，检测负费用环，该现象仅在存在负费用环时发生。
• 当所有源点的副本均与活跃树断开连接，但仍有超额流量时，判定为不可行，表明不存在可行解。