[論文レビュー] Cell-Probe Lower Bounds for Prefix Sums

Emanuele Viola|ArXiv.org|Jun 7, 2009

Algorithms and Data Compression参考文献 2被引用数 4

ひとこと要約

この論文は、プレフィックス和問題に対する最初のセルプローブ下界を確立し、任意の非適応的データ構造が lg n ビットの q 個のセルをプローブする場合、記憶領域は少なくとも n + n/log^Ω(q) n であることを証明している。これはパトラシュコ（2008年）による最良の既知の上界と一致する。証明は、統計的依存関係を分離するための分離補題と情報理論的道具を用い、データ構造があまりに空間効率が良いと仮定した場合に矛盾を導く。

ABSTRACT

We prove that to store n bits x so that each prefix-sum query Sum(i) := sum_{k < i} x_k can be answered by non-adaptively probing q cells of log n bits, one needs memory > n + n/log^{O(q)} n. Our bound matches a recent upper bound of n + n/log^{Omega(q)} n by Patrascu (FOCS 2008), also non-adaptive. We also obtain a n + n/log^{2^{O(q)}} n lower bound for storing a string of balanced brackets so that each Match(i) query can be answered by non-adaptively probing q cells. To obtain these bounds we show that a too efficient data structure allows us to break the correlations between query answers.

研究の動機と目的

• プレフィックス和クエリをサポートする省スペースデータ構造の既知の上界と下界のギャップを埋める。
• ビットストリングを格納し、プレフィックス和クエリをサポートする非適応的セルプローブデータ構造に対してタイトな下界を確立する。
• 下界技術を、対応する括弧クエリをサポートするバランスドブレケット問題へ拡張する。
• あまりに空間効率の良いデータ構造は、クエリ応答間の統計的相関を破壊し、矛盾を引き起こすことを示す。
• 統計的独立性とエントロピーの議論を用いた、データ構造における下界を証明する一般枠組みを提供する。

提案手法

• プレフィックス和のための不重複なセルプローブを保証するため、分離補題を用いてセルプローブの重複のない集合を特定する。
• 平均化の議論を適用して、小さなセル集合（B）の値を固定し、問題を独立したプローブに還元する。
• 情報理論的補題を用いて、一様分布に近いセルの集合 G を特定し、クエリ応答をほぼ独立に保つ。
• あまりに効率の良いデータ構造を仮定した場合、2つの関連するプレフィックス和事象の同時確率が既知の境界を超えることを示し、矛盾を導く。
• 入力セグメントを分割した上でエントロピーの議論を適用し、高いエントロピーを持つ変数を特定する。
• 集中限界と確率的不等式を適用して、クエリ結果の確率に関する矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 プレフィックス和のための非適応的データ構造は、n + n/log^Ω(q) n より少ない記憶領域で使用可能か？
• RQ2 プレフィックス和クエリをサポートする非適応的セルプローブデータ構造に必要な最小の冗長性は何か？
• RQ3 同じ技術を、括弧のマッチングのような、関連するクエリ応答を持つ他の問題に適用可能か？
• RQ4 あまりに効率の良いデータ構造は、必然的にクエリ応答間の統計的依存関係を破壊するか？
• RQ5 情報理論的道具を用いて、セルプローブモデルでタイトな下界を導出可能か？

主な発見

• この論文は、非適応的プレフィックス和データ構造に対して、n + n/log^A·q n の下界を証明しており、パトラシュコの上界と一致する。
• この下界は、プレフィックス和問題とバランスドブレケット問題の両方に対して成立し、同じ漸近的形を取る。
• 証明は、データ構造があまりに空間効率が良いと仮定した場合、クエリ応答が統計的に独立になるが、これは既知の同時確率と矛盾することを示している。
• 分離補題により、重複のないプローブ集合を持つ大きなインデックス集合の存在が保証され、独立した解析が可能になる。
• 入力ビットの部分集合が、以前のビットに条件付けられた状態でも高いエントロピーを持つことが特定され、矛盾の導出に不可欠である。
• 2つの関連する事象の同時確率が大きすぎるという事実が示され、これが既知の境界に反するため、最終的な矛盾が生じる。