[論文レビュー] Fast, precise and dynamic distance queries

Yair Bartal, Lee-Ad Gottlieb+3 more|arXiv (Cornell University)|Jan 23, 2011

Computational Geometry and Mesh Generation参考文献 28被引用数 13

ひとこと要約

本稿では、双曲次元λを有する点集合に対して、定数時間クエリと効率的な構築を可能にする、(1+ε)-近似距離オラクルを提示する。これは、期待されるO(1)クエリ時間と部分線形更新時間で動作する、最初の完全動的(1+ε)-距離オラクルを達成しており、静的および動的設定の両方において、従来の研究を著しく改善する。

ABSTRACT

We present an approximate distance oracle for a point set S with n points and doubling dimension λ. For every e > 0, the oracle supports (1 + e)-approximate distance queries in (universal) constant time, occupies space [e−O(λ) + 2O(λ log λ)]n, and can be constructed in [2O(λ) log3n + e−O(λ) +2O(λ log λ)]n expected time. This improves upon the best previously known constructions, presented by Har-Peled and Mendel [13]. Furthermore, the oracle can be made fully dynamic with expected O(1) query time and only 2O(λ) log n + e−O(λ) +2O(λ log λ) update time. This is the first fully dynamic (1 + e)-distance oracle.

研究の動機と目的

• 有界な双曲次元を有する点集合に対して、定数時間で(1+ε)-近似距離クエリをサポートする静的距離オラクルを設計すること。
• 特にHar-PeledとMendelの構築法と比較して、空間量と構築時間の複雑性を低減すること。
• 静的オラクルを、挿入と削除を効率的にサポートする完全動的データ構造に拡張すること。
• 期待される定数時間のクエリ時間と部分線形更新時間を持つ、最初の完全動的(1+ε)-距離オラクルを達成すること。

提案手法

• 双曲次元λに基づく点集合の階層的分解を用いることで、距離の効率的な近似が可能になる。
• ランダム化された構築プロセスを用いて、O(1)時間で(1+ε)-近似距離クエリをサポートするコンactなデータ構造を構築する。
• 挿入と削除をサポートする複数の近似構造レベルを維持することで、オラクルに動的動作を追加する。
• 双曲メトリクスの幾何的性質を活用して、各クエリあたりの関連点数を制限し、定数時間クエリを保証する。
• 空間量と構築時間は、λに関する指数的依存とnに関する対数的要因を用いて最適化され、精度と効率のバランスが取られる。
• 動的バージョンは、均等化コストを用いて階層的構造を動的に調整することで、期待されるO(1)クエリ時間と更新時間を維持する。

実験結果

リサーチクエスチョン

• RQ1 従来の研究と比較して、空間量と構築時間の向上を達成しつつ、定数時間クエリと(1+ε)-近似距離クエリをサポートするオラクルを構築することは可能か？
• RQ2 挿入と削除を効率的に処理しつつ、定数時間クエリと部分線形更新時間を持つ完全動的(1+ε)-距離オラクルを設計することは可能か？
• RQ3 双曲次元λは、動的距離オラクルにおける空間量、構築時間、更新効率のトレードオフにどのように影響するか？
• RQ4 双曲メトリクスにおける完全動的(1+ε)-距離オラクルで達成可能な最小の空間量と時間複雑度は何か？

主な発見

• 提案されたオラクルは、入力サイズにかかわらず、O(1)時間で(1+ε)-近似距離クエリをサポートし、普遍的な定数時間クエリを達成する。
• 空間使用量は[ε⁻ᴼ(λ) + 2ᴼ(λ log λ)]nで抑えられ、双曲メトリクスにおける最良の従来の構築法よりも改善されている。
• 構築時間は期待値で[2ᴼ(λ) log³n + ε⁻ᴼ(λ) + 2ᴼ(λ log λ)]nであり、従来の方法と比較して顕著な改善が得られている。
• 期待されるO(1)クエリ時間と更新時間2ᴼ(λ) log n + ε⁻ᴼ(λ) + 2ᴼ(λ log λ)を達成する完全動的バージョンが構築され、これは初めての実現である。
• 動的バージョンは、挿入と削除の両方において正しさと効率性を維持し、クエリパフォーマンスの劣化がない。