LIPIcs.ISAAC.2021.72.pdf
- Filesize: 0.84 MB
- 16 pages
Document
A Faster Algorithm for Maximum Flow in Directed Planar Graphs with Vertex Capacities
Authors
Shay Mozes 
-
Part of:
Volume:
32nd International Symposium on Algorithms and Computation (ISAAC 2021)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Symposium on Algorithms and Computation (ISAAC) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2021-11-30
File
Document Identifiers
Author Details
Cite AsGet BibTex
Julian Enoch, Kyle Fox, Dor Mesica, and Shay Mozes. A Faster Algorithm for Maximum Flow in Directed Planar Graphs with Vertex Capacities. In 32nd International Symposium on Algorithms and Computation (ISAAC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 212, pp. 72:1-72:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.ISAAC.2021.72
https://doi.org/10.4230/LIPIcs.ISAAC.2021.72
Abstract
We give an O(k³ Δ n log n min(k, log² n) log²(nC))-time algorithm for computing maximum integer flows in planar graphs with integer arc and vertex capacities bounded by C, and k sources and sinks. This improves by a factor of max(k²,k log² n) over the fastest algorithm previously known for this problem [Wang, SODA 2019].
The speedup is obtained by two independent ideas. First we replace an iterative procedure of Wang that uses O(k) invocations of an O(k³ n log³ n)-time algorithm for maximum flow algorithm in a planar graph with k apices [Borradaile et al., FOCS 2012, SICOMP 2017], by an alternative procedure that only makes one invocation of the algorithm of Borradaile et al. Second, we show two alternatives for computing flows in the k-apex graphs that arise in our modification of Wang’s procedure faster than the algorithm of Borradaile et al. In doing so, we introduce and analyze a sequential implementation of the parallel highest-distance push-relabel algorithm of Goldberg and Tarjan [JACM 1988].
Subject Classification
ACM Subject Classification
- Theory of computation → Network flows
Keywords
- flow
- planar graphs
- vertex capacities
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Glencora Borradaile and Philip N. Klein. An O(n log n) algorithm for maximum st-flow in a directed planar graph. J. ACM, 56(2):9:1-9:30, 2009. URL: https://doi.org/10.1145/1502793.1502798.
- Glencora Borradaile, Philip N. Klein, Shay Mozes, Yahav Nussbaum, and Christian Wulff-Nilsen. Multiple-source multiple-sink maximum flow in directed planar graphs in near-linear time. SIAM J. Comput., 46(4):1280-1303, 2017. URL: https://doi.org/10.1137/15M1042929.
- Joseph Cheriyan and S. N. Maheshwari. Analysis of preflow push algorithms for maximum network flow. SIAM J. Comput., 18(6):1057-1086, 1989. URL: https://doi.org/10.1137/0218072.
- Andrew V. Goldberg and Robert Endre Tarjan. A new approach to the maximum-flow problem. J. ACM, 35(4):921-940, 1988. URL: https://doi.org/10.1145/48014.61051.
- Monika Rauch Henzinger, Philip N. Klein, Satish Rao, and Sairam Subramanian. Faster shortest-path algorithms for planar graphs. J. Comput. Syst. Sci., 55(1):3-23, 1997. URL: https://doi.org/10.1006/jcss.1997.1493.
- Jan M. Hochstein and Karsten Weihe. Maximum s-t-flow with k crossings in O(k^3n log n) time. In Nikhil Bansal, Kirk Pruhs, and Clifford Stein, editors, Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007, New Orleans, Louisiana, USA, January 7-9, 2007, pages 843-847. SIAM, 2007. URL: http://dl.acm.org/citation.cfm?id=1283383.1283473.
- Haim Kaplan and Yahav Nussbaum. Maximum flow in directed planar graphs with vertex capacities. Algorithmica, 61(1):174-189, 2011. URL: https://doi.org/10.1007/s00453-010-9436-7.
- Tarun Kathuria, Yang P. Liu, and Aaron Sidford. Unit capacity maxflow in almost O(m^4/3) time. In 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020, Durham, NC, USA, November 16-19, 2020, pages 119-130. IEEE, 2020. URL: https://doi.org/10.1109/FOCS46700.2020.00020.
- Samir Khuller and Joseph Naor. Flow in planar graphs with vertex capacities. Algorithmica, 11(3):200-225, 1994. URL: https://doi.org/10.1007/BF01240733.
- Gary L. Miller and Joseph Naor. Flow in planar graphs with multiple sources and sinks. SIAM J. Comput., 24(5):1002-1017, 1995. URL: https://doi.org/10.1137/S0097539789162997.
- James B. Orlin. Max flows in O(nm) time, or better. In Dan Boneh, Tim Roughgarden, and Joan Feigenbaum, editors, Symposium on Theory of Computing Conference, STOC'13, Palo Alto, CA, USA, June 1-4, 2013, pages 765-774. ACM, 2013. URL: https://doi.org/10.1145/2488608.2488705.
- Daniel Dominic Sleator and Robert Endre Tarjan. A data structure for dynamic trees. J. Comput. Syst. Sci., 26(3):362-391, 1983. URL: https://doi.org/10.1016/0022-0000(83)90006-5.
- Yipu Wang. Maximum integer flows in directed planar graphs with vertex capacities and multiple sources and sinks. In Timothy M. Chan, editor, Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2019, San Diego, California, USA, January 6-9, 2019, pages 554-568. SIAM, 2019. URL: https://doi.org/10.1137/1.9781611975482.35.
- Xianchao Zhang, Weifa Liang, and Guoliang Chen. Computing maximum flows in undirected planar networks with both edge and vertex capacities. In Xiaodong Hu and Jie Wang, editors, Computing and Combinatorics, 14th Annual International Conference, COCOON 2008, Dalian, China, June 27-29, 2008, Proceedings, volume 5092 of Lecture Notes in Computer Science, pages 577-586. Springer, 2008. URL: https://doi.org/10.1007/978-3-540-69733-6_57.