[論文レビュー] Angle-Monotone Graphs: Construction and Local Routing

Anna Lubiw, Debajyoti Mondal|arXiv (Cornell University)|Jan 19, 2018

Computational Geometry and Mesh Generation参考文献 11被引用数 3

ひとこと要約

本稿では、平面上の任意の点集合に対して、幅 $90^\circ$ の角度単調グラフを構築し、$O(n^2 \log \log n / \log n)$本の辺を有する方法を提案する。また、幅 $(90^\circ + \alpha)$ の角度単調経路を、ルーティング比が $1/\cos(45^\circ + \alpha/2)$ 未満で探索する局所ルーティングアルゴリズムを提示しており、ストレッチ要因は $\sqrt{2}$ から $2.613$ の範囲で達成される。本手法はスターリング点と回転対称性を用いて、一般化された角度単調性と効率的な局所的経路探索を保証する。

ABSTRACT

A geometric graph in the plane is angle-monotone of width $γ$ if every pair of vertices is connected by an angle-monotone path of width $γ$, a path such that the angles of any two edges in the path differ by at most $γ$. Angle-monotone graphs have good spanning properties. We prove that every point set in the plane admits an angle-monotone graph of width $90^\circ$, hence with spanning ratio $\sqrt 2$, and a subquadratic number of edges. This answers an open question posed by Dehkordi, Frati and Gudmundsson. We show how to construct, for any point set of size $n$ and any angle $α$, $0 < α< 45^\circ$, an angle-monotone graph of width $(90^\circ+α)$ with $O(\frac{n}α)$ edges. Furthermore, we give a local routing algorithm to find angle-monotone paths of width $(90^\circ+α)$ in these graphs. The routing ratio, which is the ratio of path length to Euclidean distance, is at most $1/\cos(45^\circ + \fracα{2})$, i.e., ranging from $\sqrt 2 \approx 1.414$ to $2.613$. For the special case $α= 30^\circ$, we obtain the $Θ_6$-graph and our routing algorithm achieves the known routing ratio 2 while finding angle-monotone paths of width $120^\circ$.

研究の動機と目的

• 平面上の任意の点集合に対して、平面性やスターリング点を要件としない、幅 $90^\circ$ のスパarsな幾何グラフを構築すること。
• これらのグラフ内で、幅 $(90^\circ + \alpha)$ の一般化された角度単調経路を、有界なストレッチ要因で探索する局所ルーティングアルゴリズムを設計すること。
• すべての点集合が、辺数が準二次的で幅が有界な角度単調グラフを有するかどうかという未解決の問題を解消すること。
• スターリング点と回転対称性を用いて、経路幅、ルーティング比、グラフサイズのトレードオフを分析すること。

提案手法

• 近接する点と方向性のウェッジを用いて潜在的な経路を定義する基盤グラフ $G_{\text{pair}}$ を構築する。
• 三角形の縮小列に沿ってスターリング点を導入し、ウェッジ内にすべての点がカバーされるように保証する。この際、辺長の短縮に関する三角関数的境界を用いる。
• 各スターリンググラフ $H$ を $360^\circ(i-1)/t$ ずつ回転させた $t$ 個のコピーを作成することで、回転対称性を用いてすべての角度方向をカバーする。
• 任意の点のペアについて、$90^\circ + \gamma j/2$ の角度を持つ平行線の間隔の最小値 $\lambda$ を定義し、$O(\log(AC/\lambda))$ を用いてスターリング点の数を上限付ける。
• 次に進む頂点を選択するルールを適用し、到着点への近接性とウェッジ内での角度整合性に基づく局所ルーティングを実行する。ウェッジ幅は $\gamma = 90^\circ + \alpha$ である。
• スターリング点の隣接性を用いてギャップを埋めるため、経路境界 $P_{q,\theta_a}$ と $P_{t,b'}$ の交差解析により、角度単調経路の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 平面上のすべての点集合が、辺数が準二次的で幅 $90^\circ$ の角度単調グラフを有するだろうか？
• RQ2 幅 $(90^\circ + \alpha)$ の一般化された角度単調経路を、有界なストレッチ要因で探索できる局所ルーティングアルゴリズムは存在するだろうか？
• RQ3 すべての点集合が、平面的で幅 $\gamma$ の角度単調グラフを有する最小の幅 $\gamma$ は何か？
• RQ4 スターリング点を用いて、任意の $\gamma > 0$ に対して、$o(n^2)$ 本の辺を有する角度単調グラフを構築できるだろうか？

主な発見

• サイズ $n$ の任意の点集合に対して、幅 $90^\circ$ の角度単調グラフが $O(n^2 \log \log n / \log n)$ 本の辺を有することを保証し、Dehkordi, Frati, および Gudmundsson が提起した未解決問題に答えを提示した。
• 任意の $\alpha \in (0^\circ, 45^\circ)$ に対して、幅 $(90^\circ + \alpha)$ のグラフが $O(n / \alpha)$ 本の辺を有し、ルーティング比が $1 / \cos(45^\circ + \alpha/2)$ 未満で達成可能である。
• ルーティング比は、$\alpha \to 0^\circ$ の場合の $\sqrt{2} \approx 1.414$ から、$\alpha = 45^\circ$ の場合の $2.613$ まで変化し、後者は $\Theta_6$-グラフに既知の境界と一致する。
• $\alpha = 30^\circ$ の場合、構成は $\Theta_6$-グラフと一致し、ルーティングアルゴリズムは既知のルーティング比 2 を達成する。これにより、先行研究との整合性が確認された。
• スターリング点の使用により、任意の $\gamma > 0$ に対して、幅 $\gamma$ の角度単調グラフが $O(n / \gamma \cdot \log(\mu / \lambda))$ 本の辺を有するように構築可能である。ここで $\mu$ は点間最大距離、$\lambda$ は非重複平行線間の最小距離である。
• 任意の二点 $q$ と $t$ に対して、$t$ がウェッジ $W_{q,\theta_a}$ 内にある場合、最終グラフ $\mathcal{H}$ に幅 $\gamma = \theta_a + \theta_c$ の角度単調経路が存在することが保証される。これは経路境界の交差解析とスターリング点によるブリッジ構築により証明された。