[論文レビュー] Improved Routing on the Delaunay Triangulation

Michael D. Dennis, Ljubomir Perković+1 more|arXiv (Cornell University)|Oct 31, 2017

Computational Geometry and Mesh Generation参考文献 9被引用数 1

ひとこと要約

この論文は、線形な三角形列における最短経路長を制限するために、新規の均等化に基づく技術を用いて、六角形デローラン図の最悪ケースのストレッチ要因を正確に2として特定した。著者らは、ストレッチ要因が2に限りなく近づくことができる「ミッキー・マウス」構成を導入し、この境界がタイトであることを証明した。この構成は、古典的な円に基づく（#-デローラン図）変種を含む他のデローラン図変種に対しても適用可能なフレームワークを提供する。

ABSTRACT

A geometric graph G=(P,E) is a set of points in the plane and edges between pairs of points, where the weight of an edge is equal to the Euclidean distance between its two endpoints. In local routing we find a path through G from a source vertex s to a destination vertex t, using only knowledge of the current vertex, its incident edges, and the locations of s and t. We present an algorithm for local routing on the Delaunay triangulation, and show that it finds a path between a source vertex s and a target vertex t that is not longer than 3.56|st|, improving the previous bound of 5.9|st|.

研究の動機と目的

• 古典的な円に基づくバージョンではなく、より単純な多角形に基づく変種を研究することで、デローラン図のストレッチ要因に関する理解のギャップを埋めること。
• 構造的デローラン図におけるストレッチ要因のタイトな上界を計算するための新しい分析的手法を開発すること。
• 正六角形を用いて定義されたデローラン図の正確な最悪ケースストレッチ要因を特定すること。
• ストレッチ要因が2に限りなく近づくことができるタイトな構成を提供し、境界が最適であることを証明すること。

提案手法

• 空の六角形条件が空の円条件に代わる正六角形に基づくデローラン図の新規クラス（9-デローラン図）を導入する。
• 「なだらかな経路」（angular deviationが最小限の経路）を定義・分析し、それがストレッチ要因の挙動を支配することを示す。
• 局所的な幾何的パラメータ（δf と δb）との関係を用いて、三角形列全体の経路長を制限する均等化補題（補題8）を構築する。
• 区分的線形経路分解を用いる：最短経路を、なだらかな経路を含まない三角形列のセグメントと、なだらかな経路に沿うセグメントに分割する。
• タイトな下界例（「ミッキー・マウス」トランギュレーション）を構築し、最短経路長がx方向距離の(5√3 − 1)倍に近づくことを示し、上界がタイトであることを証明する。
• 距離、内接円半径、経路セグメント長に関する幾何的不等式を活用し、dx(s,t)と局所的ずれの関数として経路長の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 正六角形を用いて定義されたデローラン図の正確な最悪ケースストレッチ要因は何か？
• RQ2 均等化技術を用いて、構造的デローラン図における経路長のタイトな上界を導出できるか？
• RQ3 既知の#−デローラン図の下界例に類似した構成は、六角形ベースの変種でもタイトな境界をもたらすか？
• RQ4 9-デローラン図に開発された技術は、#−デローラン図の境界を改善するために一般化可能か？

主な発見

• 正六角形を用いて定義された9-デローラン図の正確な最悪ケースストレッチ要因は2である。
• ストレッチ要因の境界が2であることは、ストレッチ要因が2に限りなく近づくことができる「ミッキー・マウス」トランギュレーションによって示され、境界がタイトであることが証明された。
• 最悪ケースストレッチ要因は、なだらかな経路を含まない三角形の線形列に起因する。なだらかな経路に起因するものではない。
• 補題8で開発された均等化技術により、なだらかな経路を含まない列におけるストレッチ要因のタイトな上界(5√3 − 1) ≈ 7.66が得られた。
• 「ミッキー・マウス」構成は、#−デローラン図の既知の下界構成（XiaとZhangによるもの）に非常に類似しており、共通する構造的原則を示唆している。
• 本論文で開発された技術、特に均等化に基づく経路長分析は、移植可能であり、#−デローラン図のストレッチ要因のギャップを埋めるのに役立つ可能性がある。