[論文レビュー] Optimal Morphs of Planar Orthogonal Drawings

Arthur van Goethem, Kevin Verbeek|arXiv (Cornell University)|Jan 8, 2018

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

ひとこと要約

この論文は、連結なグラフの2つの平面直交図の間で、平面性、直交性、線形複雑性を常に保ちながら、O(n)本の線形モーフィングのみを用いて最適なモーフィングを実現するアルゴリズムを提示する。この手法は、仮想の折り返し点を追加して図を統合し、トポロジー構造を追跡するためのワイヤーを用い、ソース図とターゲット図におけるワイヤーのスパイラル性の差を基に、平面性と直交性を維持するO(n)本の線形モーフィングのシーケンスを導く。

ABSTRACT

We describe an algorithm that morphs between two planar orthogonal drawings $Γ_I$ and $Γ_O$ of a connected graph $G$, while preserving planarity and orthogonality. Necessarily $Γ_I$ and $Γ_O$ share the same combinatorial embedding. Our morph uses a linear number of linear morphs (linear interpolations between two drawings) and preserves linear complexity throughout the process, thereby answering an open question from Biedl et al. Our algorithm first unifies the two drawings to ensure an equal number of (virtual) bends on each edge. We then interpret bends as vertices which form obstacles for so-called wires: horizontal and vertical lines separating the vertices of $Γ_O$. We can find corresponding wires in $Γ_I$ that share topological properties with the wires in $Γ_O$. The structural difference between the two drawings can be captured by the spirality of the wires in $Γ_I$, which guides our morph from $Γ_I$ to $Γ_O$.

研究の動機と目的

• 連結なグラフの2つの平面直交図の間で最適なモーフィングを達成するという未解決問題に取り組む。
• モーフィングプロセス中、平面性、直交性、線形複雑性を常に維持する。
• 線形モーフィングの数をO(n²)からO(n)に削減し、このようなモーフィングの既知の下界に一致させる。
• 効率的で視覚的に整合性のあるグラフ可視化アプリケーションに適した構成的アルゴリズムを提供する。

提案手法

• 各エッジが両図で同じ数の折り返し点を持つように、仮想の折り返し点を追加することで入力図を統合する。
• 折り返し点を頂点として扱い、統合されたグラフにおいて問題を2つの直交的で直線的な図へのモーフィングに変換する。
• ワイヤーを水平および垂直な線として定義し、頂点を分離する。これによりトポロジー的順序が捉えられ、ホモトピー類が形成される。
• 直交的最短経路および最低経路を用いて、ソース図のワイヤーをターゲット図にマッピングし、トポロジー的構造を保持する。
• ソース図とターゲット図における対応するワイヤー間のスパイラル性の差を追跡し、モーフィングシーケンスを誘導する。
• ジグザグ除去スライドおよびオフセット処理技術を用い、1反復あたりO(1)のモーフィングで一括してエッジの折り返し点を簡略化し、線形複雑性が維持されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 2つの平面直交図の間で、O(n)本の線形モーフィングのみを用いて平面性と線形複雑性を保ちながらモーフィングを達成できるか？
• RQ2 2つの直交的図の構造的差異をどのように捉え、効率的なモーフィングに活用できるか？
• RQ3 スパイラル性が最小で平面性を保つモーフィングシーケンスを可能にする役割は何か？
• RQ4 折り返し点を段階的かつ一括して簡略化することで、モーフィング中に線形複雑性を維持することは可能か？
• RQ5 モーフィングプロセスを、視覚的に整合性があり、トポロジカルに一貫性を持つO(n)本の線形モーフィングのシーケンスに分解できるか？

主な発見

• 提案されたアルゴリズムは、O(n)本の線形モーフィングのみを用いて2つの平面直交図の間のモーフィングを達成し、最適性を満たす。なぜなら、最悪ケースでΩ(n)本のモーフィングが必要であるため。
• エッジの折り返し点を統合し、1反復あたりO(1)のモーフィングを用いた一括処理により、線形複雑性がモーフィング全体で維持される。
• ソース図におけるワイヤーのスパイラル性が、ターゲット図に対する相対的構造的差を的確に捉え、モーフィングシーケンスを効果的に誘導する。
• トポロジカルに一貫性のあるワイヤーマッピングとジグザグ除去変換を用いることで、アルゴリズムは各ステップで平面性と直交性を保証する。
• このアプローチは非連結グラフに対しても拡張可能であり、O(n^1.5)のモーフィングアルゴリズムをもたらし、先行研究のO(n²)の境界を改善する。