arXiv News

すべての人に一次情報を

サイト

Aboutプライバシーポリシー利用規約

© 2026 arXiv News

arXiv News

英語日本語

言語を切り替え

英語日本語
アカウントを読み込み中…

すべての人に一次情報を

トップページに戻る
データシステム日本語公開済み

動的 k‑Median アルゴリズムが近似解と最悪ケース保証を実現

2026年11月14日arXiv: 2611.17296v1

本研究では、 動的メトリック k‑Median の完全動的アルゴリズムを提示した。各更新で、最大 k 個のセンターをクライアント位置から選び、 一定係数の近似解を保つことができる。

アルゴリズムは、初期化で約 k ( n₀ + k ) 時間を要し、以降の挿入・削除ごとに約 Õ(k) の時間で処理し、 中心の変更は最悪ケースで O( (1+log Δ)³ ) 個までに抑えられる。ここで Δ は基礎メトリックのアスペクト比である。

表1では、従来研究が持つ amortized(平均)更新時間や再帰量と比較し、本アルゴリズムが最悪ケースで Õ(k) の更新時間、O( (1+log Δ)³ ) の中心再帰量を保証していることを示している。

表1:完全動的k‑Medianの最悪ケース性能を従来研究と比較した表。列は参照、近似比率、更新時間、再帰量、リソース境界を示し、行は[7]、[6]、本論文を表している。
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. 表1は本研究のアルゴリズムが、以前の研究と比較して $O(1)$ の近似比率、$O~(k)$ の最悪ケース更新時間、$O((1+ ext{log} rac{Δ+1}{Δ})^3)$ の中心再帰量を達成していることを示す。Fan, Chenglin · arXiv:2611.17296v1 · Table 1: · CC BY 4.0

近似保証は、事前に決められた有限適応更新列に対して高確率で成立するが、 更新が過去の中心集合を観測した後に選択される場合には失敗する可能性がある。更新時間と再帰量の 最悪ケース保証は、乱数の選択に関係なく常に成立する。

元論文

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

データシステム
arXiv で見る
動的 k‑Median アルゴリズムが近似解と最悪ケース保証を実現 | arXiv News