[論文レビュー] Bounded Degree Planar Geometric Spanners

Paz Carmi, Lilach Chaitman|arXiv (Cornell University)|Mar 25, 2010

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

ひとこと要約

本稿では、デラウンイ・トライアングリュレーションから、最大次数7およびストレッチ要因(1+√2)²δを達成する有界次数の平面幾何スパンナを構築するO(n log n)時間のアルゴリズムを提示する。ここでδはデラウンイ・トライアングリュレーションのスパンニング比である。また、平面性、有界次数、定数ストレッチ要因を保証するO(n)時間の分散版も提供されている。

ABSTRACT

Given a set $P$ of $n$ points in the plane, we show how to compute in $O(n \log n)$ time a subgraph of their Delaunay triangulation that has maximum degree 7 and is a strong planar $t$-spanner of $P$ with $t =(1+ \sqrt{2})^2 *δ$, where $δ$ is the spanning ratio of the Delaunay triangulation. Furthermore, given a Delaunay triangulation, we show a distributed algorithm that computes the same bounded degree planar spanner in O(n) time.

研究の動機と目的

• 平面上の点集合に対して、有界次数の平面幾何スパンナを設計すること。
• 既存の平面スパンナの最大次数を14から7に低減しつつ、定数ストレッチ要因を維持すること。
• 同じ有界次数の平面スパンナを線形時間で計算する分散アルゴリズムを開発すること。
• 得られた部分グラフにおいて、強t-スパンナの性質（すなわち、近似最短経路）を維持すること。
• 特別なケース解析を通じて、デラウンイ・トライアングリュレーションのストレッチ要因の理論的理解を深めること。

提案手法

• 平面上の点集合Pのデラウンイ・トライアングリュレーションを、基本となるグラフとして採用する。
• 楔に基づくエッジ選択を用いて、近似最短経路を保ちつつエッジを削除する「 pruning 策略」を適用する。
• 各点の周囲にπ/4ラジアンの8つのコーンを用い、コーンに基づくフィルタリングにより次数の上限を保証する。
• コーン順序付けられた近隣ノード列における局所的最小値および単調性に基づきエッジを選択し、冗長または長いエッジを回避する。
• 各ノードが局所的なコーンおよび近隣情報に基づいてエッジを独立に選択する分散アルゴリズムを採用し、エッジ削除と合意確認により同期を取る。
• エッジの長さでリストをマージし、増加および減少順の2つのリスト戦略を用いて、含めるための候補エッジを効率的に同定する。

実験結果

リサーチクエスチョン

• RQ1 デラウンイ・トライアングリュレーションから、最大次数7の平面t-スパンナを効率的に構築できるか？
• RQ2 有界次数の平面スパンナとして得られる点集合の最小ストレッチ要因は何か？
• RQ3 グローバルなエッジソーティングを必要とせず、線形時間でこのようなスパンナを計算できる分散アルゴリズムは存在するか？
• RQ4 エッジ選択戦略の選択が、次数とストレッチ要因のトレードオフに与える影響は何か？
• RQ5 結果として得られるスパンナのストレッチ要因は、デラウンイ・トライアングリュレーションのスパンニング比δを用いてどのように表せるか？

主な発見

• 提案されたアルゴリズムは、O(n log n)時間で最大次数7の平面スパンナを構築する。
• 得られたスパンナのストレッチ要因は(1+√2)²δであり、ここでδはデラウンイ・トライアングリュレーションのスパンニング比である。
• 分散アルゴリズムは、時計回りのエッジ順序が与えられたものとして、O(n)時間で同じ有界次数の平面スパンナを計算する。
• 分散アルゴリズムはエッジを長さでソートする必要がなく、局所的なコーンおよび近隣の合意に依存している。
• エッジ選択プロセスにより、削除されたエッジごとに、ストレッチが有界なパスがスパンナ内に存在することが保証され、t-スパンナの性質が維持される。
• 得られたスパンナは強t-スパンナであり、任意の点のペアについて、スパンナ内の最短経路がユークリッド距離を要因t以内に近似する。