A Faster Algorithm for Maximum Flow in Directed Planar Graphs with Vertex Capacities

Authors Julian Enoch, Kyle Fox, Dor Mesica, Shay Mozes



PDF
Thumbnail PDF

File

LIPIcs.ISAAC.2021.72.pdf
  • Filesize: 0.84 MB
  • 16 pages

Document Identifiers

Author Details

Julian Enoch
  • Department of Computer Science, University of Texas at Dallas, TX, USA
Kyle Fox
  • Department of Computer Science, University of Texas at Dallas, TX, USA
Dor Mesica
  • Efi Arazi School of Computer Science, The Interdisciplinary Center Herzliya, Israel
Shay Mozes
  • Efi Arazi School of Computer Science, The Interdisciplinary Center Herzliya, Israel

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

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)
    0
    PDF Downloads

References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail