English

Subexponential Algorithms for Clique Cover on Unit Disk and Unit Ball Graphs

Data Structures and Algorithms 2024-10-07 v1 Computational Geometry

Abstract

In Clique Cover, given a graph GG and an integer kk, the task is to partition the vertices of GG into kk cliques. Clique Cover on unit ball graphs has a natural interpretation as a clustering problem, where the objective function is the maximum diameter of a cluster. Many classical NP-hard problems are known to admit 2O(n(11/d))2^{O(n^{(1 - 1/d)})}-time algorithms on unit ball graphs in Rd\mathbb{R}^d [de Berg et al., SIAM J. Comp 2018]. A notable exception is the Maximum Clique problem, which admits a polynomial-time algorithm on unit disk graphs and a subexponential algorithm on unit ball graphs in R3\mathbb{R}^3, but no subexponential algorithm on unit ball graphs in dimensions 4 or larger, assuming the ETH [Bonamy et al., JACM 2021]. In this work, we show that Clique Cover also suffers from a "curse of dimensionality", albeit in a significantly different way compared to Maximum Clique. We present a 2O(n)2^{O(\sqrt{n})}-time algorithm for unit disk graphs and argue that it is tight under the ETH. On the other hand, we show that Clique Cover does not admit a 2o(n)2^{o(n)}-time algorithm on unit ball graphs in dimension 55, unless the ETH fails.

Keywords

Cite

@article{arxiv.2410.03609,
  title  = {Subexponential Algorithms for Clique Cover on Unit Disk and Unit Ball Graphs},
  author = {Tomohiro Koana and Nidhi Purohit and Kirill Simonov},
  journal= {arXiv preprint arXiv:2410.03609},
  year   = {2024}
}
R2 v1 2026-06-28T19:08:53.114Z