We consider the (exact, minimum) k-Cut problem: given a graph and an integer k, delete a minimumweight set of edges so that the remaining graph has at least k connected components. This problem is a natural generalization of the global minimum cut problem, where the goal is to break the graph into k = 2 pieces.Our main result is a (combinatorial) k-Cut algorithm on simple graphs that runs in n (1+o(1))k time for any constant k, improving upon the previously best n (2ω/3+o(1))k time algorithm of Gupta et al. [FOCS'18] and the previously best n (1.981+o(1))k time combinatorial algorithm of Gupta et al. [STOC'19]. For combinatorial algorithms, this algorithm is optimal up to o(1) factors assuming recent hardness conjectures: we show by a straightforward reduction that k-Cut on even a simple graph is as hard as (k − 1)-clique, establishing a lower bound of n (1−o(1))k for k-Cut. This settles, up to lower-order factors, the complexity of k-Cut on a simple graph for combinatorial algorithms. this algorithm is optimal up to o(1) factors assuming recent hardness conjectures: we show by a straightforward reduction that k-Cut on even a simple graph is as hard as (k − 1)-clique, establishing a lower bound of n (1−o(1))k for k-Cut. This settles, up to lower-order factors, the complexity of k-Cut on a simple graph for combinatorial algorithms. We remark that this is the first setting for k-Cut, except the restricted k = 2 case, where the running time has been determined up to o(1) factors.Theorem 1.1 (Main Result). For any parameter k, there is a (combinatorial, randomized) algorithm that computes the k-Cut of a simple graph in k O(k) n (1+o(1))k time.Theorem 1.2 (Lower Bound). Suppose we assume the conjecture that every combinatorial algorithm for k-clique requires n (1−o(1))k time for any constant k. Then, for any constant k, every combinatorial algorithm for k-Cut of a simple graph also requires n (1−o(1))k time.
Our TechniquesOur k-Cut algorithm incorporates algorithmic techniques from a wide array of areas, from graph sparsification to fixed-parameter tractability to tree algorithms.Graph Sparsification Our first algorithmic ingredient is the Kawarabayashi-Thorup (KT) sparsification algorithm, which originated from the breakthrough paper of Kawarabayashi and Thorup on the deterministic minimum cut problem [16]. At a high level, given any simple graph G with minimum cut λ, the algorithm contracts G into a multi-graph ofÕ(m/λ) 1 edges so that any minimum cut of G that has at least two vertices on each side gets "preserved" in the contraction. That is, we never contract an edge in any such minimum cut. Kawarabayashi and Thorup used their contraction procedure to provide the firstÕ(m)-time deterministic algorithm for minimum cut of a simple graph. They first applied the contraction to G, obtaining a multi-graph G on m =Õ(m/λ) edges, and then ran theÕ(mλ)-time minimum cut algorithm of Gabow on G, which works for multi-graphs. This covers the case when the minimum cut of G has at least two vertices on each side; the other ca...