cs.DSNov 4, 2026

Improved approximation algorithms for capacitated cluster editing

Authors: Cong Ma, Guangting Chen, Yong Chen, Guohui Lin, Jiaxuan Ma, Lusheng Wang

Organizations: School of Mathematics, Hangzhou Dianzi University. Hangzhou, China. · Zhejiang University of Water Resources and Electric Power. Hangzhou, China. · Department of Computing Science, University of Alberta. Edmonton, Canada. · Department of Computer Science, City University of Hong Kong. Hong Kong, China.

Abstract

We study the minimum-disagreement cluster editing problem that, from a complete edge-signed graph, where a positive edge represents two vertices agreeing to each other while a negative represents a disagreement, constructs disjoint cliques of upper bounded size such that the total number of negative edges inside cliques and positive edges outside cliques is minimized. When the sizes of the candidate cliques are unbounded, the problem is NP-hard and APX-hard, and many approximation algorithms with improving ratios have been proposed in the literature and the state-of-the-art approximation ratio of α=1.3865+εα= 1.3865 + ε. The capacitated variant, in which the candidate cliques have sizes no greater than a given kk, is less studied and the best approximation ratio is 5.375.37. In this paper, we study the latter problem. We first present a downsizing procedure that achieves an approximation ratio of αk=2α+1α_k = 2 α+ 1, based on any αα-approximation algorithm for the uncapacitated problem. Secondly, we propose a hybrid of cluster-LP sampling and pivoting and show that for every fractional capacitated cluster-LP solution of cost LL, the hybrid using ordinary pivoting has an expected cost at most 95L+110\OPTk\frac 95 L + \frac 1{10} \OPT_k, and the hybrid using conditional pivoting has an expected cost at most 306203L+50203\OPTk\frac {306}{203} L + \frac {50}{203} \OPT_k. A cardinality-constrained adaptation of the approximate dual-separation framework of García-Soriano and Schohn supplies the required fractional solution and yields a randomized (1.9+ε)(1.9 + ε)-approximation algorithm and a randomized (1.7537+ε)(1.7537 + ε)-approximation algorithm, respectively.

Explore similar work

Nov 6, 2026

Coresets for Capacitated Clustering via Dual Concentration

We study coresets for clustering problems, focusing on the classical kk-median and kk-means objectives. A coreset is a small weighted summary of the input data that approximately preserves the clustering cost for every choice of centers. Such summaries are a central tool for scaling clustering algorithms to large datasets. In this work, we consider the capacitated setting, where the clustering is subject not only to choosing centers but also to respecting prescribed cluster-size constraints. This model is a natural generalization of standard clustering and has been widely studied, but its coreset complexity is less well understood. For finite metric spaces, we obtain optimal-size coresets; surprisingly, these match the best-known bounds for unconstrained clustering. We also give improved coreset bounds in Euclidean space, notably the first coresets with near-linear dependence in kk while being independent of the dimension and input size. The main new technical ingredients are concentration bounds for the dual solutions of min-cost flow problems, which allow for both significantly simpler and tighter analyses of the underlying sampling distribution used in the coreset construction.
Jul 14, 2026

Graph Partitioning with Demands: Generalized Conductance and its Applications

We study various graph partitioning tasks subject to general demands. In Graph Partitioning with Demands (GPD), the goal is to delete minimum cost supply edge set so that each remaining component contains at most a prescribed fraction of the total demand. In the hierarchical analogue of this problem, Hierarchical Clustering with Demands (HCD), the goal is to build a hierarchy of clusters, charging each supply edge by the demand in the smallest cluster containing its endpoints. Our main general-graph results are approximation algorithms for GPD and HCD. For every fixed 0<ρ<η<10<ρ<η<1, we give a polynomial-time bi-criteria algorithm for GPD whose components have demand at most η⋅Wη\cdot W and cost at most Oρ,η(log⁡n)\mathcal{O}_{ρ,η}(\sqrt{\log n}) times the optimum cost for threshold~ρρ. This procedure can then be applied recursively to obtain an O(log⁡n)\mathcal{O}(\sqrt{\log n})-approximation for HCD. The algorithm for GPD itself uses a crucial subproblem called Generalized Conductance (GC), a new generalization of the Sparsest Cut. On supply trees, we show that GC can be solved exactly in polynomial time. We also give bi-criteria algorithms for GPD based on anchored-LP rounding and separator recursion, as well as a single-criterion (4+ε)(4+ε)-approximation in nO(1/ρ)n^{O(1/ρ)} time. Moreover, through previous reduction, these GPD algorithms yield a 4ee−1\frac{4e}{e-1}-approximation for HCD on trees. We also prove that HCD and GPD and GC are SSEH-hard to approximate within any constant factor. On trees, assuming the Unique Games Conjecture (UGC), GPD is hard to approximate within a factor of 2−ε2-ε by reduction from Vertex Cover, while HCD is hard to approximate within a factor of 1.07481.0748, by reduction from Min-Sum Vertex Cover.
Aug 17, 2026

Correlation Clustering with Random Partial Information

Correlation clustering is a fundamental unsupervised learning problem. On complete graphs, both the min-disagreement and min-max objectives admit constant-factor approximations, yet on general (non-complete) graphs, the best guarantees blow up to O(log⁡n)O(\log n) and O(n)O(\sqrt{n}). This gap between the two regimes motivates the following question: are there classes of incomplete graphs that circumvent the lower bounds on general graphs and admit approximation guarantees approaching those attainable on complete graphs? We study a natural class of graphs obtained by randomly subsampling a complete signed graph GG, where each edge is independently deleted with probability qq. For such graph instances both for the min-max and the min-disagreement objectives, we prove approximation guarantees (depending on qq) that are substantially better than the bounds achievable for general graphs. We supplement our theoretical results with experiments that also suggest that the approximation ratios of our algorithm are close to those of the complete graph and better than the worst-case bounds for general (non-complete) graphs.