Multiple source, single sink maximum flow in a planar graph

Glencora Borradaile,Christian Wulff-Nilsen

DOI: https://doi.org/10.48550/arXiv.1008.4966

2010-08-30

Abstract:We give an $O(n^{1.5}\log n)$ time algorithm for finding the maximum flow in a directed planar graph with multiple sources and a single sink. The techniques generalize to a subquadratic time algorithm for bounded genus graphs.

Discrete Mathematics,Data Structures and Algorithms

What problem does this paper attempt to address?

Multiple-Source Multiple-Sink Maximum Flow in Directed Planar Graphs in $O(n^{1.5} \log n)$ Time

Shay Mozes

DOI: https://doi.org/10.48550/arXiv.1012.5870

IF: 0.961

2010-12-29

Discrete Mathematics

Abstract:We give an $O(n^{1.5} \log n)$ algorithm that, given a directed planar graph with arc capacities, a set of source nodes and a set of sink nodes, finds a maximum flow from the sources to the sinks.
Multiple-source multiple-sink maximum flow in planar graphs

Yahav Nussbaum

DOI: https://doi.org/10.48550/arXiv.1012.4767

IF: 0.961

2010-12-21

Discrete Mathematics

Abstract:In this paper we show an O(n^(3/2) log^2 n) time algorithm for finding a maximum flow in a planar graph with multiple sources and multiple sinks. This is the fastest algorithm whose running time depends only on the number of vertices in the graph. For general (non-planar) graphs the multiple-source multiple-sink version of the maximum flow problem is as difficult as the standard single-source single-sink version. However, the standard reduction does not preserve the planarity of the graph, and it is not known how to generalize existing maximum flow algorithms for planar graphs to the multiple-source multiple-sink maximum flow problem.
Faster Algorithm for Maximum Flow in Directed Planar Graphs with Vertex Capacities

Julian Enoch,Kyle Fox,Dor Mesica,Shay Mozes

DOI: https://doi.org/10.48550/arXiv.2101.11300

2021-01-27

Data Structures and Algorithms

Abstract:We give an $O(k^3 n \log n \min(k,\log^2 n) \log^2(nC))$-time algorithm for computing maximum integer flows in planar graphs with integer arc {\em and vertex} capacities bounded by $C$, and $k$ sources and sinks. This improves by a factor of $\max(k^2,k\log^2 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^3 n \log^3 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].
Finding All Useless Arcs in Directed Planar Graphs

Jittat Fakcharoenphol,Bundit Laekhanukit,Pattara Sukprasert

DOI: https://doi.org/10.48550/arXiv.1702.04786

2018-05-08

Abstract:We present a linear-time algorithm for simplifying flow networks on directed planar graphs: Given a directed planar graph on $n$ vertices, a source vertex $s$ and a sink vertex $t$, our algorithm removes all the arcs that do not participate in any simple $s,t$-path in linear-time. The output graph produced by our algorithm satisfies the prerequisite needed by the $O(n\log n)$-time algorithm of Weihe [FOCS'94 \& JCSS'97] for computing maximum $s,t$-flow in directed planar graphs. Previously, Weihe's algorithm could not run in $O(n\log n)$-time due to the absence of the preprocessing step; all the preceding algorithms run in $\tilde{\Omega}(n^2)$-time [Misiolek-Chen, COCOON'05 \& IPL'06; Biedl, Brejov{á} and Vinar, MFCS'00]. Consequently, this provides an alternative $O(n\log n)$-time algorithm for computing maximum $s,t$-flow in directed planar graphs in addition to the known $O(n\log n)$-time algorithms [Borradaile-Klein, SODA'06 \& <a class="link-external link-http" href="http://J.ACM" rel="external noopener nofollow">this http URL</a>'09; Erickson, SODA'10]. Our algorithm can be seen as a (truly) linear-time $s,t$-flow sparsifier for directed planar graphs, which runs faster than any maximum $s,t$-flow algorithm (which can also be seen of as a sparsifier). The simplified structures of the resulting graph might be useful in future developments of maximum $s,t$-flow algorithms in both directed and undirected planar graphs.

Data Structures and Algorithms
Maximum Flow by Augmenting Paths in $n^{2+o(1)}$ Time

Aaron Bernstein,Joakim Blikstad,Thatchaphol Saranurak,Ta-Wei Tu

2024-06-06

Abstract:We present a combinatorial algorithm for computing exact maximum flows in directed graphs with $n$ vertices and edge capacities from $\{1,\dots,U\}$ in $n^{2+o(1)}\log U$ time, which is almost optimal in dense graphs. Our algorithm is a novel implementation of the classical augmenting-path framework; we list augmenting paths more efficiently using a new variant of the push-relabel algorithm that uses additional edge weights to guide the algorithm, and we derive the edge weights by constructing a directed expander hierarchy. Even in unit-capacity graphs, this breaks the long-standing $O(m\cdot\min\{\sqrt{m},n^{2/3}\})$ time bound of the previous combinatorial algorithms by Karzanov (1973) and Even and Tarjan (1975) when the graph has $m=\omega(n^{4/3})$ edges. Notably, our approach does not rely on continuous optimization nor heavy dynamic graph data structures, both of which are crucial in the recent developments that led to the almost-linear time algorithm by Chen et al. (FOCS 2022). Our running time also matches the $n^{2+o(1)}$ time bound of the independent combinatorial algorithm by Chuzhoy and Khanna (STOC 2024) for computing the maximum bipartite matching, a special case of maximum flow.

Data Structures and Algorithms
Distributed Maximum Flow in Planar Graphs

Yaseen Abd-Elhaleem,Michal Dory,Merav Parter,Oren Weimann

2024-11-19

Abstract:The dual of a planar graph $G$ is a planar graph $G^*$ that has a vertex for each face of $G$ and an edge for each pair of adjacent faces of $G$. The profound relationship between a planar graph and its dual has been the algorithmic basis for solving numerous (centralized) classical problems on planar graphs. In the distributed setting however, the only use of planar duality is for finding a recursive decomposition of $G$ [DISC 2017, STOC 2019]. We extend the distributed algorithmic toolkit to work on the dual graph $G^*$. These tools can then facilitate various algorithms on $G$ by solving a suitable dual problem on $G^*$. Given a directed planar graph $G$ with positive and negative edge-lengths and hop-diameter $D$, our key result is an $\tilde{O}(D^2)$-round algorithm for Single Source Shortest Paths on $G^*$, which then implies an $\tilde{O}(D^2)$-round algorithm for Maximum $st$-Flow on $G$. Prior to our work, no $\tilde{O}(\text{poly}(D))$-round algorithm was known for Maximum $st$-Flow. We further obtain a $D\cdot n^{o(1)}$-rounds $(1-\epsilon)$-approximation algorithm for Maximum $st$-Flow on $G$ when $G$ is undirected and $st$-planar. Finally, we give a near optimal $\tilde O(D)$-round algorithm for computing the weighted girth of $G$. The main challenges in our work are that $G^*$ is not the communication graph (e.g., a vertex of $G$ is mapped to multiple vertices of $G^*$), and that the diameter of $G^*$ can be much larger than $D$ (i.e., possibly by a linear factor). We overcome these challenges by carefully defining and maintaining subgraphs of the dual graph $G^*$ while applying the recursive decomposition on the primal graph $G$. The main technical difficulty, is that along the recursive decomposition, a face of $G$ gets shattered into (disconnected) components yet we still need to treat it as a dual node.

Distributed, Parallel, and Cluster Computing,Data Structures and Algorithms
Max $s,t$-Flow Oracles and Negative Cycle Detection in Planar Digraphs

Adam Karczmarz

2023-11-02

Abstract:We study the maximum $s,t$-flow oracle problem on planar directed graphs where the goal is to design a data structure answering max $s,t$-flow value (or equivalently, min $s,t$-cut value) queries for arbitrary source-target pairs $(s,t)$. For the case of polynomially bounded integer edge capacities, we describe an exact max $s,t$-flow oracle with truly subquadratic space and preprocessing, and sublinear query time. Moreover, if $(1-\epsilon)$-approximate answers are acceptable, we obtain a static oracle with near-linear preprocessing and $\tilde{O}(n^{3/4})$ query time and a dynamic oracle supporting edge capacity updates and queries in $\tilde{O}(n^{6/7})$ worst-case time. To the best of our knowledge, for directed planar graphs, no (approximate) max $s,t$-flow oracles have been described even in the unweighted case, and only trivial tradeoffs involving either no preprocessing or precomputing all the $n^2$ possible answers have been known. One key technical tool we develop on the way is a sublinear (in the number of edges) algorithm for finding a negative cycle in so-called dense distance graphs. By plugging it in earlier frameworks, we obtain improved bounds for other fundamental problems on planar digraphs. In particular, we show: (1) a deterministic $O(n\log(nC))$ time algorithm for negatively-weighted SSSP in planar digraphs with integer edge weights at least $-C$. This improves upon the previously known bounds in the important case of weights polynomial in $n$, and (2) an improved $O(n\log{n})$ bound on finding a perfect matching in a bipartite planar graph.

Data Structures and Algorithms
Min-Cost Flow in Unit-Capacity Planar Graphs

Adam Karczmarz,Piotr Sankowski

DOI: https://doi.org/10.48550/arXiv.1907.02274

2019-07-04

Abstract:In this paper we give an $\widetilde{O}((nm)^{2/3}\log C)$ time algorithm for computing min-cost flow (or min-cost circulation) in unit capacity planar multigraphs where edge costs are integers bounded by $C$. For planar multigraphs, this improves upon the best known algorithms for general graphs: the $\widetilde{O}(m^{10/7}\log C)$ time algorithm of Cohen et al. [SODA 2017], the $O(m^{3/2}\log(nC))$ time algorithm of Gabow and Tarjan [SIAM J. Comput. 1989] and the $\widetilde{O}(\sqrt{n}m \log C)$ time algorithm of Lee and Sidford [FOCS 2014]. In particular, our result constitutes the first known fully combinatorial algorithm that breaks the $\widetilde{O}(m^{3/2})$ time barrier for min-cost flow problem in planar graphs. To obtain our result we first give a very simple successive shortest paths based scaling algorithm for unit-capacity min-cost flow problem that does not explicitly operate on dual variables. This algorithm also runs in $\widetilde{O}(m^{3/2}\log{C})$ time for general graphs, and, to the best of our knowledge, it has not been described before. We subsequently show how to implement this algorithm faster on planar graphs using well-established tools: $r$-divisions and efficient algorithms for computing (shortest) paths in so-called dense distance graphs.

Data Structures and Algorithms
Single-Source Unsplittable Flows in Planar Graphs

Vera Traub,Laura Vargas Koch,Rico Zenklusen

2023-08-05

Abstract:The single-source unsplittable flow (SSUF) problem asks to send flow from a common source to different terminals with unrelated demands, each terminal being served through a single path. One of the most heavily studied SSUF objectives is to minimize the violation of some given arc capacities. A seminal result of Dinitz, Garg, and Goemans showed that, whenever a fractional flow exists respecting the capacities, then there is an unsplittable one violating the capacities by at most the maximum demand. Goemans conjectured a very natural cost version of the same result, where the unsplittable flow is required to be no more expensive than the fractional one. This intriguing conjecture remains open. More so, there are arguably no non-trivial graph classes for which it is known to hold. We show that a slight weakening of it (with at most twice as large violations) holds for planar graphs. Our result is based on a connection to a highly structured discrepancy problem, whose repeated resolution allows us to successively reduce the number of paths used for each terminal, until we obtain an unsplittable flow. Moreover, our techniques also extend to simultaneous upper and lower bounds on the flow values. This also affirmatively answers a conjecture of Morell and Skutella for planar SSUF.

Data Structures and Algorithms
Designing Optimal Flow Networks

M. G. Volz,M. Brazil,K. J. Swanepoel,D. A. Thomas

DOI: https://doi.org/10.48550/arXiv.0903.2124

2009-03-12

Abstract:We investigate the problem of designing a minimum cost flow network interconnecting n sources and a single sink, each with known locations and flows. The network may contain other unprescribed nodes, known as Steiner points. For concave increasing cost functions, a minimum cost network of this sort has a tree topology, and hence can be called a Minimum Gilbert Arborescence (MGA). We characterise the local topological structure of Steiner points in MGAs for linear cost functions. This problem has applications to the design of drains, gas pipelines and underground mine access.

Optimization and Control,Metric Geometry
Maximum Flow and Minimum-Cost Flow in Almost-Linear Time

Li Chen,Rasmus Kyng,Yang P. Liu,Richard Peng,Maximilian Probst Gutenberg,Sushant Sachdeva

DOI: https://doi.org/10.48550/arXiv.2203.00671

2022-03-01

Data Structures and Algorithms

Abstract:We give an algorithm that computes exact maximum flows and minimum-cost flows on directed graphs with $m$ edges and polynomially bounded integral demands, costs, and capacities in $m^{1+o(1)}$ time. Our algorithm builds the flow through a sequence of $m^{1+o(1)}$ approximate undirected minimum-ratio cycles, each of which is computed and processed in amortized $m^{o(1)}$ time using a new dynamic graph data structure. Our framework extends to algorithms running in $m^{1+o(1)}$ time for computing flows that minimize general edge-separable convex functions to high accuracy. This gives almost-linear time algorithms for several problems including entropy-regularized optimal transport, matrix scaling, $p$-norm flows, and $p$-norm isotonic regression on arbitrary directed acyclic graphs.
Improved Minimum Cuts and Maximum Flows in Undirected Planar Graphs

Giuseppe F. Italiano,Piotr Sankowski

DOI: https://doi.org/10.48550/arXiv.1011.2843

2010-11-22

Abstract:In this paper we study minimum cut and maximum flow problems on planar graphs, both in static and in dynamic settings. First, we present an algorithm that given an undirected planar graph computes the minimum cut between any two given vertices in O(n log log n) time. Second, we show how to achieve the same O(n log log n) bound for the problem of computing maximum flows in undirected planar graphs. To the best of our knowledge, these are the first algorithms for those two problems that break the O(n log n) barrier, which has been standing for more than 25 years. Third, we present a fully dynamic algorithm that is able to maintain information about minimum cuts and maximum flows in a plane graph (i.e., a planar graph with a fixed embedding): our algorithm is able to insert edges, delete edges and answer min-cut and max-flow queries between any pair of vertices in O(n^(2/3) log^3 n) time per operation. This result is based on a new dynamic shortest path algorithm for planar graphs which may be of independent interest. We remark that this is the first known non-trivial algorithm for min-cut and max-flow problems in a dynamic setting.

Data Structures and Algorithms
Computing Maximum Flow with Augmenting Electrical Flows

Aleksander Madry

DOI: https://doi.org/10.48550/arXiv.1608.06016

2016-08-22

Abstract:We present an $\tilde{O}\left(m^{\frac{10}{7}}U^{\frac{1}{7}}\right)$-time algorithm for the maximum $s$-$t$ flow problem and the minimum $s$-$t$ cut problem in directed graphs with $m$ arcs and largest integer capacity $U$. This matches the running time of the $\tilde{O}\left((mU)^{\frac{10}{7}}\right)$-time algorithm of Mądry (FOCS 2013) in the unit-capacity case, and improves over it, as well as over the $\tilde{O}\left(m \sqrt{n} \log U\right)$-time algorithm of Lee and Sidford (FOCS 2014), whenever $U$ is moderately large and the graph is sufficiently sparse. By well-known reductions, this also gives similar running time improvements for the maximum-cardinality bipartite $b$-matching problem. One of the advantages of our algorithm is that it is significantly simpler than the ones presented in Madry (FOCS 2013) and Lee and Sidford (FOCS 2014). In particular, these algorithms employ a sophisticated interior-point method framework, while our algorithm is cast directly in the classic augmenting path setting that almost all the combinatorial maximum flow algorithms use. At a high level, the presented algorithm takes a primal dual approach in which each iteration uses electrical flows computations both to find an augmenting $s$-$t$ flow in the current residual graph and to update the dual solution. We show that by maintain certain careful coupling of these primal and dual solutions we are always guaranteed to make significant progress.

Data Structures and Algorithms
A Network Simplex-Method For The Maximum Balanced Flow Problem

Wentian Cui

DOI: https://doi.org/10.15807/jorsj.31.551

1988-01-01

Journal of the Operations Research Society of Japan

Abstract:We present a network simplex method for the maximum balanced flow problem, i.e., the problem of finding a maximum flow in a source-to-sink network such that each arc-flow value does not exceed a fixed propor-tion of the total flow value from the source to the sink. We generalize the notion of strong feasibility in the network simplex method for the maximum flow problem to give a finiteness proof for the new algorithm. We also consider the maximum balanced integral flow problem, and show that the problem can be solved in polynomial-time for a special case when the balancing rate function is constant.
Flows in 3-edge-connected bidirected graphs

Erling Wei,Wenliang Tang,Xiaofeng Wang

DOI: https://doi.org/10.1007/s11464-011-0111-3

2011-01-01

Frontiers of Mathematics in China

Abstract:It was conjectured by A. Bouchet that every bidirected graph which admits a nowhere-zero k -flow admits a nowhere-zero 6-flow. He proved that the conjecture is true when 6 is replaced by 216. O. Zyka improved the result with 6 replaced by 30. R. Xu and C. Q. Zhang showed that the conjecture is true for 6-edge-connected graph, which is further improved by A. Raspaud and X. Zhu for 4-edge-connected graphs. The main result of this paper improves Zyka’s theorem by showing the existence of a nowhere-zero 25-flow for all 3-edge-connected graphs.
How vulnerable is an undirected planar graph with respect to max flow

Lorenzo Balzotti,Paolo G. Franciosa

DOI: https://doi.org/10.1002/net.22205

2024-01-03

Networks

Abstract:Abstract We study the problem of computing the vitality of edges and vertices with respect to the ‐max flow in undirected planar graphs, where the vitality of an edge/vertex is the ‐max flow decrease when the edge/vertex is removed from the graph. This allows us to establish the vulnerability of the graph with respect to the ‐max flow. We give efficient algorithms to compute an additive guaranteed approximation of the vitality of edges and vertices in planar undirected graphs. We show that in the general case high vitality values are well approximated in time close to the time currently required to compute ‐max flow . We also give improved, and sometimes optimal, results in the case of integer capacities. All our algorithms work in space.

computer science, hardware & architecture,operations research & management science
Universal Maximal Flow over Time in Some Network with Weight at Nodes

HE Guo-guang

2009-01-01

Abstract:The universal maximal flow problem over time has been widely used in many fields like traffic and transportation problems etc..Previous approaches about such problem are mainly based on ordinary networks or networks with general holding time and capacity at nodes.However,in practical application,there exist some networks with directional weights at nodes,in which the time needed to cross nodes and the capacity limiting the value of flows are related to the going direction of flows.The universal maximal flow problem in such network is studied.The mathematical model is provided,and an improved algorithm is presented,which is done by making some improvement on the classical algorithm.A numerical example is given at last.
Incremental Approximate Maximum Flow on Undirected Graphs in Subpolynomial Update Time

Jan van den Brand,Li Chen,Rasmus Kyng,Yang P. Liu,Richard Peng,Maximilian Probst Gutenberg,Sushant Sachdeva,Aaron Sidford

2023-11-06

Abstract:We provide an algorithm which, with high probability, maintains a $(1-\epsilon)$-approximate maximum flow on an undirected graph undergoing $m$-edge additions in amortized $m^{o(1)} \epsilon^{-3}$ time per update. To obtain this result, we provide a more general algorithm that solves what we call the incremental, thresholded $p$-norm flow problem that asks to determine the first edge-insertion in an undirected graph that causes the minimum $\ell_p$-norm flow to decrease below a given threshold in value. Since we solve this thresholded problem, our data structure succeeds against an adaptive adversary that can only see the data structure's output. Furthermore, since our algorithm holds for $p = 2$, we obtain improved algorithms for dynamically maintaining the effective resistance between a pair of vertices in an undirected graph undergoing edge insertions. Our algorithm builds upon previous dynamic algorithms for approximately solving the minimum-ratio cycle problem that underlie previous advances on the maximum flow problem [Chen-Kyng-Liu-Peng-Probst Gutenberg-Sachdeva, FOCS '22] as well as recent dynamic maximum flow algorithms [v.d.Brand-Liu-Sidford, STOC '23]. Instead of using interior point methods, which were a key component of these recent advances, our algorithm uses an optimization method based on $\ell_p$-norm iterative refinement and the multiplicative weight update method. This ensures a monotonicity property in the minimum-ratio cycle subproblems that allows us to apply known data structures and bypass issues arising from adaptive queries.

Data Structures and Algorithms
Max flow vitality in general and $st$-planar graphs

Giorgio Ausiello,Paolo Giulio Franciosa,Isabella Lari,Andrea Ribichini

DOI: https://doi.org/10.48550/arXiv.1710.01965

2018-12-20

Abstract:The \emph{vitality} of an arc/node of a graph with respect to the maximum flow between two fixed nodes $s$ and $t$ is defined as the reduction of the maximum flow caused by the removal of that arc/node. In this paper we address the issue of determining the vitality of arcs and/or nodes for the maximum flow problem. We show how to compute the vitality of all arcs in a general undirected graph by solving only $2(n-1)$ max flow instances and, In $st$-planar graphs (directed or undirected) we show how to compute the vitality of all arcs and all nodes in $O(n)$ worst-case time. Moreover, after determining the vitality of arcs and/or nodes, and given a planar embedding of the graph, we can determine the vitality of a `contiguous' set of arcs/nodes in time proportional to the size of the set.

Data Structures and Algorithms
Minimum Cuts in Directed Graphs via $\sqrt{n}$ Max-Flows

Ruoxu Cen,Jason Li,Danupon Nanongkai,Debmalya Panigrahi,Thatchaphol Saranurak

DOI: https://doi.org/10.48550/arXiv.2104.07898

2021-04-16

Abstract:We give an algorithm to find a mincut in an $n$-vertex, $m$-edge weighted directed graph using $\tilde O(\sqrt{n})$ calls to any maxflow subroutine. Using state of the art maxflow algorithms, this yields a directed mincut algorithm that runs in $\tilde O(m\sqrt{n} + n^2)$ time. This improves on the 30 year old bound of $\tilde O(mn)$ obtained by Hao and Orlin for this problem.

Data Structures and Algorithms

Multiple source, single sink maximum flow in a planar graph

Multiple-Source Multiple-Sink Maximum Flow in Directed Planar Graphs in $O(n^{1.5} \log n)$ Time

Multiple-source multiple-sink maximum flow in planar graphs

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

Finding All Useless Arcs in Directed Planar Graphs

Maximum Flow by Augmenting Paths in $n^{2+o(1)}$ Time

Distributed Maximum Flow in Planar Graphs

Max $s,t$-Flow Oracles and Negative Cycle Detection in Planar Digraphs

Min-Cost Flow in Unit-Capacity Planar Graphs

Single-Source Unsplittable Flows in Planar Graphs

Designing Optimal Flow Networks

Maximum Flow and Minimum-Cost Flow in Almost-Linear Time

Improved Minimum Cuts and Maximum Flows in Undirected Planar Graphs

Computing Maximum Flow with Augmenting Electrical Flows

A Network Simplex-Method For The Maximum Balanced Flow Problem

Flows in 3-edge-connected bidirected graphs

How vulnerable is an undirected planar graph with respect to max flow

Universal Maximal Flow over Time in Some Network with Weight at Nodes

Incremental Approximate Maximum Flow on Undirected Graphs in Subpolynomial Update Time

Max flow vitality in general and $st$-planar graphs

Minimum Cuts in Directed Graphs via $\sqrt{n}$ Max-Flows