[論文レビュー] Towards Plane Spanners of Degree 3

Ahmad Biniaz, Prosenjit Bose+4 more|arXiv (Cornell University)|Jun 28, 2016

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

ひとこと要約

本稿では、ユークリッド平面上における平面的3次元スパンナの構築アルゴリズムを提示する：凸点集合に対しては(3+4π)/3 ≈ 5.189-スパンナ、非一様な長方形グリッドに対しては3√2 ≈ 4.25-スパンナ、一般の点集合に対してはO(n)個のスティーナ点を用いて( t+ε)-スパンナ（次数3）を構築する。手法は幾何的構成とスティーナ点の挿入を用い、平面性と有界次数を維持しながらスパンファクターを最小化する。

ABSTRACT

Let $S$ be a finite set of points in the plane that are in convex position. We present an algorithm that constructs a plane $\frac{3+4π}{3}$-spanner of $S$ whose vertex degree is at most 3. Let $Λ$ be the vertex set of a finite non-uniform rectangular lattice in the plane. We present an algorithm that constructs a plane $3\sqrt{2}$-spanner for $Λ$ whose vertex degree is at most 3. For points that are in the plane and in general position, we show how to compute plane degree-3 spanners with a linear number of Steiner points.

研究の動機と目的

• 平面上の有限点集合に対して、最大次数3の平面的スパンナを設計すること。
• 平面性と有界次数を維持しながら、スパンファクターを最小化すること。
• 既存のスパンナ構築法を一般の点集合に拡張し、線形個のスティーナ点を用いて処理すること。
• 凸配置や非一様グリッドなどの特定の点配置に対して、タイトなスパンファクターの上限を提供すること。
• 任意の平面的スパンナを、スパンファクターがわずかにε増加するにとどめ、次数3のスパンナに変換する一般化を図ること。

提案手法

• 凸点集合の場合、凸包の辺と、次数≤3およびスパンファクター≤(3+4π)/3を満たすように慎重に配置された弦を組み合わせてスパンナを構築する。
• 非一様長方形グリッドの場合、格子構造とスパンファクター√2の部分グラフ（Λ）を活用し、それを変更して次数3およびスパンファクター≤3√2を達成する。
• 一般の点集合の場合、各頂点の周囲の小さな円板内にスティーナ点を挿入することで次数を低下させる：次数kの頂点は、k+1個のスティーナ点からなるサイクルに置き換えられ、次数3を保証する。
• 月牙形と円板の幾何的性質を用いる：任意の直径対に対して、すべての点がそれらの相互月牙形内に存在するため、経路のずれが有界になる。
• 経路変換により、高次元頂点の部分が、小さな半径の円に沿った短い迂回路に置き換えられ、各頂点あたり最大ε·CPの経路長増加が生じ、結果として(t+ε)-スパンが保証される。
• 各頂点の周囲の小さな円板内での局所的変更により、エッジの交差を回避することで、平面性を保証する。

実験結果

リサーチクエスチョン

• RQ1 凸配置の点に対して、スパンファクターが6未満の平面的3次元スパンナを構築可能か？
• RQ2 非一様長方形グリッド上での次数3平面的スパンナの最小スパンファクターは何か？
• RQ3 任意の平面的t-スパンナを、O(n)個のスティーナ点を用いて、次数3の(t+ε)-スパンナに変換可能か？
• RQ4 一般の点集合における次数3平面的スパンナのタイトなスパンファクターの上限は何か？
• RQ5 スパンファクターの増加を著しく増加させることなく、頂点次数を低下させるためにスティーナ点をどのように戦略的に配置できるか？

主な発見

• 凸配置の点に対して、本稿では最大次数3の平面的(3+4π)/3 ≈ 5.189-スパンナを構築する。
• 非一様長方形グリッドに対しては、最大次数3の平面的3√2 ≈ 4.25-スパンナを生成する。
• 一般の点集合に対しては、任意のε>0に対して、O(n)個のスティーナ点を用いて次数3の(t+ε)-スパンナを構築する。
• スティーナ点によるスパンファクターの増加は、CP（最近接ペア距離）を用いてε·CPで有界であり、(t+ε)-スパンが保証される。
• 各頂点の周囲の小さな円板内での局所的変更により、エッジの交差を回避することで、平面性が維持される。
• 任意の平面的スパンナを、スパンファクターの劣化を最小限に抑えながら、次数3スパンナに変換するという、既存の結果の一般化を達成する。