English

(1,1)-Cluster Editing is Polynomial-time Solvable

Data Structures and Algorithms 2023-07-06 v2 Discrete Mathematics Machine Learning Combinatorics

Abstract

A graph HH is a clique graph if HH is a vertex-disjoin union of cliques. Abu-Khzam (2017) introduced the (a,d)(a,d)-{Cluster Editing} problem, where for fixed natural numbers a,da,d, given a graph GG and vertex-weights a: V(G){0,1,,a}a^*:\ V(G)\rightarrow \{0,1,\dots, a\} and d: V(G){0,1,,d}d^*{}:\ V(G)\rightarrow \{0,1,\dots, d\}, we are to decide whether GG can be turned into a cluster graph by deleting at most d(v)d^*(v) edges incident to every vV(G)v\in V(G) and adding at most a(v)a^*(v) edges incident to every vV(G)v\in V(G). Results by Komusiewicz and Uhlmann (2012) and Abu-Khzam (2017) provided a dichotomy of complexity (in P or NP-complete) of (a,d)(a,d)-{Cluster Editing} for all pairs a,da,d apart from a=d=1.a=d=1. Abu-Khzam (2017) conjectured that (1,1)(1,1)-{Cluster Editing} is in P. We resolve Abu-Khzam's conjecture in affirmative by (i) providing a serious of five polynomial-time reductions to C3C_3-free and C4C_4-free graphs of maximum degree at most 3, and (ii) designing a polynomial-time algorithm for solving (1,1)(1,1)-{Cluster Editing} on C3C_3-free and C4C_4-free graphs of maximum degree at most 3.

Keywords

Cite

@article{arxiv.2210.07722,
  title  = {(1,1)-Cluster Editing is Polynomial-time Solvable},
  author = {Gregory Gutin and Anders Yeo},
  journal= {arXiv preprint arXiv:2210.07722},
  year   = {2023}
}
R2 v1 2026-06-28T03:38:29.553Z