[論文レビュー] Degree Four Plane Spanners: Simpler and Better

Iyad Kanj, Ljubomir Perković+1 more|arXiv (Cornell University)|Jan 1, 2016

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

ひとこと要約

本稿では、正三角形距離に基づくデローランの三角形分割を用いて、最大次数が4以下でスパンファクターが20以下の平面スパンナをO(n log n)時間で構築する新規なアルゴリズムを提示する。この手法は先行研究の構成を単純化し、従来の次数4スパンナーよりも顕著に改善されたスパンファクターを達成するとともに、凸位置にある点集合に対して最大次数3のタイトな境界を確立する。

ABSTRACT

Let ${\cal P}$ be a set of $n$ points embedded in the plane, and let ${\cal C}$ be the complete Euclidean graph whose point-set is ${\cal P}$. Each edge in ${\cal C}$ between two points $p, q$ is realized as the line segment $[pq]$, and is assigned a weight equal to the Euclidean distance $|pq|$. In this paper, we show how to construct in $O(n\lg{n})$ time a plane spanner of ${\cal C}$ of maximum degree at most 4 and stretch factor at most 20. This improves a long sequence of results on the construction of plane spanners of ${\cal C}$. Our result matches the smallest known upper bound of 4 by Bonichon et al. on the maximum degree of plane spanners of ${\cal C}$, while significantly improving their stretch factor upper bound from 156.82 to 20. The construction of our spanner is based on Delaunay triangulations defined with respect to the equilateral-triangle distance, and uses a different approach than that used by Bonichon et al. Our approach leads to a simple and intuitive construction of a well-structured spanner, and reveals useful structural properties of the Delaunay triangulations defined with respect to the equilateral-triangle distance. The structure of the constructed spanner implies that when ${\cal P}$ is in convex position, the maximum degree of this spanner is at most 3. Combining the above degree upper bound with the fact that 3 is a lower bound on the maximum degree of any plane spanner of ${\cal C}$ when the point-set ${\cal P}$ is in convex position, the results in this paper give a tight bound of 3 on the maximum degree of plane spanners of ${\cal C}$ for point-sets in convex position.

研究の動機と目的

• 最大次数が有界でスパンファクターが低い平面スパンナを完全なユークリッドグラフに対して構築すること。
• ボニョンなどによる先行研究で得られた次数4スパンナのスパンファクター156.82を改善すること。
• 正三角形距離に基づくデローランの三角形分割を用いて、有界次数の平面スパンナの構築と解析を単純化すること。
• 凸位置にある点集合の平面スパンナの最大次数が3であるタイトな境界を確立すること。

提案手法

• 正三角形距離メトリックに基づいて定義されたデローランの三角形分割を用いる。
• 構造の整合性を保つために、特定の辺を優先するバイアス付きの辺選択戦略を適用する。
• 再帰的深さが無限大になり得るが、短い辺を追加する再帰的構成により、経路品質を維持する。
• 4つの角度領域にわたり辺の分布を分析することで、各頂点の次数を4以下に制限するセクタベースの課金スキームを用いる。
• 正三角形距離デローランの三角形分割と1/2-θグラフとの間の関係を活用し、スパンナ構築を支援する。
• 各辺をセクタに割り当てる新規な課金メカニズムを導入し、頂点の次数が4を超えないように保証する。

実験結果

リサーチクエスチョン

• RQ1 最大次数4でスパンファクター100未満の平面スパンナを、効率的に構築することは可能か？
• RQ2 正三角形距離デローランの三角形分割が、より単純で優れたスパンナ構築を可能にする構造的性質は何か？
• RQ3 凸位置にある点集合の平面スパンナにおいて、最大次数3はタイトな境界か？
• RQ4 再帰的辺追加戦略は、スパンファクターを低く保ちながら次数を制御できるか？
• RQ5 デローランの三角形分割における辺選択のバイアスは、スパンナの品質をどのように向上させるか？

主な発見

• 提案されたアルゴリズムは、最大次数が4以下でスパンファクターが20以下の平面スパンナをO(n log n)時間で構築する。
• 20のスパンファクターは、従来の次数4スパンナの最良境界である156.82よりも顕著に改善されたものである。
• 凸位置にある点集合に対しては、構築されたスパンナの最大次数は3以下であり、既知の下界と一致する。
• 本稿では、凸点集合の平面スパンナの最大次数が3であることがタイトな上界であると証明している。
• 課金スキームにより、各角度セクタごとの辺数が制限され、頂点の次数が4を超えないことが保証される。
• 特にL2-デローランの三角形分割やL1-デローランの三角形分割に基づく既存の手法と比較して、本構成ははるかに単純で直感的である。