[論文レビュー] On Geometric Spanners of Euclidean and Unit Disk Graphs

Iyad Kanj, Ljubomir Perković|ArXiv.org|Feb 20, 2008

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

ひとこと要約

本稿では、ユークリッドおよびユニットディスクグラフに対して、有界次数の平面幾何スパンナを構築するシンプルで線形時間のアルゴリズムを提示する。このアルゴリズムは、任意の $ k \geq 14 $ に対して、スパンファクター $ 1 + 2\pi(k\cos(\pi/k))^{-1} $ と最大次数 $ k $ を達成する。この手法はデローニーおよびユニットディスクグラフの構造的性質を活用し、無線ネットワークにおける分散型・厳密に局所的なアルゴリズムを可能にし、$ O(n) $ のメッセージ複雑性と $ O(\Delta \lg \Delta) $ の局所的時間を持つ。

ABSTRACT

We consider the problem of constructing bounded-degree planar geometric spanners of Euclidean and unit-disk graphs. It is well known that the Delaunay subgraph is a planar geometric spanner with stretch factor $C_{del\approx 2.42$; however, its degree may not be bounded. Our first result is a very simple linear time algorithm for constructing a subgraph of the Delaunay graph with stretch factor $ρ=1+2π(k\cos{\frac{π{k)^{-1$ and degree bounded by $k$, for any integer parameter $k\geq 14$. This result immediately implies an algorithm for constructing a planar geometric spanner of a Euclidean graph with stretch factor $ρ\cdot C_{del$ and degree bounded by $k$, for any integer parameter $k\geq 14$. Moreover, the resulting spanner contains a Euclidean Minimum Spanning Tree (EMST) as a subgraph. Our second contribution lies in developing the structural results necessary to transfer our analysis and algorithm from Euclidean graphs to unit disk graphs, the usual model for wireless ad-hoc networks. We obtain a very simple distributed, {\em strictly-localized algorithm that, given a unit disk graph embedded in the plane, constructs a geometric spanner with the above stretch factor and degree bound, and also containing an EMST as a subgraph. The obtained results dramatically improve the previous results in all aspects, as shown in the paper.

研究の動機と目的

• ユークリッドグラフに対して、保証されたスパンファクターと低次数を満たす有界次数の平面幾何スパンナを設計すること。
• 無線アドホックネットワークをモデル化するユニットディスクグラフへアルゴリズムを拡張し、分散型および局所的計算を維持すること。
• スパンナが最小全域木の性質を保つために、ユークリッド最小全域木（EMST）を部分グラフとして含むようにすること。
• 特に小規模な次数制限において、先行研究を上回るスパンファクターを達成すること。
• 動的無線アドホックネットワークに適した、メッセージ通信量と局所的処理時間を低減する厳密に局所的な分散アルゴリズムを開発すること。

提案手法

• 各頂点の周囲の角度制約に基づいてエッジを選択することで、デローニーグラフの部分グラフを構築する。これにより、次数が最大 $ k $ に制限される。
• 各点の周囲に $ k $ 個のコーンを設け、コーンの角度を $ \pi/k $ とし、各コーン内で最短のエッジを選択する。このステップは変更を加えたヨアの手法に基づく。
• スパンファクターは、スパンナ内での内向きおよび外向きパスの幾何的解析から導出され、$ 1 + 2\pi(k\cos(\pi/k))^{-1} $ で上限が与えられる。
• ユニットディスクグラフの場合、スパンファクターが有界な $ LDel^{(2)}(U) $ と呼ばれるユニットディスクデローニー・グラフの超グラフを用いて処理を行う。このスパンファクターは $ C_{\text{del}} \approx 2.42 $ である。
• 分散アルゴリズムは、ノードあたり $ O(\Delta \lg \Delta) $ の局所的時間で実行され、最大 $ O(n) $ のメッセージを交換する。これにより、ネットワークの動的変化に強く耐性を持つ。
• 構成により、得られるスパンナは常にEMSTを部分グラフとして含むことが保証され、最小全域木の性質が維持される。

実験結果

リサーチクエスチョン

• RQ1 ユークリッドグラフに対して、先行研究と比べて顕著に優れたスパンファクターを達成する有界次数の平面幾何スパンナを構築可能か？
• RQ2 低次数、有界スパンファクター、および平面性を維持したまま、アルゴリズムをユニットディスクグラフに適応可能か？
• RQ3 ユニットディスクグラフに対して、低メッセージ複雑性と低局所的処理時間を保証する厳密に局所的な分散アルゴリズムを設計可能か？
• RQ4 次数制限 $ k \geq 14 $ の場合、スパンファクターは $ k $ にどのように依存するか？
• RQ5 スパンナ構築プロセスは、EMSTを部分グラフとして保持するか。これにより、最適な接続性と低総エッジ重みが保証されるか？

主な発見

• 任意の $ k \geq 14 $ に対して、本アルゴリズムはユークリッドグラフの平面幾何スパンナを構築し、スパンファクター $ \rho = 1 + 2\pi(k\cos(\pi/k))^{-1} $ と最大次数 $ k $ を満たす。
• デローニーグラフのスパンファクターと組み合わせた場合、スパンナのスパンファクターは $ \rho \cdot C_{\text{del}} \approx (1 + 2\pi(k\cos(\pi/k))^{-1}) \cdot 2.42 $ に抑えられる。
• $ k = 14 $ の場合、スパンファクターは約 3.54 に抑えられ、次数27の既存手法の約10.02という従来の上限を顕著に上回る。
• ユニットディスクグラフ向けの分散アルゴリズムは $ O(\Delta \lg \Delta) $ の局所的時間で実行され、最大 $ O(n) $ のメッセージを交換する。これにより、スケーラビリティと耐障害性が保証される。
• スパンナ構築は、ユークリッド最小全域木（EMST）が部分グラフとして含まれることを保証し、最適な総エッジ重みが維持される。
• アルゴリズムは厳密に局所的であるため、ノードの参加・退出・移動が頻発する動的無線アドホックネットワークに特に適している。