English

Sub-$n^k$ Deterministic algorithm for minimum $k$-way cut in simple graphs

Data Structures and Algorithms 2025-12-23 v2 Combinatorics

Abstract

We present a \emph{deterministic exact algorithm} for the \emph{minimum kk-cut problem} on simple graphs. Our approach combines the \emph{principal sequence of partitions (PSP)}, derived canonically from ideal loads, with a single level of \emph{Kawarabayashi--Thorup (KT)} contractions at the critical PSP threshold~λj\lambda_j. Let jj be the smallest index with κ(Pj)k\kappa(P_j)\ge k and R:=kκ(Pj1)R := k - \kappa(P_{j-1}). We prove a structural decomposition theorem showing that an optimal kk-cut can be expressed as the level-(j ⁣ ⁣1)(j\!-\!1) boundary Aj1A_{\le j-1} together with exactly (Rr)(R-r) \emph{non-trivial} internal cuts of value at most~λj\lambda_j and rr \emph{singleton isolations} (``islands'') inside the parts of~Pj1P_{j-1}. At this level, KT contractions yield kernels of total size O~(n/λj)\widetilde{O}(n / \lambda_j), and from them we build a \emph{canonical border family}~B\mathcal{B} of the same order that deterministically covers all optimal refinement choices. Branching only over~B\mathcal{B} (and also including an explicit ``island'' branch) gives total running time T(n,m,k)=O~(poly(m)+(nλj+nω/3)R), T(n,m,k) = \widetilde{O}\left(\mathrm{poly}(m)+\Bigl(\tfrac{n}{\lambda_j}+n^{\omega/3}\Bigr)^{R}\right), where ω<2.373\omega < 2.373 is the matrix multiplication exponent. In particular, if λjnε\lambda_j \ge n^{\varepsilon} for some constant ε>0\varepsilon > 0, we obtain a \emph{deterministic sub-nkn^k-time algorithm}, running in n(1ε)(k1)+o(k)n^{(1-\varepsilon)(k-1)+o(k)} time. Finally, combining our PSP×\timesKT framework with a small-λ\lambda exact subroutine via a simple meta-reduction yields a deterministic nck+O(1)n^{c k+O(1)} algorithm for c=max{t/(t+1),ω/3}<1c = \max\{ t/(t+1), \omega/3 \} < 1, aligning with the exponent in the randomized bound of He--Li (STOC~2022) under the assumed subroutine.

Keywords

Cite

@article{arxiv.2512.12900,
  title  = {Sub-$n^k$ Deterministic algorithm for minimum $k$-way cut in simple graphs},
  author = {Mohit Daga},
  journal= {arXiv preprint arXiv:2512.12900},
  year   = {2025}
}

Comments

Added more details in section 3

R2 v1 2026-07-01T08:24:25.866Z