arXiv News

First-hand information for everyone

Site

AboutPrivacy PolicyTerms of Use

© 2026 arXiv News

New Dynamic Algorithm Keeps Metric k‑Median Near‑Optimal with Worst‑Case Guarantees | arXiv News

arXiv News

EnglishJapanese

Switch language

EnglishJapanese
Loading account…

First-hand information for everyone

Back to front page
Data SystemsEnglishPublished

New Dynamic Algorithm Keeps Metric k‑Median Near‑Optimal with Worst‑Case Guarantees

November 14, 2026arXiv: 2611.17296v1

Researchers have created a fully dynamic algorithm for the metric k‑median problem that maintains a constant‑factor approximation while guaranteeing provable limits on how long each update takes and how many centers can shift. Each time a client is added or removed, the algorithm needs only about k time, and at most (1+log Δ)³ centers can be reassigned, where Δ is the aspect ratio of the underlying metric. The algorithm also works for k‑means under the same asymptotic bounds.

The method achieves these results by carefully sampling and updating a small set of candidate centers. After an initial setup that takes ≈ k (n₀+k) time for the starting clients, every subsequent insertion or deletion requires only Õ(k) operations. The worst‑case analysis shows that even the largest possible change in the set of centers is bounded by O((1+log Δ)³). These bounds hold for every execution, independent of random choices, while the constant‑factor approximation guarantee holds with high probability over any fixed sequence of updates.

Compared with earlier schemes, the new approach eliminates the previous dependence on amortized analysis. Earlier algorithms offered only amortized update times and logarithmic recourse, whereas this work provides worst‑case guarantees for both.

Table comparing algorithm performance: column for reference, approximation ratio, update time, recourse, and resource bounds. The row for this paper lists an $O(1)$ approximation, $ ilde O(k)$ worst‑case update time, and $O((1+ ext{log} riangle)^3)$ recourse.
ReferenceApproximationUpdate timeRecourseResource bounds
[7]O⁡(1/ε)O~​(k1+ε)O~​(kε)Amortized
[6]O⁡(1)O~​(k)O⁡(log2⁡Δ)Amortized
This paperO⁡(1)O~​(k)O⁡((1+log⁡Δ)3)Worst case
Table 1. Comparison of the new algorithm’s guarantees with prior work, showing an $O(1)$ approximation, $ ilde O(k)$ worst‑case update time, and $O((1+ ext{log} riangle)^3)$ recourse, versus earlier amortized bounds.Fan, Chenglin · arXiv:2611.17296v1 · Table 1: · CC BY 4.0

The authors note that the approximation guarantee can fail with tiny probability when the update sequence is chosen adaptively after observing past center sets. Nonetheless, the algorithm’s update time and recourse limits remain unconditional.

<visual id="visual_1"/>

Source paper

Dynamic $k$-Median with Worst-Case Update Time and Recourse

Data Systems
View on arXiv