EPTAS for Hard Graph Cut Problems for Dense Graphs

TL;DR

This paper develops the first Efficient Polynomial-Time Approximation Schemes (EPTAS) for several dense graph cut problems, significantly improving runtime efficiency over previous PTAS algorithms.

Contribution

The paper introduces EPTAS algorithms for key graph cut problems on dense graphs, avoiding complex tools like Lasserre hierarchy used in prior work.

Findings

EPTAS for ConstrainedMinCut with runtime f(1/ε)n^{O(1)}

EPTASs for MinQuotientCut and ProductSparsestCut on dense graphs

Avoids using Lasserre hierarchy or complex integer programming techniques

Abstract

Everywhere-$\delta$-dense graphs are defined as graphs on $n$ vertices in which every vertex has degree at least $\delta n$ for some constant $\delta > 0$. Approximation schemes are vital for handling NP-hard optimization problems, but for many graph cut problems, existing PTAS algorithms often suffer from running times of $n^{f(1/\varepsilon)}$. In this paper, we bring PTASs down to EPTASs for several fundamental minimization problems on everywhere-$\Omega(1)$-dense graphs. Specifically, we present the first Efficient Polynomial-Time Approximation Scheme (EPTAS), running in time $f(1/\varepsilon)n^{O(1)}$, for the ConstrainedMinCut problem under a global constraint on vertex weights, a problem that captures BalancedSeparator and SmallSetExpansion. Moreover, we give the first EPTASs for MinQuotientCut and ProductSparsestCut on everywhere-$\delta$-dense graphs with integer-valued dense vertex weights; these problems generalize the four well-known problems UniformSparsestCut, EdgeExpansion, Conductance, and NormalizedCut. Our main technical contribution is an EPTAS for ConstrainedMinCut, based on the weak regularity lemma and sampling and estimation techniques. We then obtain EPTASs for MinQuotientCut and ProductSparsestCut via a unified reduction that invokes this algorithm as a subroutine. In contrast, previous works giving PTASs for these problems on everywhere-$\delta$-dense graphs typically rely on powerful tools such as the Lasserre hierarchy or specific integer programming technique, which we avoid.