Abstract:We give a deterministic algorithm for finding the minimum (weight) cut of an undirected graph on $n$ vertices and $m$ edges using $\text{polylog}(n)$ calls to any maximum flow subroutine. Using the current best deterministic maximum flow algorithms, this yields an overall running time of $\tilde O(m \cdot \min(\sqrt{m}, n^{2/3}))$ for weighted graphs, and $m^{4/3+o(1)}$ for unweighted (multi)-graphs. This marks the first improvement for this problem since a running time bound of $\tilde O(mn)$ was established by several papers in the early 1990s.
Our global minimum cut algorithm is obtained as a corollary of a minimum Steiner cut algorithm, where a minimum Steiner cut is a minimum (weight) set of edges whose removal disconnects at least one pair of vertices among a designated set of terminal vertices. The running time of our deterministic minimum Steiner cut algorithm matches that of the global minimum cut algorithm stated above. Using randomization, the running time improves to $m^{1+o(1)}$ because of a faster maximum flow subroutine; this improves the best known randomized algorithm for the minimum Steiner cut problem as well.
Our main technical contribution is a new tool that we call *isolating cuts*. Given a set of vertices $R$, this entails finding cuts of minimum weight that separate (or isolate) each individual vertex $v\in R$ from the rest of the vertices $R\setminus \{v\}$. Naïvely, this can be done using $|R|$ maximum flow calls, but we show that just $O(\log |R|)$ suffice for finding isolating cuts for any set of vertices $R$. We call this the *isolating cut lemma*.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to find the global minimum cut in undirected graphs and to solve the more general Steiner minimum - cut problem. Specifically:
1. **Global minimum - cut problem**: For a given undirected weighted graph \(G=(V, E, w)\), the global minimum cut refers to a set of edges with the smallest weight. Removing these edges will make the graph disconnected. The paper proposes a deterministic algorithm, which finds the global minimum cut by making a polylogarithmic number of maximum - flow calls.
2. **Steiner minimum - cut problem**: For a given undirected weighted graph \(G=(V, E, w)\) and a subset of terminal vertices \(T\subseteq V\), the Steiner minimum cut is a set of edges with the smallest weight. Removing these edges will make at least one pair of terminal vertices disconnected. The paper also provides a deterministic algorithm to solve this problem.
### Main contributions
- **Algorithm efficiency**: The running time of the algorithm proposed in the paper is \(\tilde{O}(m\cdot\min(\sqrt{m}, n^{2/3}))\) in the worst - case for weighted graphs and \(m^{4/3 + o(1)}\) for unweighted graphs (multigraphs). This is the first faster deterministic minimum - cut algorithm implemented on general weighted graphs or unweighted multigraphs since the early 1990s.
- **Technical contributions**: The paper introduces a new tool - **isolating cuts**. Given a set of vertices \(R\), an isolating cut refers to the minimum - weight cut that separates each vertex \(v\in R\) from \(R\setminus\{v\}\). The paper proves that only \(O(\log|R|)\) maximum - flow calls are required to find all isolating cuts, instead of \(|R|\) maximum - flow calls required by the naive method.
### Solution overview
1. **Case of unbalanced cuts**: If one part of the minimum cut contains no more than a polylogarithmic number of vertices, the minimum cut can be found by calculating isolating cuts. The paper uses randomized and derandomized methods to handle this case.
2. **Case of balanced cuts**: If both parts of the minimum cut contain a relatively large number of vertices, the paper gradually reduces the size of the vertex set \(R\) through the graph sparsification technique until the size of \(R\) does not exceed a polylogarithmic number of vertices. At this time, the method for unbalanced cuts mentioned above can be used to find the minimum cut.
### Technical details
- **Isolating - cut algorithm**: The paper finds isolating cuts by calculating multiple bipartitions. Each bipartition divides the vertex set \(R\) into two parts, and each pair of vertices \(u, v\in R\) is separated in at least one bipartition. Then, for each bipartition, a minimum cut is calculated, and finally, the isolating cuts are found through these minimum cuts.
- **Sparsification technique**: The paper uses the expander decomposition technique to sparsify the vertex set \(R\). The expander decomposition divides the graph into multiple subgraphs. The cuts within each subgraph have a relatively high conductance, and the sum of the edge weights between different subgraphs is low. In this way, the size of \(R\) can be gradually reduced until its size does not exceed a polylogarithmic number of vertices.
### Impact and follow - up research
- **Follow - up research**: The techniques and tools in the paper have been applied to other graph - connectivity problems, such as approximation algorithms for Gomory - Hu trees, vertex - minimum - cut algorithms, etc. These applications further demonstrate the wide applicability and effectiveness of the isolating - cut technique.
In conclusion, this paper has made important progress in deterministic minimum - cut algorithms. It not only improves the efficiency of the algorithm but also introduces new technical tools, providing a new perspective for research in graph theory and combinatorial optimization.