[論文レビュー] On Dynamic Range Reporting in One Dimension

Christian Worm Mortensen, Rasmus Pagh+1 more|ArXiv.org|Feb 5, 2005

Algorithms and Data Compression参考文献 11被引用数 39

ひとこと要約

本稿では、wビットワードを備えたワードRAM上で、O(lg w)の更新時間とO(lg lg w)のクエリ時間を持つ、1次元範囲報告のための動的データ構造を提示する。これは、先行者探索の境界を著しく改善したものである。この解決法は、van Emde Boas再帰よりも強力な、新規の再帰スキームを用い、2分ヒープのすべての経路に適用することで、指数関数的に高速なクエリを実現する。同時に、部分線形空間使用量を持つ新規の動的完全ハッシュ化スキームにより、最適なO(n)の空間使用量を維持する。

ABSTRACT

We consider the problem of maintaining a dynamic set of integers and answering queries of the form: report a point (equivalently, all points) in a given interval. Range searching is a natural and fundamental variant of integer search, and can be solved using predecessor search. However, for a RAM with w-bit words, we show how to perform updates in O(lg w) time and answer queries in O(lglg w) time. The update time is identical to the van Emde Boas structure, but the query time is exponentially faster. Existing lower bounds show that achieving our query time for predecessor search requires doubly-exponentially slower updates. We present some arguments supporting the conjecture that our solution is optimal. Our solution is based on a new and interesting recursion idea which is "more extreme" that the van Emde Boas recursion. Whereas van Emde Boas uses a simple recursion (repeated halving) on each path in a trie, we use a nontrivial, van Emde Boas-like recursion on every such path. Despite this, our algorithm is quite clean when seen from the right angle. To achieve linear space for our data structure, we solve a problem which is of independent interest. We develop the first scheme for dynamic perfect hashing requiring sublinear space. This gives a dynamic Bloomier filter (an approximate storage scheme for sparse vectors) which uses low space. We strengthen previous lower bounds to show that these results are optimal.

研究の動機と目的

• 1次元の範囲報告のための動的データ構造を設計し、先行者探索構造よりも高速なクエリ時間の達成を目的とする。
• 先行者探索における更新時間とクエリ時間の本質的トレードオフを克服し、より高速なクエリを実現するが、その代償として二重指数関数的更新時間が必要となる問題を解消する。
• このような高速なクエリ時間と併せた最適なO(n)の空間使用量を達成する動的範囲報告の実現を目的とする。これは、かつてこのような高速なクエリ時間と併せた最適な空間使用量は達成されていなかった。
• 非ゼロキーに対する正しく動作する操作をサポートする部分線形空間を使用する新規の動的完全ハッシュ化スキームの開発を目的とする。これは、スパースベクトル表現の主要な問題を解決する。
• Greater-than関数および関連問題に対する新しい下界を用いて、提案された解決法の最適性を証明する。

提案手法

• コア技術は、単純な半分割りではなく、2分ヒープの各ルートからリーフへの経路に、非自明でvan Emde Boasに類似した再帰を適用することにより、より高速なクエリ解決を可能にする。
• この方法は、Greater-than関数のビットプローブ複雑度に適用され、その後、ヒープのすべての経路に適用することで、動的範囲報告に一般化される。
• 部分線形空間を使用する新規の動的完全ハッシュ化スキームが導入され、スパースベクトルの効率的格納とBloomierフィルタ問題のサポートを可能にする。
• データ構造は、複数のレベルの再帰を持つ階層的ヒープを維持しており、各レベルでBloomierフィルタを用いて分岐の祖先を追跡し、高速なナビゲーションを可能にする。
• クエリ処理は、再帰的構造のシーケンスにおける二分探索を伴い、各レベルで祖先ポインタの正しさを検証するチェックを実施することで、Bloomierフィルタが無効なノードに対して任意の結果を返しても正しく動作することを保証する。
• 太陽花補題とFredmanの証明技法を用いて下界が導出され、最適でないクエリ時間を持つ任意の解法は、指数関数的に遅い更新時間を持つ必要があることが示された。

実験結果

リサーチクエスチョン

• RQ1 1次元の範囲報告を、先行者探索よりも著しく高速なクエリ時間で解くことは可能か？ ただし、効率的な更新時間を維持するものとする。
• RQ2 ワードRAMモデルにおいて、O(lg lg w)のクエリ時間とO(lg w)の更新時間の両方を達成することは可能か？ これは、先行者探索に既知の下界があるにもかかわらず。
• RQ3 非ゼロキーに対して正しく動作する操作をサポートする部分線形空間を使用する動的完全ハッシュ化スキームを構築することは可能か？
• RQ4 1次元の動的範囲報告における、更新時間とクエリ時間の最適なトレードオフは何か？
• RQ5 Greater-than関数および範囲報告問題に対する提案された境界はタイトであり、情報理論的下界を用いて最適性を証明できるか？

主な発見

• 本稿では、動的範囲報告においてO(lg w)の更新時間とO(lg lg w)のクエリ時間を達成した。これは、同じ更新時間の先行者探索と比較して、指数関数的に高速である。
• 提案された解決法は、van Emde Boas再帰よりも強力な新規の再帰スキームを用い、ヒープのすべての経路でより高速なクエリ解決を可能にした。
• 部分線形空間を使用する新規の動的完全ハッシュ化スキームが開発され、Bloomierフィルタ問題におけるスパースベクトル格納のための効率的空間使用問題を解決した。
• データ構造はO(n)ワードの空間を使用し、動的範囲報告における最適な空間使用量を達成した。
• 下界が証明され、O(lg lg w)のクエリ時間を持つ任意の解法は、先行者探索において少なくともΩ(2^{w^{1-ε}})の更新時間を持つ必要があることが示された。これにより、本研究で提示されたトレードオフの最適性が確認された。
• 太陽花補題とFredmanの証明技法の組み合わせにより、結果が最適であることが示され、Greater-than関数および関連問題に対するタイトな境界が確立された。