Academia.eduAcademia.edu

Outline

Max flows in O(nm) time, or better

2013, Proceedings of the 45th annual ACM symposium on Symposium on theory of computing - STOC '13

https://doi.org/10.1145/2488608.2488705

Abstract

In this paper, we present improved polynomial time algorithms for the max flow problem defined on sparse networks with n nodes and m arcs. We show how to solve the max flow problem in O(nm + m 31/16 log 2 n) time. In the case that m = O(n 1.06 ), this improves upon the best previous algorithm due to King, Rao, and Tarjan, who solved the max flow problem in O(nm log m/(n log n) n) time. This establishes that the max flow problem is solvable in O(nm) time for all values of n and m. In the case that m = O(n), we improve the running time to O(n 2 / log n).

FAQs

sparkles

AI

What are the key improvements in the max flow algorithm presented?add

The paper establishes a max flow algorithm that operates in O(nm + m^{31/16} log^2 n) time for all n and m, significantly improving upon previous algorithms, especially for sparse networks.

How does the algorithm maintain the dynamic transitive closure?add

The algorithm employs Italiano's dynamic transitive closure algorithm, ensuring efficient maintenance with a complexity of O(nm), which is critical for improving overall performance.

What is the role of the compact network in the proposed method?add

The compact network is crucial for reducing the number of Γ-critical nodes by eliminating Γ-compactible nodes, allowing the max flow problem to be solved more efficiently.

How does the time complexity vary with the number of nodes and arcs?add

When m < n^{1.06}, the running time simplifies to O(nm), and for sparse networks, the algorithm can achieve O(n^2/log n) when m = O(n).

What constitutes an ∆-abundant arc in the algorithm?add

An arc (i,j) is deemed ∆-abundant if its residual capacity rij is at least 2∆, ensuring efficient flow adjustments during improvement phases.

References (10)

  1. R. K. Ahuja, T. L. Magnanti, and J. B. Orlin. Network Flows. Theory, Algorithms, and Applications. Prentice Hall, Englewood Cliffs, NJ, 1993.
  2. G. Blelloch, V. Vassilevska, and R. Williams. A new combinatorial approach for sparse graph problems. Automata, Languages and Programming, pages 108-120, 2008.
  3. B. Chandran and D. Hochbaum. A computational study of the pseudoflow and push-relabel algorithms for the maximum flow problem. Operations research, 57(2):358, 2009.
  4. B. Cherkassky and A. Goldberg. On implementing the push-relabel method for the maximum flow problem. Algorithmica, 19(4):390-410, 1997.
  5. L. R. Ford and D. R. Fulkerson. Maximal flow through a network. Canadian Journal of Mathematics, 8:399-404, 1956.
  6. H. Gabow and R. Tarjan. A linear-time algorithm for a special case of disjoint set union. Journal of computer and system sciences, 30(2):209-221, 1985.
  7. A. V. Goldberg and S. Rao. Beyond the flow decomposition barrier. Journal of the ACM, 45:783-797, 1998.
  8. G. Italiano. Amortized efficiency of a path retrieval data structure. Theoretical Computer Science, 48(0):273-281, 1986.
  9. V. King, S. Rao, and R. Tarjan. A faster deterministic maximum flow algorithm. J. Algorithms, 23:447-474, 1994.
  10. D. D. Sleator and R. E. Tarjan. A data structure for dynamic trees. J. Computer and System Sciences, 24:362-391, 1983.