TY - GEN
T1 - Static to Dynamic Correlation Clustering
AU - Cao, Nairen
AU - Cohen-Addad, Vincent
AU - Lee, Euiwoong
AU - Li, Shi
AU - Lolck, David Rasmussen
AU - Newman, Alantha
AU - Thorup, Mikkel
AU - Vogl, Lukas
AU - Yan, Shuyi
AU - Zhang, Hanwen
N1 - Publisher Copyright:
© Nairen Cao, Vincent Cohen-Addad, Euiwoong Lee, Shi Li, David Rasmussen Lolck, Alantha Newman, Mikkel Thorup, Lukas Vogl, Shuyi Yan, and Hanwen Zhang.
PY - 2026/7/1
Y1 - 2026/7/1
N2 - Correlation clustering is a well-studied problem, first proposed by Bansal, Blum, and Chawla [Mach. Learn.'04]. The input is an unweighted, undirected graph. The problem is to cluster the vertices so as to minimize the number of edges between vertices in different clusters and missing edges between vertices inside the same cluster. This problem has a wide application in data mining and machine learning. We introduce a general framework that transforms existing static correlation clustering algorithms into fully-dynamic ones that work against an adaptive adversary. We show how to apply our framework to known efficient correlation clustering algorithms, starting from the classic 3-approximate Pivot algorithm from Ailon, Charikar and Newman [JACM'08]. Applied to the most recent sublinear 1.485-approximation algorithm from Cao, Cohen-Addad, Lee, Li, Lolck, Newman, Thorup, Vogl, Yan and Zhang [STOC'25] 1, we get an 1.485-approximation fully-dynamic algorithm that works with worst-case constant update time. The original static algorithm gets its approximation factor with constant probability, and we get the same against an adaptive adversary in the sense that for any given update step, not known to our algorithm, our solution is an 1.485-approximation with constant probability when we reach this update. Most of previous dynamic algorithms, including the celebrated result from Behnezhad, Charikar, Ma and Tan [FOCS'19], had approximation factors around 3 in expectation, and they could only handle an oblivious adversary. A recent algorithm by Braverman, Dharangutte, Pai, Shah, and Wang [AISTATS'25] handles an adaptive adversary, but it has a large unspecified constant approximation ratio. This contrasts with our general transformation, which works with all the best approximation factors known for the static case.
AB - Correlation clustering is a well-studied problem, first proposed by Bansal, Blum, and Chawla [Mach. Learn.'04]. The input is an unweighted, undirected graph. The problem is to cluster the vertices so as to minimize the number of edges between vertices in different clusters and missing edges between vertices inside the same cluster. This problem has a wide application in data mining and machine learning. We introduce a general framework that transforms existing static correlation clustering algorithms into fully-dynamic ones that work against an adaptive adversary. We show how to apply our framework to known efficient correlation clustering algorithms, starting from the classic 3-approximate Pivot algorithm from Ailon, Charikar and Newman [JACM'08]. Applied to the most recent sublinear 1.485-approximation algorithm from Cao, Cohen-Addad, Lee, Li, Lolck, Newman, Thorup, Vogl, Yan and Zhang [STOC'25] 1, we get an 1.485-approximation fully-dynamic algorithm that works with worst-case constant update time. The original static algorithm gets its approximation factor with constant probability, and we get the same against an adaptive adversary in the sense that for any given update step, not known to our algorithm, our solution is an 1.485-approximation with constant probability when we reach this update. Most of previous dynamic algorithms, including the celebrated result from Behnezhad, Charikar, Ma and Tan [FOCS'19], had approximation factors around 3 in expectation, and they could only handle an oblivious adversary. A recent algorithm by Braverman, Dharangutte, Pai, Shah, and Wang [AISTATS'25] handles an adaptive adversary, but it has a large unspecified constant approximation ratio. This contrasts with our general transformation, which works with all the best approximation factors known for the static case.
KW - Approximation Algorithms
KW - Correlation Clustering
KW - Dynamic Algorithms
UR - https://www.scopus.com/pages/publications/105044599517
U2 - 10.4230/LIPIcs.ICALP.2026.48
DO - 10.4230/LIPIcs.ICALP.2026.48
M3 - Conference contribution
AN - SCOPUS:105044599517
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 53rd International Colloquium on Automata, Languages, and Programming, ICALP 2026
A2 - Bhattacharya, Sayan
A2 - Nanongkai, Danupon
A2 - Benedikt, Michael
A2 - Puppis, Gabriele
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 53rd International Colloquium on Automata, Languages, and Programming, ICALP 2026
Y2 - 7 July 2026 through 10 July 2026
ER -