削除を定数時間で行うUnion-Find構造の最悪時計算量
Union-Find with Constant-Time Deletions Across the Optimal Worst-Case Tradeoff
この論文をやさしく読む
ひとことで言うと
要素を削除できるUnion-Findで、現在残る要素数に応じた最悪時計算量を保証する研究。
何に役立つ？
動的な集合管理で、追加・結合・削除・探索の費用を設計する際の理論的な選択肢になる。
この研究の面白いところ
削除を要素のハンドルだけで最悪時定数時間に保ち、集合の大きさも過去の総作成数ではなく現在の要素数で評価している。
どこまで分かった？
主張はk≥2というパラメータで表す計算量のトレードオフである。実測速度や特定のアプリケーションでの性能は要旨にない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
削除に対応するUnion-Findを考える。表現と問い合わせの費用は、これまで作成した要素の総数ではなく、現在生きている要素の数に依存しなければならない。整数パラメータ k≥2 のそれぞれについて、線形空間を使い、MakeSetを最悪時 O(1)、Unionを最悪時 O(k)、Deleteを最悪時 O(1)、生きている要素をn個含む集合に対するFindを最悪時 O(1+log n/log k) で行うデータ構造を示す。削除時に与えられるのは要素のハンドルだけで、現在属する集合の識別子ではない。 構成では、全体のランクの増加と、削除後の局所的な修復を分ける。論理的な集合を、互いに重ならないk本未満のランク付き木で表す。同じレベルの木は、k個の証明書がそろうまで物理的に結合せずに集め、そろった時点でO(k)時間のk進繰り上がりを1回行う。各木には、Ben-AmramとYoffeの完全・縮小型の局所再構築方式を強化したものを使う。q=3/2 とするq進の値に関する議論で局所木とk進の証明書を結び付け、現在の集合サイズに基づく前述の高さの上界を得る。小さいが不可欠な規則として、高ランクの星形構造を処理する。これはk進の繰り上がりで生じ得るが、先行する局所方式の基になった2進ランクの構成では直接生じない状態である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19（UTC）
- 最新改訂
- 2026-09-19 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-19 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We consider union-find with deletions, where the representation and the cost of a query must depend on the current number of live elements rather than on the number of elements ever created. For every integer parameter $k\ge 2$, we give a linear-space data structure supporting $\mathsf{MakeSet}$ in $O(1)$ worst-case time, $\mathsf{Union}$ in $O(k)$ worst-case time, $\mathsf{Delete}$ in $O(1)$ worst-case time, and $\mathsf{Find}$ in $O\left(1+\frac{\log n}{\log k}\right)$ worst-case time for a set containing $n$ live elements. A deletion is given only an element handle, not the identifier of its current set. The construction separates global rank growth from local deletion repair. A logical set is represented by fewer than $k$ disjoint ranked trees. Equal-level trees are collected without physical linking until $k$ certificates are available, at which point one base-$k$ carry is performed in $O(k)$ time. Each member tree uses a strengthened form of the full/reduced local rebuilding scheme of Ben-Amram and Yoffe. A $q$-ary value argument, with $q=3/2$, couples the local trees to the base-$k$ certificates and yields the stated current-size height bound. A small but essential rule handles high-rank stars, a state that the base-$k$ carry can create but that does not arise directly in the binary-rank construction underlying the earlier local scheme.
著者のコメント
10 pages, 1 table, no figures
arXiv ID: 2609.22892 ／ 要約の誤りについて