Abstract:SIAM Journal on Computing, Volume 53, Issue 4, Page 1162-1180, August 2024. The Gomory–Hu tree or cut tree [R. E. Gomory and T. C. Hu, J. Soc. Indust. Appl. Math., 9 (1961), pp. 551–570] is a classic data structure for reporting [math]-mincuts (and by duality, the values of [math]-maxflows) for all-pairs of vertices [math] and [math] in an undirected graph. Gomory and Hu showed that it can be computed using [math] exact maxflow computations. Surprisingly, this remains the best algorithm for Gomory–Hu trees more than 50 years later, even for approximate mincuts. In this paper, we break this longstanding barrier and give an algorithm for computing a [math]-approximate Gomory–Hu tree using [math] maxflow computations. Specifically, we obtain the running time bounds we describe below. We obtain a randomized (Monte Carlo) algorithm for undirected, weighted graphs that runs in [math] time and returns a [math]-approximate Gomory–Hu tree with high probability (w.h.p.). Previously, the best running time known was [math], which is obtained by running Gomory and Hu's original algorithm on a cut sparsifier of the graph. Next, we obtain a randomized (Monte Carlo) algorithm for undirected, unweighted graphs that runs in [math] time and returns a [math]-approximate Gomory–Hu tree w.h.p. This improves on our first result for sparse graphs, namely [math]. Previously, the best running time known for unweighted graphs was [math] for an exact Gomory–Hu tree [A. Bhalgat et al., Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, CA, 2007, pp. 605–614]; no better result is known if approximations are allowed. As a consequence of our Gomory–Hu tree algorithms, we also solve the [math]-approximate all-pairs mincut (APMC) and single-source mincut (SSMC) problems in the same time bounds. (These problems are simpler in that the goal is to only return the [math]-mincut values, and not the mincuts.) This improves on the recent algorithm for these problems in [math] time due to Abboud, Krauthgamer, and Trabelsi [2020 IEEE 61st Annual Symposium on Foundations of Computer Science, IEEE Computer Society, 2020, pp. 105–118].

Approximate Max-Flow Min-Multicut Theorem for Graphs of Bounded Treewidth

Faster Min-Cost Flow and Approximate Tree Decomposition on Bounded Treewidth Graphs

A 2-approximation for the bounded treewidth sparsest cut problem in $$\textsf{FPT}$$ Time

A Tight Max-Flow Min-Cut Duality Theorem for Non-Linear Multicommodity Flows

A tight max-flow min-cut duality theorem for nonlinear multicommodity flows

Towards (1+ε)-Approximate Flow Sparsifiers

Pliability and Approximating Max-CSPs

Direct Product Multicommodity Max-Concurrent-Flow Min-Sparse-Cut Theorem

The Turán problem for a family of tight linear forests

Nearly-Tight Bounds for Flow Sparsifiers in Quasi-Bipartite Graphs

Optimized 2-Approximation of Treewidth

Approximate Gomory–Hu Tree is Faster than [math] Maximum Flows

Optimal Padded Decomposition For Bounded Treewidth Graphs

Fast Approximation Algorithms for Bounded Degree and Crossing Spanning Tree Problems

On Approximating Cutwidth and Pathwidth

Maximum Flow and Minimum-Cost Flow in Almost-Linear Time

A $4/3$-Approximation Algorithm for the Minimum $2$-Edge Connected Multisubgraph Problem in the Half-Integral Case

Multi-Commodity Max-Flow Min-Cut Theorems and Applications

A Linear-time Algorithm for Integral Multiterminal Flows in Trees.

Clustering Graphs of Bounded Treewidth to Minimize the Sum of Radius-Dependent Costs

Min-Cost Flow in Unit-Capacity Planar Graphs