,
Songhua He
,
Periklis A. Papakonstantinou
Creative Commons Attribution 4.0 International license
This work initiates the study of memory–query tradeoffs for graph problems, with a focus on correlation clustering. Correlation clustering asks for a partition of the vertices that minimizes disagreements: non‑edges inside clusters plus edges across clusters. Our first result is a tight query lower bound: to output a partition whose cost approximates the optimum up to an additive error of ε n², any algorithm requires Ω(n/ε²) adjacency-matrix queries. Under memory constraints, we show that even for the seemingly easier task of approximating the optimal clustering cost (without producing a partition), any algorithm in the random query model must make ≫ n/ε² adjacency-matrix queries. Finally, we prove the first general graph model query lower bound for correlation clustering, where algorithms are allowed adjacency-matrix, neighbor, and degree queries. The latter two bounds are not yet tight, leaving room for sharper results.
@InProceedings{garg_et_al:LIPIcs.ITCS.2026.67,
author = {Garg, Sumegha and He, Songhua and Papakonstantinou, Periklis A.},
title = {{Query Lower Bounds for Correlation Clustering Under Memory Constraints}},
booktitle = {17th Innovations in Theoretical Computer Science Conference (ITCS 2026)},
pages = {67:1--67:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-410-9},
ISSN = {1868-8969},
year = {2026},
volume = {362},
editor = {Saraf, Shubhangi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2026.67},
URN = {urn:nbn:de:0030-drops-253542},
doi = {10.4230/LIPIcs.ITCS.2026.67},
annote = {Keywords: correlation clustering, query-space complexity, information theory}
}