We present a \emph{deterministic exact algorithm} for the \emph{minimum -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~. Let be the smallest index with and . We prove a structural decomposition theorem showing that an optimal -cut can be expressed as the level- boundary together with exactly \emph{non-trivial} internal cuts of value at most~ and \emph{singleton isolations} (islands'') inside the parts of~$P_{j-1}$. At this level, KT contractions yield kernels of total size $\widetilde{O}(n / λ_j)$, and from them we build a \emph{canonical border family}~$\mathcal{B}$ of the same order that deterministically covers all optimal refinement choices. Branching only over~$\mathcal{B}$ (and also including an explicit island’’ branch) gives total running time where is the matrix multiplication exponent. In particular, if for some constant , we obtain a \emph{deterministic sub--time algorithm}, running in time. Finally, combining our PSPKT framework with a small- exact subroutine via a simple meta-reduction yields a deterministic algorithm for , aligning with the exponent in the randomized bound of He–Li (STOC~2022) under the assumed subroutine.

生成讲解博客的中文版本

生成AI智能校验的中文版本