[論文レビュー] Angle-monotone Paths in Non-obtuse Triangulations

Anna Lubiw, Joseph O’Rourke|arXiv (Cornell University)|Jul 1, 2017

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

ひとこと要約

本稿では、非直角三角形分割における任意の2頂点間の角度単調パスの存在について、簡略化された証明を提示する。この証明により、60°以上の幅を持つ楔内では、このようなパスが存在することを示している。さらに、角度単調な全域木は常に存在しないが、境界に根をもつ全域森は存在することを示し、浅い凸多面体キャップの辺展開において重なりがないことを保証する、新たな予想を提示する。

ABSTRACT

We reprove a result of Dehkordi, Frati, and Gudmundsson: every two vertices in a non-obtuse triangulation of a point set are connected by an angle-monotone path--an xy-monotone path in an appropriately rotated coordinate system. We show that this result cannot be extended to angle-monotone spanning trees, but can be extended to boundary-rooted spanning forests. The latter leads to a conjectural edge-unfolding of sufficiently shallow polyhedral convex caps.

研究の動機と目的

• Dehkordi, Frati, Gudmundsson が当初確立した非直角三角形分割における角度単調パスの存在について、より簡潔で直接的な証明を提供すること。
• 角度単調パスの性質が全域木へと拡張できるかどうかを調査し、もしそうでない場合、その性質を保つ代替構造を同定すること。
• 角度単調パスと凸多面体キャップの辺展開との間の関係、特に径方向単調性と重なりのない展開の文脈において探求すること。
• 特定のアルゴリズム的手法により、射影平面上のグラフに角度単調森を構築できるが、これを3次元に持ち上げることで、重なりのない浅い凸多面体キャップの辺展開が得られることを予想すること。

提案手法

• 出発点となる頂点 s の周囲で角をスキャンし、各頂点 v に中心を持つ 90° の幅の楔 W(β,v) を定義することで、β-単調パスを同定する。
• 凸包の頂点に放射線を追加して三角形分割 G を拡張し、境界上の頂点を含め、すべての頂点がパスの延長条件を満たすようにする。
• 上側と下側の包絡線 U(β) と L(β) を定義し、s からの最も反時計回りおよび時計回りの β-単調パスを形成し、それらが領域 R(β) を形成する。
• 包絡線によって形成される領域 R(β) 内のすべての頂点が、s からの β-単調パスによって到達可能であることを証明し、このようなパスの存在を確立する。
• 90° に限らず、任意の幅 γ ≥ 60° の楔に対しても結果を拡張し、すべての角が ≤ γ である三角形分割において、幅 γ の角度単調パスが任意の2頂点間で存在することを示す。
• アルゴリズム1 を用いて4つの象限で境界に根をもつ全域森を構築し、得られた平面森を3次元に持ち上げて、凸キャップ上のカット森を形成する。

実験結果

リサーチクエスチョン

• RQ1 Dehkordi, Frati, Gudmundsson が提示したオリジナルの手法よりも、非直角三角形分割における角度単調パスの存在をより簡潔に証明できるか？
• RQ2 非直角三角形分割において、角度単調パスの性質が角度単調全域木へと拡張可能か？
• RQ3 非直角三角形分割において、角度単調パスから構成される境界に根をもつ全域森を構築できるか？もしそうなら、どのような条件下で可能か？
• RQ4 角度単調パスと重なりのない凸多面体キャップの辺展開との間に、関係があるか？
• RQ5 アルゴリズム1 により構築された平面の角度単調森を3次元に持ち上げた場合、その結果得られるカットパスが径方向単調であり、自己交差を起こさずに展開可能か？

主な発見

• 非直角三角形分割における任意の2頂点間の角度単調パスの存在について、角スキャンと包絡線パスを用いたより単純な証明が提供された。
• 90° に限らず、任意の幅 γ ≥ 60° の楔に対しても結果が拡張され、すべての角が ≤ γ である三角形分割において、幅 γ の角度単調パスが任意の2頂点間で存在することが保証された。
• 角度単調全域木は非直角三角形分割において常に存在するとは限らず、反例によってそのことが示された。
• 任意の β に対して、β-単調パスから構成される境界に根をもつ全域森を構築可能であり、非直角三角形分割においてもそのような森が存在することが保証された。
• 浅い凸多面体キャップの射影平面グラフ C⊥ における角度単調森の構築は、3次元に持ち上げられ、重なりのない辺展開をもたらすカット森を形成することが示唆された。
• 実装によりその予想が支持され、Φ ≈ 27° の凸キャップが重なりなく成功裏に展開される視覚的証拠が得られた。