[論文レビュー] Sorted Range Reporting

Yakov Nekrich, Gonzalo Navarro|arXiv (Cornell University)|Apr 20, 2012

Algorithms and Data Compression参考文献 19被引用数 10

ひとこと要約

この論文は、点がx座標の増加順に報告される直交範囲検索における、効率的なデータ構造を導入する。コンパクトな範囲木とvan Emde Boas方式の再帰、ランク・セレクト構造を組み合わせることで、$ O(n\log^\varepsilon n) $ の空間で $ O(\log\log n + k) $ の最適なクエリ時間を達成し、範囲後続者問題およびソート済み報告問題における先行研究を改善する。

ABSTRACT

In this paper we consider a variant of the orthogonal range reporting problem when all points should be reported in the sorted order of their $x$-coordinates. We show that reporting two-dimensional points with this additional condition can be organized (almost) as efficiently as the standard range reporting. Moreover, our results generalize and improve the previously known results for the orthogonal range successor problem and can be used to obtain better solutions for some stringology problems.

研究の動機と目的

• x座標の順序に従って点が報告される直交範囲報告をサポートするデータ構造の設計。
• 範囲後続者問題（ソート済み報告の特殊ケース）の時間計算量と空間計算量の改善。
• ソート済み範囲報告を用いて、ストリングロジーおよび幾何問題の既存の解決法を一般化・強化すること。
• 現実的な空間制約下で、ソート済み範囲報告の最適なクエリ時間の達成。

提案手法

• 著者らは、各ノードにおけるy座標でソートされた点リストへの効率的アクセスを維持しながら、空間使用量を削減するため、コンパクトな範囲木を用いる。
• x座標空間を再帰的に分割することで範囲後続者クエリを高速化するため、van Emde Boasデータ構造を統合する。
• 圧縮表現を用いて $ noderange(c,d,v) $ および $ point(v,i) $ 操作を $ O(g(n)) $ 時間、$ O(n f(n)) $ 空間でサポートする。
• 最適なクエリ時間の達成のため、$ O(n\log^\varepsilon n) $ 空間の構造とランク・セレクト構造、範囲最小値クエリを組み合わせ、$ O(\log\log n + k) $ 時間での報告を実現する。
• 文字列探索問題（例：順序付き部分文字列検索）を、ソート済み範囲報告クエリに還元することで、その応用を示す。
• クエリ処理中に辞書式順序で点を維持・抽出するために、van Emde Boas構造に基づく優先度付きキューを用いる。

実験結果

リサーチクエスチョン

• RQ1 出力がx座標の順序に従って報告されなければならない場合、直交範囲報告を効率的に行えるか？
• RQ2 ソート済み範囲報告において、空間とクエリ時間の最適なトレードオフは何か？
• RQ3 線形空間で、以前の $ O(\log n / \log\log n) $ 時間よりも速く範囲後続者問題を解けるか？
• RQ4 ソート済み範囲報告をどのように活用して、文字列インデキシングや幾何問題の解決法を改善できるか？

主な発見

• 本論文は、$ O(n) $ 空間で動作するデータ構造を提示し、$ O((k+1)\log^\varepsilon n) $ 時間でソート済み範囲報告を実行する。これは、以前の $ O(\log n / \log\log n) $ 時間の構造を改善する。
• 第二の構造は $ O(n\log\log n) $ 空間を用い、クエリを $ O((k+1)(\log\log n)^2) $ 時間で処理する。これは、より良い時間-空間トレードオフを提供する。
• $ O(n\log^\varepsilon n) $ 空間と $ O(\log\log n + k) $ クエリ時間の最適な解決策が達成され、$ O(n\log^{O(1)}n) $ 空間構造に対する既知の下界と一致する。
• 結果は範囲後続者問題へ一般化され、線形空間でクエリ時間を $ O(\log n / \log\log n) $ から $ O(\log^\varepsilon n) $ に改善する。
• 本アプローチにより、文字列ロジー問題（例：順序付き部分文字列探索）の改善が可能となり、$ (1+1/\varepsilon)nH_k + O(n) $ ビットの空間で、$ O(|P| + \mathrm{occ} \log^\varepsilon n) $ 時間のクエリが可能になる。
• 最大点報告や長方形可視性問題への応用は、範囲後続者クエリへの還元により可能となり、$ O(n f(n)) $ 空間で $ O(kg(n)) $ 時間の処理が達成される。