[論文レビュー] Efficient Construction of Spanners in $d$-Dimensions

Chan, Timothy M., Har-Peled, Sariel+1 more|arXiv (Cornell University)|Mar 28, 2013

Computational Geometry and Mesh Generation参考文献 21被引用数 8

ひとこと要約

本稿では、d次元ユークリッド空間におけるk-頂点故障耐性t-スパンナをO(n log n)時間で構築するアルゴリズムを提示する。このアルゴリズムは、次数（O(k)）、重み（O(k²·ω(MST)）および時間計算量において最適な境界を達成する。BSPD（有界分離ペア分解）を用い、錐に基づくエッジ選択とクレジットベースの解析を組み合わせることで、故障耐性と低重みを保証する。本研究は、d次元におけるスパンナ構築に関する未解決問題を解決する。

ABSTRACT

For any constant d and parameter epsilon > 0, we show the existence of (roughly) 1/epsilon^d orderings on the unit cube [0,1)^d, such that any two points p, q in [0,1)^d that are close together under the Euclidean metric are "close together" in one of these linear orderings in the following sense: the only points that could lie between p and q in the ordering are points with Euclidean distance at most epsilon | p - q | from p or q. These orderings are extensions of the Z-order, and they can be efficiently computed. Functionally, the orderings can be thought of as a replacement to quadtrees and related structures (like well-separated pair decompositions). We use such orderings to obtain surprisingly simple algorithms for a number of basic problems in low-dimensional computational geometry, including (i) dynamic approximate bichromatic closest pair, (ii) dynamic spanners, (iii) dynamic approximate minimum spanning trees, (iv) static and dynamic fault-tolerant spanners, and (v) approximate nearest neighbor search.

研究の動機と目的

• 代数的計算木モデルを用いて、Rdにおけるt-スパンナをO(n log n)時間で構築するという未解決問題を解決すること。
• Rdにおけるk-頂点故障耐性t-スパンナ（k-VFTS）を、最適な次数O(k)と重みO(k²·ω(MST))で効率的に構築するアルゴリズムを設計すること。
• k=0およびk≥1の両ケースにおいて、スパンナの次数、全エッジ長、時間計算量について、漸近的に最適な境界を達成すること。
• 既存のスパンナ構築技術を拡張し、頂点障害を扱えるようにしながら、低重みと効率的な実行時間の両方を維持すること。

提案手法

• スプリットツリー分割と浮動仮想ボックスを用いたBSPD（有界分離ペア分解）を採用し、バランスの取れた、良好に分離されたノード集合を保証する。
• 各ノードの周囲に基底ベクトルを用いて錐分割を適用し、エッジ追加をガイドすることで、錐の角度範囲がtに依存する定数で有界になるようにする。
• ノード次数の追跡と最大次数O(k)の保証のため、TYPE-1およびTYPE-2クレジットを導入するクレジットシステムを提案する。
• 貪欲なエッジ選択戦略を採用：エッジ(u,v)を追加するのは、現在のグラフ内でuとvの間に長さ≤t·||uv||のk+1本の内部頂点に分離された経路が存在する場合に限る。
• 各錐方向ごとに不交差交差エッジ（DCE）配列を用い、各ボックスからのk+1番目に遠いノードを効率的に維持・更新する。これにより、1方向あたりO(kn)の更新時間が達成される。
• BSPDと錐に基づく選択、クレジットベースの次数制御を統合することで、低全重みと最適な時間計算量を両立する。

実験結果

リサーチクエスチョン

• RQ1 代数的計算木モデルを用いて、RdにおいてO(1)次数とO(ω(MST))重みを持つt-スパンナをO(n log n)時間で構築可能か？
• RQ2 Rdにおいて、最大次数O(k)、全重みO(k²·ω(MST))のk-頂点故障耐性t-スパンナをO(n log n)時間で構築可能か？
• RQ3 故障耐性と低重みを両立させるために、どのような構造的・アルゴリズム的技術が必要か？
• RQ4 クレジットベースのシステムをどのように設計すれば、故障耐性スパンナ構築におけるノード次数と全エッジ重みを制限できるか？

主な発見

• 本アルゴリズムは、代数的計算木モデルを用いてO(n log n)時間でt-スパンナを構築し、Rdにおけるスパンナ構築に関する未解決問題を解決する。
• k≥1の場合、最大次数O(k)、全重みO(k²·ω(MST))、実行時間O(n log n)の(k,t)-VFTSを構築可能であり、漸近的に最適な境界を達成する。
• 使用する錐の数はO((1/(t−1))^d)であり、これが時間計算量と重み境界の隠れ定数を決定する。
• クレジットベースの解析により、各ノードが各錐方向に高々O(k)本のエッジを持つことが保証され、全方向にわたる次数の有界性が得られる。
• 全エッジ数はO(kn)であり、k-頂点故障耐性スパンナの漸近的下界と一致する。
• 時間計算量はO(kc²n + c²n log n)で最適であり、c² = Θ((1/(t−1))^d)であるため、tとdの実用的値に対しても効率的である。