[論文レビュー] Predecessor search with distance-sensitive query time

Djamal Belazzougui, Paolo Boldi+1 more|arXiv (Cornell University)|Sep 24, 2012

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

ひとこと要約

本稿では、距離指標に依存するサブ線形クエリ時間を持つ、新たな先行者探索データ構造を提示する—具体的には、先行者/直後要素への距離、集合内のグローバルな間隔、または指定されたフィンガ要因要素への近接性に基づくものである。O(n log w)の追加ビットのみを用いて、さまざまな距離に敏感な状況において、クエリ時間を指数的に短縮することで、先行研究を凌駆する。一般の場合にはO(log min{log d(x,S), w − log D(x,S)})の時間、フィンガを用いる場合にはO(log(log |x−y| − log D(x,S)))の時間となり、従来の手法を著しく上回る性能を達成する。

ABSTRACT

A predecessor (successor) search finds the largest element $x^-$ smaller than the input string $x$ (the smallest element $x^+$ larger than or equal to $x$, respectively) out of a given set $S$; in this paper, we consider the static case (i.e., $S$ is fixed and does not change over time) and assume that the $n$ elements of $S$ are available for inspection. We present a number of algorithms that, with a small additional index (usually of O(n log w) bits, where $w$ is the string length), can answer predecessor/successor queries quickly and with time bounds that depend on different kinds of distance, improving significantly several results that appeared in the recent literature. Intuitively, our first result has a running time that depends on the distance between $x$ and $x^\pm$: it is especially efficient when the input $x$ is either very close to or very far from $x^-$ or $x^+$; our second result depends on some global notion of distance in the set $S$, and is fast when the elements of $S$ are more or less equally spaced in the universe; finally, for our third result we rely on a finger (i.e., an element of $S$) to improve upon the first one; its running time depends on the distance between the input and the finger.

研究の動機と目的

• 入力の構造的性質と集合Sに応じてクエリ時間を調整できる、サブ線形空間を用いる静的先行者探索データ構造の設計。
• d(x,S)、D(x,S)、またはフィンガyに対する|x−y|といった距離指標に依存するクエリ時間の改善を、既存の境界を大幅に超える形で達成すること。
• O(n log w)の追加ビットのみを用いて、最適または近似的最適なクエリ時間の実現を図り、実用的な効率性を実現すること。
• ファットバイナリサーチやz-fast triesのような技術を統合・拡張し、距離に敏感なクエリ高速化を可能にする。

提案手法

• 距離条件に基づいて初期探索区間を指定できるように、z-fast tries内でのファットバイナリサーチの洗練版を活用する。
• クエリとS内の要素との間の最長共通接頭辞の長さを用いて、探索を高速化する距離に敏感な探索戦略を導入する。
• 構造的コンポーネント（左/右インデックス、拡張長など）への定数時間アクセスを可能にする弱い接頭辞探索オракルを用いる。
• S内のフィンガyを用いて探索をガイドし、残りの探索空間をlog|x−y|に制限することで、長距離クエリの高速化を実現する。
• 近接性（d(x,S)）に基づく戦略、グローバルな間隔（ΔM/Δm）に基づく戦略、および最初の戦略を改善するフィンガベースの戦略の3つを組み合わせる。
• 拡張長と接頭辞情報に基づき、動的に探索区間を調整する再帰的フレームワークを採用し、距離制約下でも対数時間の境界を保証する。

実験結果

リサーチクエスチョン

• RQ1 クエリ文字列xがS内の先行者または直後要素に近い場合、先行者クエリをより速く回答できるか。その場合、クエリ時間はどの程度短縮できるか？
• RQ2 S内の要素のグローバルな間隔に基づいて、クエリ時間の改善が可能か。特に、要素が一様に分布している場合に有効か？
• RQ3 S内のフィンガyを用いることで、xがx⁻やx⁺から遠く離れている場合に、クエリ時間は著しく短縮されるか。既存のフィンガベース手法と比較してどうか？
• RQ4 サブ線形の空間オーバーヘッドを維持しつつ、距離に敏感なクエリ時間の改善を達成することは可能か？
• RQ5 複数の距離に敏感な戦略を組み合わせることで、すべての距離領域で良好に動作する単一のアルゴリズムを実現できるか？

主な発見

• O(n log w)の追加ビットのみを用いて、O(log min{log d(x,S), w − log D(x,S)})のクエリ時間を達成。先行研究を指数的に上回る。
• グローバルに間隔が空いている集合では、O(n log w)の空間でO(log log(ΔM/Δm))のクエリ時間を達成。補間探索や区間偏り木よりも著しく優れている。
• フィンガy ∈ Sを用いる場合、クエリ時間はO(log(log|x−y| − log D(x,S)))に改善され、区間偏り探索木よりも指数的に高速である。
• 弱い接頭辞探索オラクルを用いることで、左/右インデックスや拡張長といった構造的コンポーネントへの定数時間アクセスが可能となり、パフォーマンスにとって不可欠である。
• フレームワークは一般かつ合成可能である。短距離戦略と長距離戦略を組み合わせることで、近接性とスパarsityの両方に適応する単一のアルゴリズムが得られる。
• 初期区間を距離条件に応じて選択できる洗練されたファットバイナリサーチをz-fast tries内で用いることで、本手法の汎用性が裏付けられ、基盤としての有用性が確認された。