[論文レビュー] Unifying the Landscape of Cell-Probe Lower Bounds

Mihai Pǎtraşcu|arXiv (Cornell University)|Oct 19, 2010

Complexity and Algorithms in Graphs参考文献 29被引用数 16

ひとこと要約

この論文は、さまざまなセルプローブデータ構造の下界を、不均衡な集合の素性のない問題の通信複雑度への還元によって統一的に扱う。多くの既知の下界、特に高次元、動的、低次元幾何問題に対する下界が、単一のコアな結果から導かれることが示され、証明を単純化し、見た目には異なる問題の間の構造的関係を明らかにする。

ABSTRACT

We show that a large fraction of the data-structure lower bounds known today in fact follow by reduction from the communication complexity of lopsided (asymmetric) set disjointness. This includes lower bounds for: * high-dimensional problems, where the goal is to show large space lower bounds. * constant-dimensional geometric problems, where the goal is to bound the query time for space O(n polylog n). * dynamic problems, where we are looking for a trade-off between query and update time. (In this case, our bounds are slightly weaker than the originals, losing a lglg n factor.) Our reductions also imply the following new results: * an Omega(lg n / lglg n) bound for 4-dimensional range reporting, given space O(n polylog n). This is quite timely, since a recent result solved 3D reporting in O(lglg n) time, raising the prospect that higher dimensions could also be easy. * a tight space lower bound for the partial match problem, for constant query time. * the first lower bound for reachability oracles. In the process, we prove optimal randomized lower bounds for lopsided set disjointness.

研究の動機と目的

• 多様なセルプローブ下界を一つの理論的枠組みで統一すること。
• 広範なデータ構造下界クラスが、不均衡な集合の素性のない問題からの還元によって導かれる可能性を示すこと。
• 複雑で問題特有の議論を統一的な還元に基づくアプローチに置き換えることで、既存の証明を単純化すること。
• 4次元範囲報告や定数クエリ時間の部分一致といった問題について、新たなタイトな下界を確立すること。
• 到達可能性オラクルや動的幾何問題など、新たな問題に対して下界技術の適用範囲を拡張すること。

提案手法

• さまざまなデータ構造問題を、一方の参加者が小さな集合、他方が大きな集合を持つという、不均衡な集合の素性のない問題の通信複雑度に還元する。
• 元の問題の本質的な難易度を保ちながら、既知の下界が得られている通信ゲームに問題を写像する還元を適用する。
• エントロピーと確率的議論を用いてプロトコルの成功確率を制限し、特にマルコフ不等式と条件付きエントロピーを用いて失敗確率を制御する。
• 通信複雑度における直接和の議論を用いて、複数のクエリや大きな入力サイズを持つ問題の下界を強化する。
• 新しいランダム化下界を不均衡な集合の素性のない問題に対して証明し、これを基盤として以降のすべての還元に用いる。
• 最悪ケースと平均ケースの両方の推論を組み合わせたハイブリッド解析を用いて、非対称な通信設定や集合サイズの不均衡に対処する。

実験結果

リサーチクエスチョン

• RQ1 1つの通信複雑度問題が、多様なデータ構造問題の下界を導出する基盤として機能できるか？
• RQ2 複雑で問題特有の下界証明は、どれほど単純なコア問題からの還元に置き換えられるか？
• RQ3 不均衡な集合の素性のない問題からの還元を、これまで下界が得られていなかった問題に適用することで、どのような新たな下界が得られるか？
• RQ4 還元が、特に動的または高次元設定における既存の下界のタイトさにどのように影響するか？
• RQ5 到達可能性オラクルのように、以前に下界が得られていなかった問題に対しても、この枠組みを拡張できるか？

主な発見

• 4次元範囲報告について、空間O(n · polylog n)の下界Ω(lg n / lg lg n)が確立され、タイムリーな未解決問題が解決された。
• クエリ時間が定数の部分一致問題について、タイトな空間下界が証明され、以前の結果を改善した。
• 到達可能性オラクルについて、これまで下界が得られていなかった問題クラスに対して、初めて非自明な下界が確立された。
• 2次元範囲カウントと正確な近隣探索の既知の証明が、共通の通信複雑度問題への還元によって単純化された。
• 不均衡な集合の素性のない問題に対するランダム化下界が証明され、これが以降のすべての還元の根幹をなす。
• 動的問題では還元によってlg lg nの要因が失われるが、それでも最高の既知のトレードオフ下界をこの要因の範囲内で回復した。