AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

AI Insight

AI extracts a summary of this paper


Weibo:
We present an $\tilde{O}(m^{10/7})=\tilde{O}(m^{1.43})$-time algorithm for the maximum s-t flow and the minimum s-t cut problems in directed graphs with unit capacities

Navigating Central Path with Electrical Flows: From Flows to Matchings, and Back

foundations of computer science, (2013): 253-262

Cited by: 214|Views146
EI WOS

Abstract

We present an 脮m(10/7)= 脮(m1.43-time We recall that 脮f denotes O(f poly(log f)). algorithm for the maximum s-t flow and the minimum s-t cut problems in directed graphs with unit capacities. This is the first improvement over the sparse-graph case of the long-standing O(m min?m, n2/3) running time bound due to Even and Tarjan EvenT75. By w...More

Code:

Data:

0
Introduction
  • The maximum s-t flow problem and its dual, the minimum s-t cut problem, are two of the most fundamental and extensively studied graph problems in combinatorial optimization [Sch[03], AMO93].

    They have a wide range of applications, are often used as subroutines in other algorithms, and a number of other important problems – e.g., bipartite matching problem [CLRS09] – can be reduced to them.
  • The other component is based on using the interior-point method framework in conjunction with nearly-linear time electrical flow computations, to develop a faster algorithm for the bipartite matching problem.
Highlights
  • The maximum s-t flow problem and its dual, the minimum s-t cut problem, are two of the most fundamental and extensively studied graph problems in combinatorial optimization [Sch[03], AMO93].

    They have a wide range of applications, are often used as subroutines in other algorithms, and a number of other important problems – e.g., bipartite matching problem [CLRS09] – can be reduced to them
  • We show that by a careful composition of these techniques, one is able to ensure that the guiding electrical flows align better with the primal solution – allowing taking larger progress steps and guaranteeing faster convergence – while keeping the unwanted impact of these modifications on the quality of final solution minimal
  • We begin the technical part of the paper in Section 2 where we present some preliminaries on maximum flow problem, electrical flows, and bipartite (b-)matching problem, as well as, introduce some theorems we will need in the sequel
  • We view an undirected graph G = (V, E, u) as a directed one in which the ordered pair (u, v) ∈ E does not denote an arc anymore, but an edge (u, v) and the order just specifies an orientation of that edge from u to v. (Even though we use the same notation for these two different types of graphs, we will always make sure that it is clear from the context whether we deal with directed graph that has arcs, or with undirected graph that has edges.) From this perspective, the definitions of σ-flow f that we introduced above for directed graphs transfer over to undirected setting almost immediately
  • )-time algorithm, we show how one can appropriately “shape” these guiding electrical flows to make their guidance more effective and guarantee faster convergence
  • We show that for any integral value of F, we can setup, in O(m) time, a balanced bipartite bmatching problem instance, for some demands b and bipartite graph G = (P ∪ Q, E), such that: (1) there will be a perfect b-matching in Gif there is a feasible s-t flow of value F in G; and (2) given a perfect b-matching in Gone can recover in O(m) time an s-t flow of value F that is feasible in G
Results
  • For any ε > 0, any graph G with n vertices and m edges, any demand vector σ, and any resistances r , one can compute in O(m log m log ε−1) time vertex potentials φsuch that φ− φ∗ L ≤ ε φ∗ L, where L is the Laplacian of G, φ∗ are potentials inducing the electrical σ-flow determined by resistances r , and φ L := φT Lφ.
  • One can go the other way – there is a simple, combinatorial reduction from the maximum flow problem to the task of finding a perfect bipartite b -matching.[6]
  • If one can solve a balanced instance of a perfect bipartite b-matching problem in a graph with nvertices and medges in T (n, m , |b|1) time, one can solve the maximum s-t flow problem in a graph G = (V, E, u) with m arcs and capacity vector u in O((m + T (Θ(m), 4m, 4|u|1)) log |u|1) time.
  • It turns out there is a way of changing the maintained solution to make it essentially the same from the point of view of the b-matching instance, while dramatically improving the quality of corresponding electrical flows that guide it.
  • Using the reduction from Theorem 3.1, this gives them the analogous algorithm for the maximum s-t flow problem in unit-capacity graphs and that, in turn, results in an algorithm for the bipartite matching problem.
  • The authors show how to reduce the maximum s-t flow problem in a directed capacitated graph G = (V, E, u) to solving O(log |u|1) balanced instances of the perfect bipartite b-matching problem, i.e., the authors prove Theorem 3.1.
Conclusion
  • Motivated by this path-following approach, the algorithm for computing near-optimal solution to the minimum-cost σ -flow problem will start with some 0-centered solution (f 0, s0, ν0) that has fairly large value of μ(f 0, s0, ν0).
  • (This implementation can be viewed as a direct analogue of the update steps of path-following interior-point methods.) The result of this analysis is presented in the following theorem, which, in particular, ties the congestion vector ρ(ˆf t, f t) inflicted by the electrical flowf t with respect to the primal solution f t, to an upperbound on the size δt of the improvement step.
Reference
  • [ABMP91] H. Alt, N. Blum, K. Mehlhorn, and M. Paul. Computing a maximum cardinality matching in a bipartite graph in time O(n1.5 m/ log n). Inf. Process. Lett., 37(4):237–240, 1991.
    Google ScholarLocate open access versionFindings
  • [AHK12] S. Arora, E. Hazan, and S. Kale. The multiplicative weights update method: a metaalgorithm and applications. Theory of Computing, 8(1):121–164, 2012.
    Google ScholarLocate open access versionFindings
  • [AHU74] A. V. Aho, J. E. Hopcroft, and J. D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley Longman Publishing Co., Boston, MA, USA, 1st edition, 1974.
    Google ScholarFindings
  • [AMO93] R. K. Ahuja, T. L. Magnanti, and J. B. Orlin. Network flows: theory, algorithms, and applications. Prentice-Hall, 1993.
    Google ScholarFindings
  • [AMOR95] R. K. Ahuja, T. L. Magnanti, J. B. Orlin, and M. R. Reddy. Applications of Network Optimization, volume 7 of Handbooks in Operations Research and Management Science. North-Holland, 1995.
    Google ScholarLocate open access versionFindings
  • J. R. Bunch and J. E. Hopcroft. Triangular factorization and inversion by fast matrix multiplication. Mathematics of Computation, 28(125):231–236, 1974.
    Google ScholarLocate open access versionFindings
  • [Bol98] B. Bollobas. Modern Graph Theory. Springer, 1998.
    Google ScholarFindings
  • [BV04] S. Boyd and L. Vandenberghe. Convex Optimization. Cambridge University Press, 2004.
    Google ScholarFindings
  • [CKM+11] P. Christiano, J. Kelner, A. Mądry, D. Spielman, and S.-H. Teng. Electrical flows, Laplacian systems, and faster approximation of maximum flow in undirected graphs. In STOC’11: Proceedings of the 43rd Annual ACM Symposium on Theory of Computing, pages 273–281, 2011.
    Google ScholarLocate open access versionFindings
  • [CLRS09] T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. The MIT Press, 3rd edition, 2009.
    Google ScholarFindings
  • [CW90] D. Coppersmith and S. Winograd. Matrix multiplication via arithmetic progressions. Journal of Symbolic Computation, 9:251–280, 1990.
    Google ScholarLocate open access versionFindings
  • S. I. Daitch and D. A. Spielman. Faster approximate lossy generalized flow via interior point algorithms. In STOC’08: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, pages 451–460, 2008.
    Google ScholarLocate open access versionFindings
  • [Edm65] J. Edmonds. Paths, trees, and flowers. Canadian Journal of Mathematics, 17:449–467, 1965.
    Google ScholarLocate open access versionFindings
  • [EFS56] P. Elias, A. Feinstein, and C. E. Shannon. A note on the maximum flow through a network. IRE Transactions on Information Theory, 2, 1956.
    Google ScholarLocate open access versionFindings
  • [Ege31] J. Egerváry. Matrixok kombinatorius tulajdonságairól. Matematikai és Fizikai Lapok, 38:16–28, 1931.
    Google ScholarLocate open access versionFindings
  • S. Even and R. E. Tarjan. Network flow and testing graph connectivity. SIAM Journal on Computing, 4(4):507–518, 1975.
    Google ScholarLocate open access versionFindings
  • L. R. Ford and D. R. Fulkerson. Maximal flow through a network. Canadian Journal of Mathematics, 8:399–404, 1956.
    Google ScholarLocate open access versionFindings
  • [FM95] T. Feder and R. Motwani. Clique partitions, graph compression and speeding-up algorithms. Journal of Computer and System Sciences, 51(2):261Ű–272, 1995.
    Google ScholarLocate open access versionFindings
  • [GK04] A. V. Goldberg and A. V. Karzanov. Maximum skew-symmetric flows and matchings. Mathematical Programming, 100(3):537–568, 2004.
    Google ScholarLocate open access versionFindings
  • [GKK10] A. Goel, M. Kapralov, and S. Khanna. Perfect matchings in O(n log n) time in regular bipartite graphs. In STOC’10: Proceedings of the 42nd Annual ACM Symposium on Theory of Computing, pages 39–46, 2010.
    Google ScholarLocate open access versionFindings
  • A. V. Goldberg and S. Rao. Beyond the flow decomposition barrier. Journal of the ACM, 45(5):783–797, 1998.
    Google ScholarLocate open access versionFindings
  • H. N. Gabow and R. E. Tarjan. Faster scaling algorithms for general graph matching problems. Journal of the ACM, 38(4):815–853, 1991.
    Google ScholarLocate open access versionFindings
  • [Har09] N. J. A. Harvey. Algebraic algorithms for matching and matroid problems. SIAM Journal on Computing, 39(2):679–702, 2009.
    Google ScholarLocate open access versionFindings
  • J. Hopcroft and R. Karp. An n5/2 algorithm for maximum matchings in bipartite graphs. SIAM Journal on Computing, 2(4):225–231, 1973.
    Google ScholarLocate open access versionFindings
  • A. J. Hoffman. Some recent applications of the theory of linear inequalities to extremal combinatorial analysis. In Proceedings of Symposia in Applied Mathematics, volume 10, pages 113–127, 1960.
    Google ScholarLocate open access versionFindings
  • A. V. Karzanov. O nakhozhdenii maksimal’nogo potoka v setyakh spetsial’nogo vida i nekotorykh prilozheniyakh. Matematicheskie Voprosy Upravleniya Proizvodstvom, 5:81– 94, 1973. (in Russian; title translation: On finding maximum flows in networks with special structure and some applications).
    Google ScholarFindings
  • [KKL13] S. Khanna, T. C. Kwok, and L. C. Lau, 2013. Personal communication.
    Google ScholarFindings
  • [KLOS13] J. A. Kelner, Y. T. Lee, L. Orecchia, and A. Sidford. An almost-linear-time algorithm for approximate max flow in undirected graphs, and its multicommodity generalizations. 2013.
    Google ScholarFindings
  • [KMP10] I. Koutis, G. L. Miller, and R. Peng. Approaching optimality for solving SDD systems. In FOCS’10: Proceedings of the 51st Annual IEEE Symposium on Foundations of Computer Science, pages 235–244, 2010.
    Google ScholarLocate open access versionFindings
  • [KMP11] I. Koutis, G. L. Miller, and R. Peng. A nearly m log n-time solver for SDD linear systems. In FOCS’11: Proceedings of the 52nd Annual IEEE Symposium on Foundations of Computer Science, pages 590–598, 2011.
    Google ScholarLocate open access versionFindings
  • [Kön31] D. König. Graphok és matrixok. Matematikai és Fizikai Lapok, 38:116–119, 1931.
    Google ScholarLocate open access versionFindings
  • [KOSZ13] J. A. Kelner, L. Orecchia, A. Sidford, and Z. A. Zhu. A simple, combinatorial algorithm for solving SDD systems in nearly-linear time. In STOC’13: Proceedings of the 45th Annual ACM Symposium on the Theory of Computing, pages 911–920, 2013.
    Google ScholarLocate open access versionFindings
  • [KRT94] V. King, S. Rao, and R. Tarjan. A faster deterministic maximum flow algorithm. Journal of Algorithms, 17(3):447–474, 1994.
    Google ScholarLocate open access versionFindings
  • [Lau13] L. C. Lau, 2013. Personal communication.
    Google ScholarFindings
  • L. Lovász. On determinants, matchings and random algorithms. Fundamentals of Computation Theory, 565–574, 1979.
    Google ScholarLocate open access versionFindings
  • L. Lovász and D. M. Plummer. Matching Theory. Elsevier Science, 1986.
    Google ScholarLocate open access versionFindings
  • Y. T. Lee, S. Rao, and N. Srivastava. A new approach to computing maximum flows using electrical flows. In STOC’13: Proceedings of the 45th Annual ACM Symposium on the Theory of Computing, pages 755–764, 2013.
    Google ScholarLocate open access versionFindings
  • A. Mądry. Fast approximation algorithms for cut-based problems in undirected graphs. In FOCS’10: Proceedings of the 51st Annual IEEE Symposium on Foundations of Computer Science, pages 245–254, 2010.
    Google ScholarLocate open access versionFindings
  • A. Mądry. From Graphs to Matrices, and Back: New Techniques for Graph Algorithms. PhD thesis, Massachusetts Institute of Technology, 2011.
    Google ScholarFindings
  • M. Mucha and P. Sankowski. Maximum matchings via Gaussian elimination. In FOCS’04: Proceedings of the 45th Annual IEEE Symposium on Foundations of Computer Science, pages 248–255, 2004.
    Google ScholarLocate open access versionFindings
  • M. Mucha. Finding maximum matchings via Gaussian elimination. PhD thesis, University of Warsaw, 2005.
    Google ScholarFindings
  • J. B. Orlin. Max flows in o(nm) time, or better. In STOC’13: Proceedings of the 45th Annual ACM Symposium on the Theory of Computing, pages 765–774, 2013.
    Google ScholarLocate open access versionFindings
  • M. O. Rabin and V. V. Vazirani. Maximum matchings in general graphs through randomization. J. Algorithms, 10(4):557–567, December 1989.
    Google ScholarLocate open access versionFindings
  • A. Schrijver. Combinatorial Optimization: Polyhedra and Efficiency. Springer, 2003. √
    Google ScholarFindings
  • J. Sherman. Breaking the multicommodity flow barrier for O( log n)-approximations to sparsest cuts. In FOCS’09: Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science, pages 363–372, 2009.
    Google ScholarLocate open access versionFindings
  • J. Sherman. Nearly maximum flows in nearly linear time. In FOCS’13: Proceedings of the 54th Annual IEEE Symposium on Foundations of Computer Science, 2013.
    Google ScholarLocate open access versionFindings
  • D. A. Spielman and S.-H. Teng. Solving sparse, symmetric, diagonally-dominant linear systems in time O(m1.31). In FOCS’03: Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science, 2003.
    Google ScholarLocate open access versionFindings
  • D. A. Spielman and S.-H. Teng. Nearly-linear time algorithms for graph partitioning, graph sparsification, and solving linear systems. In STOC’04: Proceedings of the 36th Annual ACM Symposium on the Theory of Computing, pages 81–90, 2004.
    Google ScholarLocate open access versionFindings
  • W. T. Tutte. The factorization of linear graphs. Journal of the London Mathematical Society, 22:107–111, 1947.
    Google ScholarLocate open access versionFindings
  • V. V. Vazirani. A theory of alternating paths and blossoms for proving correctness of the O( |V ||E|) general graph matching algorithms. Combinatorica, 14 (1):71–109, 1994.
    Google ScholarLocate open access versionFindings
  • V. Vassilevska Williams. Multiplying matrices faster than Coppersmith-Winograd. In STOC’12: Proceedings of the 44th Annual ACM Symposium on the Theory of Computing, 2012.
    Google ScholarLocate open access versionFindings
  • S. J. Wright. Primal-Dual Interior-Point Methods. Society for Industrial and Applied Mathematics, 1997.
    Google ScholarLocate open access versionFindings
  • Y. Ye. Interior Point Algorithms: Theory and Analysis. John Wiley & Sons, 1997.
    Google ScholarFindings
Your rating :
0

 

Tags
Comments
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn
小科