Circulation Control for Faster Minimum Cost Flow in Unit-Capacity Graphs

We present an $m^{4/3+o(1)}\log W$-time algorithm for solving the minimum cost flow problem in graphs with unit capacity, where $W$ is the maximum absolute value of any edge weight. For sparse graphs, this improves over the best known running time for this problem and, by well-known reductions, also implies improved running times for the shortest path problem with negative weights, minimum cost bipartite $b$-matching when $\Vert b\Vert_{1}=O(m)$, and recovers the running time of the currently fastest algorithm for maximum flow in graphs with unit capacities (Liu-Sidford, 2020). Our algorithm relies on developing an interior point method-based framework which acts on the space of circulations in the underlying graph. From the combinatorial point of view, this framework can be viewed as iteratively improving the cost of a suboptimal solution by pushing flow around circulations. These circulations are derived by computing a regularized version of the standard Newton step, which is partially inspired by previous work on the unit-capacity maximum flow problem (Liu-Sidford, 2019), and subsequently refined based on the very recent progress on this problem (Liu-Sidford, 2020). The resulting step problem can then be computed efficiently using the recent work on $\ell_{p}$-norm minimizing flows (Kyng-Peng-Sachdeva-Wang, 2019). We obtain our faster algorithm by combining this new step primitive with a customized preconditioning method, which aims to ensure that the graph on which these circulations are computed has sufficiently large conductance.

[1]  Aleksander Madry,et al.  Computing Maximum Flow with Augmenting Electrical Flows , 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS).

[2]  Zeyuan Allen Zhu,et al.  A simple, combinatorial algorithm for solving SDD systems in nearly-linear time , 2013, STOC '13.

[3]  M. Chial,et al.  in simple , 2003 .

[4]  Aleksander Madry,et al.  Navigating Central Path with Electrical Flows: From Flows to Matchings, and Back , 2013, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science.

[5]  Aaron Sidford,et al.  Faster Divergence Maximization for Faster Maximum Flow , 2020, ArXiv.

[6]  Yin Tat Lee,et al.  An homotopy method for lp regression provably beyond self-concordance and in input-sparsity time , 2018, STOC.

[7]  Shang-Hua Teng,et al.  Nearly-linear time algorithms for graph partitioning, graph sparsification, and solving linear systems , 2003, STOC '04.

[8]  Kevin A. Lai,et al.  ` 1 Regression using Lewis Weights Preconditioning and Stochastic Gradient Descent , 2018 .

[9]  Jonah Sherman,et al.  Area-convexity, l∞ regularization, and undirected multicommodity flow , 2017, STOC.

[10]  James B. Orlin,et al.  A polynomial time primal network simplex algorithm for minimum cost flows , 1996, SODA '96.

[11]  Kevin A. Lai,et al.  L1 Regression using Lewis Weights Preconditioning and Stochastic Gradient Descent , 2017, COLT 2018.

[12]  Xiaomei Yang Rounding Errors in Algebraic Processes , 1964, Nature.

[13]  Richard Peng,et al.  Flows in almost linear time via adaptive preconditioning , 2019, STOC.

[14]  Richard Peng,et al.  Iterative Refinement for ℓp-norm Regression , 2019, SODA.

[15]  Daniel A. Spielman,et al.  Faster approximate lossy generalized flow via interior point algorithms , 2008, STOC.

[16]  Richard Peng,et al.  An efficient parallel solver for SDD linear systems , 2013, STOC.

[17]  Aaron Sidford,et al.  Faster energy maximization for faster maximum flow , 2019, STOC.

[18]  Ravindra K. Ahuja,et al.  Network Flows , 2011 .

[19]  Deeksha Adil,et al.  Faster p-norm minimizing flows, via smoothed q-norm problems , 2020, SODA.

[20]  Petar Maymounkov,et al.  Electric Routing and Concurrent Flow Cutting , 2009, ISAAC.

[21]  Satish Rao,et al.  A new approach to computing maximum flows using electrical flows , 2013, STOC '13.

[22]  Harold N. Gabow,et al.  Scaling algorithms for network problems , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[23]  Richard Peng,et al.  Approximate Undirected Maximum Flows in O(mpolylog(n)) Time , 2014, SODA.

[24]  Yin Tat Lee,et al.  An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommodity Generalizations , 2013, SODA.

[25]  Jonah Sherman,et al.  Nearly Maximum Flows in Nearly Linear Time , 2013, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science.

[26]  Kevin Tian,et al.  Coordinate Methods for Accelerating ℓ∞ Regression and Faster Approximate Maximum Flow , 2018, 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS).

[27]  A. Madry,et al.  Negative-Weight Shortest Paths and Unit Capacity Minimum Cost Flow in Õ(m 10/7 log W) Time. , 2016 .

[28]  Haim Kaplan,et al.  Minimum-Cost Flows in Unit-Capacity Networks , 2017, Theory of Computing Systems.

[29]  Richard Peng,et al.  Iterative Refinement for $\ell_p$-norm Regression , 2019, SODA 2019.

[30]  Jakub W. Pachocki,et al.  Solving SDD linear systems in nearly mlog1/2n time , 2014, STOC.

[31]  Kevin A. Lai,et al.  $\ell_1$ Regression using Lewis Weights Preconditioning and Stochastic Gradient Descent , 2018, COLT.

[32]  Nicholas J. Higham,et al.  INVERSE PROBLEMS NEWSLETTER , 1991 .

[33]  Shang-Hua Teng,et al.  Electrical flows, laplacian systems, and faster approximation of maximum flow in undirected graphs , 2010, STOC '11.