[論文レビュー] Morphing Planar Graph Drawings with Unidirectional Moves

Fidel Barrera-Cruz, Penny Haxell+1 more|arXiv (Cornell University)|Nov 23, 2014

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

ひとこと要約

本稿では、平面グラフの図形に対する単方向の変形アルゴリズムを簡素化したものであり、すべての頂点が共通の方向に平行に移動する一方向線形変形のみを用いて、平面性を維持する。この手法により、Alamdari らの結果を改善し、より洗練された証明と幾何的複雑性の低減を実現しながらも、多項式ステップ数を保ったままとなる。

ABSTRACT

Alamdari et al. showed that given two straight-line planar drawings of a graph, there is a morph between them that preserves planarity and consists of a polynomial number of steps where each step is a \emph{linear morph} that moves each vertex at constant speed along a straight line. An important step in their proof consists of converting a \emph{pseudo-morph} (in which contractions are allowed) to a true morph. Here we introduce the notion of \emph{unidirectional morphing} step, where the vertices move along lines that all have the same direction. Our main result is to show that any planarity preserving pseudo-morph consisting of unidirectional steps and contraction of low degree vertices can be turned into a true morph without increasing the number of steps. Using this, we strengthen Alamdari et al.'s result to use only unidirectional morphs, and in the process we simplify the proof.

研究の動機と目的

• 三角形分割された平面グラフの直線図形間における多項式時間平面的変形の証明を簡素化すること。
• 一般の線形変形を、すべての頂点が固定方向に平行に移動する一方向変形に置き換えつつ、ステップ数を増加させないこと。
• 一方向ステップと低次数の頂点縮約からなる疑似変形が、ステップ数を増加させずに真の変形に変換可能であることを示すこと。
• 変形プロセス中、平面性と直線性の性質を維持しつつ、幾何的取り扱いを簡素化すること。
• 一方向変形シーケンスの構造を明確にすることで、将来のグリッドバウンデッド変形アルゴリズムの基盤を提供すること。

提案手法

• 各ステップですべての頂点が共通の直線に平行に移動する「一方向変形」の概念を導入する。
• 一方向ステップと低次数の頂点縮約を用いた平面性を保つ疑似変形が、ステップ数を増加させずに真の変形に変換可能であることを証明する。
• 幾何的不変量を用いる：線に平行な移動制約により、変形中に点が角領域および円板近傍内にとどまるように保つ。
• 補題6を適用して、点が一方向変形中に動的領域内にとどまるように、直線の片側関係を維持する。
• 「よい点」（実行可能な中間位置）を、領域の L_i 切断として特徴づけ、空でない集合であり、有効な変形経路が存在することを保証する。
• 最終配置から逆帰納的に中間位置を構築し、平面性および領域内属を保証する。

実験結果

リサーチクエスチョン

• RQ1 一方向変形と低次数の頂点縮約からなる疑似変形は、ステップ数を増加させずに真の変形に変換可能か？
• RQ2 変形ステップを一方向運動に制限することで、多項式時間平面的変形の証明を簡素化可能か？
• RQ3 頂点が平行線に沿って移動する一方向変形において、平面性および領域内属が中間ステップでも保たれるか？
• RQ4 一方向変形中に点が動的角領域内にとどまるために必要な幾何的条件は何か？
• RQ5 逆方向の構成プロセスにおいて、領域の L-切断を用いることで、有効な中間配置の存在を保証できるか？

主な発見

• 平面性を保つ疑似変形が一方向変形と低次数の頂点縮約から構成される場合、ステップ数を増加させずに真の変形に変換可能である。
• 提案手法により、三角形分割されたグラフの2つの直線図形間で、O(n²)の一方的線形変形ステップを用いた変形シーケンスが達成される。
• Alamdari らの結果と比較して、頂点縮約時の近接性に関する複雑な幾何的議論を排除し、証明が簡素化されている。
• 各領域内に空でない「よい点」（実行可能な中間位置）の集合が、L_i 切断によって保証される。
• 一方向変形中に、点が動的角領域内にとどまるように、直線の片側関係を一貫して維持することにより、領域内属が保証される。
• 本研究の結果は、将来のグリッドバウンデッド変形アルゴリズムの基盤を提供するが、本研究では中間図形のグリッドサイズは有界でない。