• Corpus ID: 245131065

Optimal Fully Dynamic k-Centers Clustering

@article{Bateni2021OptimalFD,
  title={Optimal Fully Dynamic k-Centers Clustering},
  author={MohammadHossein Bateni and Hossein Esfandiari and Rajesh Jayaram and Vahab S. Mirrokni},
  journal={ArXiv},
  year={2021},
  volume={abs/2112.07050}
}

• M. Bateni, Hossein Esfandiari, +1 author V. Mirrokni
• Published 13 December 2021
• Computer Science
• ArXiv

We present the first algorithm for fully dynamic k-centers clustering in an arbitrary metric space that maintains an optimal 2 + ǫ approximation in O(k · polylog(n,∆)) amortized update time. Here, n is an upper bound on the number of active points at any time, and ∆ is the aspect ratio of the data. Previously, the best known amortized update time was O(k · polylog(n,∆)), and is due to Chan, Gourqin, and Sozio [CGS18]. We demonstrate that the runtime of our algorithm is optimal up to polylog(n,∆) factors, even for insertion-only streams, which closes the complexity of fully dynamic k-centers clustering. In particular, we prove that any algorithm for k-clustering tasks in arbitrary metric spaces, including k-means, k-medians, and k-centers, must make at least Ω(nk) distance queries to achieve any non-trivial approximation factor. Despite the lower bound for arbitrary metrics, we demonstrate that an update time sublinear in k is possible for metric spaces which admit locally sensitive hash functions (LSH). Namely, we demonstrate a black-box transformation which takes a locally sensitive hash family for a metric space and produces a faster fully dynamic k-centers algorithm for that space. In particular, for a large class of metrics including Euclidean space, lp spaces, the Hamming Metric, and the Jaccard Metric, for any c > 1, our results yield a c(4 + ǫ) approximate k-centers solution in O(n ·polylog(n,∆)) amortized update time, simultaneously for all k ≥ 1. Previously, the only known comparable result was a O(c log n) approximation for Euclidean space due to Schmidt and Sohler, running in the same amortized update time [SS19].