Faster Divergence Maximization for Faster Maximum Flow

Abstract

In this paper we provide an algorithm which given any $m$-edge $n$-vertex directed graph with integer capacities at most $U$ computes a maximum $s$-$t$ flow for any vertices $s$ and $t$ in $m^{4/3+o(1)}{U}^{1/3}$ time. This improves upon the previous best running times of $m^{11/8+o(1)}{U}^{1/4}$ (Liu Sidford 2019), $\tilde{O}(m\sqrt{n}\log U)$ (Lee Sidford 2014), and $O(mn)$ (Orlin 2013) when the graph is not too dense or has large capacities. To achieve the results this paper we build upon previous algorithmic approaches to maximum flow based on interior point methods (IPMs). In particular, we overcome a key bottleneck of previous advances in IPMs for maxflow (Mądry 2013, Mądry 2016, Liu Sidford 2019), which make progress by maximizing the energy of local ${\ell }_2$ norm minimizing electric flows. We generalize this approach and instead maximize the divergence of flows which minimize the Bregman divergence distance with respect to the weighted logarithmic barrier. This allows our algorithm to avoid dependencies on the ${\ell }_4$ norm that appear in other IPM frameworks (e.g. Cohen Mądry Sankowski Vladu 2017, Axiotis Mądry Vladu 2020). Further, we show that smoothed ${\ell }_2$-${\ell }_p$ flows (Kyng, Peng, Sachdeva, Wang 2019), which we previously used to efficiently maximize energy (Liu Sidford 2019), can also be used to efficiently maximize divergence, thereby yielding our desired runtimes. We believe both this generalized view of energy maximization and generalized flow solvers we develop may be of further interest.

30 pages

References in corpus (2)

• Solving Linear Programs with Sqrt(rank) Linear System Solves
• Solving Tall Dense Linear Programs in Nearly Linear Time

Cited by in corpus (9)

• Minimum Cost Flows, MDPs, and ${\ell }_1$-Regression in Nearly Linear Time for Dense Instances
• Bipartite Matching in Nearly-linear Time on Moderately Dense Graphs
• Space-Efficient Interior Point Method, with applications to Linear Programming and Maximum Weight Bipartite Matching
• Generalized Leverage Score Sampling for Neural Networks
• Minor Sparsifiers and the Distributed Laplacian Paradigm
• On Two Measures of Distance between Fully-Labelled Trees
• Deterministic Mincut in Almost-Linear Time
• Approximate Gomory-Hu Tree Is Faster Than $n-1$ Max-Flows
• Deterministic Min-cut in Poly-logarithmic Max-flows