小規模な動的rank/select辞書の追加記憶量を最適化
Achieving Optimal Redundancy for Small Dynamic Rank/Select Dictionaries
この論文をやさしく読む
ひとことで言うと
要素を追加・削除しながら、ある値までに何個あるかや何番目の要素かを調べる辞書について、速さを保つのに必要な記憶量を理論的に調べています。
何に役立つ？
省メモリな動的索引を設計するときに、操作時間と追加ビット数の交換条件を理解するのに役立ちます。圧縮したデータ構造を比較するための理論的な基準になります。
この研究の面白いところ
小さい辞書を構成するだけでなく、これ以上速くできないという下界も拡張して最適性を示しています。集合だけでなく補集合への問い合わせも扱います。
どこまで分かった？
結果は乗算を使えるwビットWord-RAMモデルでの理論保証です。最適性を示す範囲はn＝w^O(1)で、下界にもn ≦ √uなどの条件があります。式のlog⁽ᵏ⁾はk回の反復対数を表し、実装の実測速度ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本論文では、rank/select操作を最適な時間で実行する動的辞書の構成に必要なビット数を研究する。wビットのワードを持ち、乗算を使える標準的なWord-RAMモデルで、n個の要素からなる集合S ⊆ {0, 1, …, u−1}に対する動的rank/select辞書のデータ構造を構成する。パラメータ1 ≦ k ≦ log* wが与えられると、この構造はlg(二項係数u choose n) ＋ O(n log⁽ᵏ⁾ w)ビットを使用し、すべての操作を最適な最悪時時間O(k ＋ log_w n)で実行する。 Li、Liang、Yu、Zhouによる下界［FOCS 2023］を超多項式的な大きさの全体集合に拡張することで、n＝w^O(1)の場合の最適性を示す。すなわち、n ≦ √u個の要素に対し、lg(二項係数u choose n) ＋ O(n log⁽ᵏ⁾ n)ビットを使用する任意の動的辞書は、操作にΩ(k)時間を要する。最後に、このデータ構造を動的な完全索引可能辞書へ拡張する。この辞書はSの補集合についてもrank/selectをサポートする。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In this paper, we study the number of bits required to construct a dynamic dictionary with optimal time for $\texttt{rank}/\texttt{select}$ operations. Using the standard (multiplication) Word-RAM model with $w$-bit words, we construct a data-structure for a dynamic $\texttt{rank}/\texttt{select}$ dictionary for a set $S\subseteq\{0,1,\cdots,u-1\}$ of $n$ elements that, given a parameter $1\leq k\leq \log^*w$, uses $$\operatorname{lg}\binom{u}{n}+\mathcal{O}(n\log^{(k)}w)\text{ bits}$$ taking optimal $\mathcal{O}(k+\log_w n)$ time (worst-case) for all operations. We show optimality for $n=w^{\mathcal{O}(1)}$ by extending the lower bound of Li, Liang, Yu, and Zhou [FOCS 2023] to super-polynomial universes: any dynamic dictionary for $n\leq \sqrt{u}$ elements that uses $\operatorname{lg}\binom{u}{n}+\mathcal{O}(n\log^{(k)}n)$ bits requires $\Omega(k)$ time for operations. Lastly, we extend the data-structure to a dynamic fully indexable dictionary (that also supports $\texttt{rank}/\texttt{select}$ on the complement of $S$).
著者のコメント
18 pages; 2 figures
arXiv ID: 2610.01853 ／ 要約の誤りについて