Faster Minimum k-cut of a Simple Graph

We consider the (exact, minimum) k-CUT problem: given a graph and an integer k, delete a minimum-weight 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.

[1]  Andrew Chi-Chih Yao,et al.  Tight Approximation Ratio of a General Greedy Splitting Algorithm for the Minimum k-Way Cut Problem , 2009, Algorithmica.

[2]  Dorit S. Hochbaum,et al.  A Polynomial Algorithm for the k-cut Problem for Fixed k , 1994, Math. Oper. Res..

[3]  Dorit S. Hochbaum,et al.  Polynomial algorithm for the k-cut problem , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[4]  Amir Abboud,et al.  If the Current Clique Algorithms are Optimal, So is Valiant's Parser , 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science.

[5]  Michael R. Fellows,et al.  Cutting Up is Hard to Do: the Parameterized Complexity of k-Cut and Related Problems , 2003, CATS.

[6]  Mikkel Thorup,et al.  Minimum k-way cuts via deterministic greedy tree packing , 2008, STOC.

[7]  Mam Riess Jones Color Coding , 1962, Human factors.

[8]  Michal Pilipczuk,et al.  Parameterized Algorithms , 2015, Springer International Publishing.

[9]  Satish Rao,et al.  Expander flows, geometric embeddings and graph partitioning , 2004, STOC '04.

[10]  Pasin Manurangsi,et al.  Inapproximability of Maximum Edge Biclique, Maximum Balanced Biclique and Minimum k-Cut from the Small Set Expansion Hypothesis , 2017, ICALP.

[11]  Kent Quanrud,et al.  LP Relaxation and Tree Packing for Minimum k-cuts , 2018, SOSA.

[12]  R. Ravi,et al.  Discrete Optimization Approximating k-cuts using network strength as a Lagrangean relaxation , 2004 .

[13]  Di Wang,et al.  Local Flow Partitioning for Faster Edge Connectivity , 2017, SODA.

[14]  Vijay V. Vazirani,et al.  Finding k Cuts within Twice the Optimal , 1995, SIAM J. Comput..

[15]  François Le Gall,et al.  Powers of tensors and fast matrix multiplication , 2014, ISSAC.

[16]  Virginia Vassilevska Williams,et al.  Multiplying matrices faster than coppersmith-winograd , 2012, STOC '12.

[17]  Anupam Gupta,et al.  Faster Exact and Approximate Algorithms for k-Cut , 2018, 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS).

[18]  Dániel Marx,et al.  Parameterized Complexity and Approximation Algorithms , 2008, Comput. J..

[19]  Sanjiv Kapoor,et al.  On Minimum 3-Cuts and Approximating k-Cuts Using Cut Trees , 1996, IPCO.

[20]  David R. Karger,et al.  A new approach to the minimum cut problem , 1996, JACM.

[21]  Yuval Rabani,et al.  Tree packing and approximating k-cuts , 2001, SODA '01.

[22]  Toshihide Ibaraki,et al.  Approximating the Minimum k-way Cut in a Graph via Minimum 3-way Cuts , 1999, J. Comb. Optim..

[23]  Toshihide Ibaraki,et al.  Computing Edge-Connectivity in Multigraphs and Capacitated Graphs , 1992, SIAM J. Discret. Math..

[24]  Michal Pilipczuk,et al.  Designing FPT Algorithms for Cut Problems Using Randomized Contractions , 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

[25]  YOKO KAMIDOI,et al.  A Deterministic Algorithm for Finding All Minimum k-Way Cuts , 2006, SIAM J. Comput..

[26]  Ken-ichi Kawarabayashi,et al.  Deterministic Edge Connectivity in Near-Linear Time , 2014, J. ACM.

[27]  Anupam Gupta,et al.  The number of minimum k-cuts: improving the Karger-Stein bound , 2019, STOC.

[28]  Ken-ichi Kawarabayashi,et al.  The Minimum k-way Cut of Bounded Size is Fixed-Parameter Tractable , 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

[29]  Vijay V. Vazirani,et al.  Finding k-cuts within twice the optimal , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.