Abstract:We give the first deterministic algorithm that makes sub-quadratic queries to find the global min-cut of a simple graph in the cut query model. Given an $n$-vertex graph $G$, our algorithm makes $\widetilde{O}(n^{5/3})$ queries to compute the global min-cut in $G$. As a key ingredient, we also show an algorithm for finding $s$-$t$ max-flows of size $\widetilde{O}(n)$ in $\widetilde{O}(n^{5/3})$ queries. We also show efficient cut-query implementations of versions of expander decomposition and isolating cuts, which may be of independent interest.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is: **How to calculate the global min - cut (i.e., edge - connectivity) of a simple graph with a sub - quadratic number of cut queries under deterministic conditions**. Specifically, the authors proposed a deterministic algorithm that can find the global min - cut of a simple undirected graph \(G\) within \(\tilde{O}(n^{5/3})\) cut queries.
### Background and Problem Description
In graph theory, calculating the global min - cut is a classic and widely - studied problem. Given an undirected graph \(G=(V, E)\), we need to find a minimum edge set \(F\subseteq E\) such that the graph \(G\setminus F\) is no longer connected after removing these edges. This problem has been explored in different computational models such as dynamic algorithms, parallel algorithms, distributed algorithms, and flow algorithms.
Especially in the cut - query model, the edge set \(E\) of the graph is unknown, and we can only obtain the number of edges \(Cut(S)\) across the cut \((S, V\setminus S)\) by querying a vertex subset \(S\subseteq V\). Previous studies have proposed several randomized algorithms to solve this problem, but relatively few studies on deterministic algorithms.
### Main Contributions
1. **Deterministic Global Min - cut Algorithm**:
- The authors proposed the first deterministic algorithm that can find the global min - cut of a simple graph within \(\tilde{O}(n^{5/3})\) cut queries.
- This result significantly improves the previous deterministic algorithms, which require \(\Omega(n^{2})\) queries.
2. **Maximum - flow Algorithm**:
- As a key technique, the authors also showed how to calculate the maximum flow from \(s\) to \(t\) in a capacitated undirected graph \(G\) within \(\tilde{O}(n^{5/3}W)\) cut queries, where \(W\) is the maximum value of edge weights.
- In particular, in a simple unweighted graph, the \(s - t\) maximum flow can be deterministically calculated within \(\tilde{O}(n^{5/3})\) cut queries.
### Technical Details
To achieve the above results, the authors introduced some efficient technical tools:
- Deterministic cut - query implementations of **Expander Decomposition** and **Isolating Cuts**.
- A method for calculating the **Dominating Set** to ensure that the size of the vertex set can be reduced in each recursive call.
These tools are not only helpful for solving the global min - cut problem but may also have independent application values in other fields.
### Summary
The main contribution of this paper is to propose a new deterministic algorithm framework that can solve the global min - cut problem within sub - quadratic query complexity, thus filling the gap in this field and providing new ideas and technical means for future research.