The Community for Technology Leaders
2013 IEEE 54th Annual Symposium on Foundations of Computer Science (2012)
New Brunswick, NJ, USA USA
Oct. 20, 2012 to Oct. 23, 2012
ISSN: 0272-5428
ISBN: 978-1-4673-4383-1
pp: 599-608
ABSTRACT
Let $G = (V, E)$ be a planar $n$-vertex digraph. Consider the problem of computing max $st$-flow values in $G$ from a fixed source $s$ to all sinks $t \in V \set minus \{s\}$. We show how to solve this problem in near-linear $O(n \log^3 n)$ time. Previously, nothing better was known than running a single-source single-sink max flow algorithm $n-1$ times, giving a total time bound of $O(n^2 \log n)$ with the algorithm of Borradaile and Klein. An important implication is that all-pairs max $st$-flow values in $G$ can be computed in near-quadratic time. This is close to optimal as the output size is $\Theta(n^2)$. We give a quadratic lower bound on the number of distinct max flow values and an $\Omega(n^3)$ lower bound for the total size of all min cut-sets. This distinguishes the problem from the undirected case where the number of distinct max flow values is $O(n)$. Previous to our result, no algorithm which could solve the all-pairs max flow values problem faster than the time of $\Theta(n^2)$ max-flow computations for every planar digraph was known. This result is accompanied with a data structure that reports min cut-sets. For fixed $s$ and all $t$, after $O(n^{1.5} \log^2 n)$ preprocessing time, it can report the set of arcs $C$ crossing a min $st$-cut in $O(|C|)$ time.
INDEX TERMS
all pairs, minimum cut, maximum flow, planar graph
CITATION
Jakub Lacki, Yahav Nussbaum, Piotr Sankowski, Christian Wulff-Nilsen, "Single Source -- All Sinks Max Flows in Planar Digraphs", 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, vol. 00, no. , pp. 599-608, 2012, doi:10.1109/FOCS.2012.66
92 ms
(Ver 3.3 (11022016))