[論文レビュー] Time-Space Trade-Offs for Predecessor Search

Mihai Pǎtraşcu, Mikkel Thorup|ArXiv.org|Mar 10, 2006

Complexity and Algorithms in Graphs参考文献 11被引用数 6

ひとこと要約

この論文は、新しいセルプローブ除去補題を用いて、静的先行者探索のためのタイトな時間-空間トレードオフを確立し、通信複雑性の障壁を打ち破った。これは、多項式のユニバースと近線形空間におけるvan Emde Boasのデータ構造が最適であることを証明し、静的データ構造の複雑性分野における長年の未解決問題を解消した。

ABSTRACT

We develop a new technique for proving cell-probe lower bounds for static data structures. Previous lower bounds used a reduction to communication games, which was known not to be tight by counting arguments. We give the first lower bound for an explicit problem which breaks this communication complexity barrier. In addition, our bounds give the first separation between polynomial and near linear space. Such a separation is inherently impossible by communication complexity. Using our lower bound technique and new upper bound constructions, we obtain tight bounds for searching predecessors among a static set of integers. Given a set Y of n integers of l bits each, the goal is to efficiently find predecessor(x) = max{y in Y | y <= x}, by representing Y on a RAM using space S. In external memory, it follows that the optimal strategy is to use either standard B-trees, or a RAM algorithm ignoring the larger block size. In the important case of l = c*lg n, for c>1 (i.e. polynomial universes), and near linear space (such as S = n*poly(lg n)), the optimal search time is Theta(lg l). Thus, our lower bound implies the surprising conclusion that van Emde Boas' classic data structure from [FOCS'75] is optimal in this case. Note that for space n^{1+eps}, a running time of O(lg l / lglg l) was given by Beame and Fich [STOC'99].

研究の動機と目的

• 静的データ構造のセルプローブ下界を証明する際の通信複雑性の障壁を克服すること。
• セルプローブモデルにおける静的先行者探索問題のタイトな時間-空間トレードオフを確立すること。
• 多項式ユニバースサイズと近線形空間の重要な領域におけるvan Emde Boasのデータ構造の最適性を解明すること。
• 既存の通信ベースの手法を超える新しい下界技術—セルプローブ除去補題—を開発すること。
• 明示的なデータ構造問題において、多項式空間と近線形空間の複雑性の間に分離を達成すること。

提案手法

• 通信複雑性の還元を回避するため、セルプローブモデルにおける下界を証明する新しい技術としてセルプローブ除去補題を導入する。
• セル長 $ w $、$ \ell $ ビットの $ n $ 個の整数の集合 $ Y $ における先行者探索にこの補題を適用し、$ S $ ワードの記憶領域を用いる。
• $ n $, $ \ell $, $ w $, $ S $ の関数としてのクエリ時間のタイトな上界を導出し、対立する4つの項（対数および比の表現を含む）で表す。
• 基数と長さの低減サブプロブレムを管理するため、適切に選ばれた接頭辞と文字集合に基づく2段階のハッシュテーブルを用いた再帰的データ構造を設計する。
• パラメータ $ h $ を用いて、サイズ $ q^{2h} $ の部分集合 $ Z \subset Y $ に基づく再帰的分解を採用する。
• 2種類のサブプロブレムを用いる：$ Z $ に属さないキーのための基数低減型、および $ Z $ に属さない共通接頭辞を持つキーのための長さ低減型。それぞれを最小限の記憶領域で格納する。

実験結果

リサーチクエスチョン

• RQ1 新しい下界技術が、静的データ構造のセルプローブ下界を証明する際の通信複雑性の障壁を打ち破れるか？
• RQ2 セルプローブモデルにおける静的先行者探索のタイトな時間-空間トレードオフは何か？
• RQ3 多項式ユニバースと近線形空間において、van Emde Boasのデータ構造は最適か？
• RQ4 明示的なデータ構造問題において、多項式空間と近線形空間の複雑性の間に分離を達成できるか？
• RQ5 セルプローブ除去補題は、通信ベースの還元を超えて、データ構造の複雑性を直接分析可能か？

主な発見

• 本論文は、通信複雑性の障壁を打ち破る新しいセルプローブ下界技術—セルプローブ除去補題—を確立した。これにより、明示的な問題において多項式空間と近線形空間の間の分離が初めて達成された。
• $ w = \ell = \gamma \lg n $ で $ \gamma > 1 $、かつ $ S = n \cdot \lg^{O(1)}n $ の場合、最適クエリ時間は $ \Theta(\lg \ell) $ である。これは、この領域でvan Emde Boasの構造が最適であることを証明する。
• タイトなクエリ時間は、$ \lg n $, $ \ell $, $ w $, および $ a = \lg(S/n) + \lg w $ を含む4つの競合する式の最小値として与えられ、異なるトレードオフの領域を捉えている。
• 外部記憶（$ w > \ell $）では、最適戦略は標準のBツリーまたはブロックサイズを無視するRAMアルゴリズムのどちらかであり、より大きなワード長に利点はない。
• データ構造が使用する総記憶領域は $ O((q^{2h} + m)\ell) $ であり、ここで $ m = |Z| + |V| $ である。再帰的基数および長さ低減により、提示された記憶領域と時間の境界が達成される。
• 解析により、長さ低減サブプロブレムに含まれるキーの総数は $ |Z| + |V| $ で抑えられ、記憶領域の境界が保たれ、再帰が正しく終了することが保証される。