arXiv:2412.03238cs.DScs.LG2024-12被引 12

提出最优动态聚类算法,每步更新仅需1次中心变更。

Dynamic Consistent $k$-Center Clustering with Optimal Recourse

  • 设计确定性算法,每次点增删仅需1次中心调整。
  • 实现6倍近似比的动态$ k $-中心聚类,优于此前8倍方案。
  • 算法简洁高效,可抵御自适应对手,适合实时系统使用。

在任意度量空间中,面对由对手发送的点序列更新(插入或删除),如何以最少的每次更新调整次数(即最小化回溯成本),保持$ k $-聚类问题的常数倍近似解?本文研究全动态设置下的$ k $-中心问题。此前工作仅考虑点插入,而本文首次给出$ k $-中心问题的确定性全动态常数近似算法,最坏情况下每次更新仅需1次中心变更,达到最优回溯界。算法基于轻量数据结构,实现更直接、更快。此外,我们还提出新的确定性增量与减量算法,均以最坏1次回溯代价维护6倍近似解。其中增量算法改进了1997年提出的8倍近似算法。由于三者均为确定性,均可应对自适应对手。

原文摘要 · Abstract (English)

Given points from an arbitrary metric space and a sequence of point updates sent by an adversary, what is the minimum recourse per update (i.e., the minimum number of changes needed to the set of centers after an update), in order to maintain a constant-factor approximation to a $k$-clustering problem? This question has received attention in recent years under the name consistent clustering. Previous works by Lattanzi and Vassilvitskii [ICLM '17] and Fichtenberger, Lattanzi, Norouzi-Fard, and Svensson [SODA '21] studied $k$-clustering objectives, including the $k$-center and the $k$-median objectives, under only point insertions. In this paper we study the $k$-center objective in the fully dynamic setting, where the update is either a point insertion or a point deletion. Before our work, Łącki, Haeupler, Grunau, Rozhoň, and Jayaram [SODA '24] gave a deterministic fully dynamic constant-factor approximation algorithm for the $k$-center objective with worst-case recourse of $2$ per update. In this work, we prove that the $k$-center clustering problem admits optimal recourse bounds by developing a deterministic fully dynamic constant-factor approximation algorithm with worst-case recourse of $1$ per update. Moreover our algorithm performs simple choices based on light data structures, and thus is arguably more direct and faster than the previous one which uses a sophisticated combinatorial structure. Additionally, we develop a new deterministic decremental algorithm and a new deterministic incremental algorithm, both of which maintain a $6$-approximate $k$-center solution with worst-case recourse of $1$ per update. Our incremental algorithm improves over the $8$-approximation algorithm by Charikar, Chekuri, Feder, and Motwani [STOC '97]. Finally, we remark that since all three of our algorithms are deterministic, they work against an adaptive adversary.

聚类动态算法近似算法优化

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。