[論文レビュー] $1$-String $B_1$-VPG Representations of Planar Partial $3$-Trees and Some Subclasses

Thérèse Biedl, Martin Derka|arXiv (Cornell University)|Jun 24, 2015

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

ひとこと要約

本稿は、すべての平面的partial 3-木が、たかだか1つの折り目をもつ直交曲線を用いて1文字の$B_1$-VPG表現を有することを証明している。ここで、任意の2曲線の交差は1回までである。さらに、IOグラフやHalginグラフといった部分クラスは、唯一の頂点が非L形状を用いる可能性を除き、すべての頂点がL形状を用いる$\{\tt L\}$-表現を有することを示しており、平面的グラフの構造的直交表現の理解を進めた。

ABSTRACT

Planar partial $3$-trees are subgraphs of those planar graphs obtained by repeatedly inserting a vertex of degree $3$ into a face. In this paper, we show that planar partial $3$-trees have $1$-string $B_1$-VPG representations, i.e., representations where every vertex is represented by an orthogonal curve with at most one bend, every two curves intersect at most once, and intersections of curves correspond to edges in the graph. We also that some subclasses of planar partial 3-trees have L-representations, i.e., a $B_1$-VPG representation where every curve has the shape of an L.

研究の動機と目的

• 平面的3-木から平面的partial 3-木への既知の$B_1$-VPG表現結果の拡張。
• 平面的partial 3-木の構造的部分クラスが、L形状の曲線のみを用いた$\{\tt L\}$-表現を有するかどうかの調査。
• 平面的埋め込み順序を尊重する順序付き$B_1$-VPG表現の可能性の探求。
• $\{\tt L\}$-表現の性質が既知の部分クラスを超えてより一般の平面的グラフへ拡張可能かどうかの検討。
• すべての平面的グラフが$\{\tt L\}$-表現を有するかどうかの未解決問題に、順序付きおよび構造的表現を分析することで対処。

提案手法

• プライベート領域技術を用い、F形状および長方形領域を定義することで、頂点の三つ組を分離し、曲線の交差を制御する。
• グリッドベースのレイアウトで、1つの折り目をもつ曲線（L, L, L, L形状）を配置することで$B_1$-VPG表現を構築し、任意の2曲線の交差が1回までであることを保証する。
• 3-木構築プロセスに基づく再帰的頂点順序付けを用い、外側の三角形から始め、次数3の頂点を面に追加する。
• IOグラフやHalinグラフに対しては、曲線の形状を変更（例えば水平線を延長し、下向きの垂直セグメントを追加）することで$\{\tt L\}$-表現を構築する。
• 幾何的配置戦略を用いる：折り目は整数座標に配置され、線分は意図した隣接頂点とのみ交差するように延長され、1文字の性質が保たれる。
• 根頂点の基本曲線に変換を施し、交差を1回だけ確保（例：$v_1$と$v_k$の間のエッジ交差）するが、交差制約や折り目制約を破らないようにする。

実験結果

リサーチクエスチョン

• RQ1 すべての平面的partial 3-木は1文字の$B_1$-VPG表現を有するか？
• RQ2 IOグラフやHalinグラフなどの平面的partial 3-木の部分クラスに対して、$\{\tt L\}$-表現の性質を拡張可能か？
• RQ3 $B_1$-VPG表現を有するが、順序付き$\{\tt L\}$-表現を有しない平面的グラフは存在するか？
• RQ4 Halinグラフの構成を一般化することで、非L形状の曲線を一切必要としない$\{\tt L\}$-表現を達成可能か？
• RQ5 1文字の性質を満たすすべての平面的partial 3-木を表現するために必要な最小の曲線形状の集合（例：$\{\tt L\}$, $\{\tt L, \reflectbox{L}\}$）は何か？

主な発見

• すべての平面的partial 3-木は、たかだか1つの折り目をもつ直交曲線を用いて1文字の$B_1$-VPG表現を有する。
• IOグラフは$\{\tt L\}$-表現を有する。これは、すべての頂点曲線がL形状であり、折り目がなく、またはL形に1つの折り目をもつことを意味する。
• Halinグラフは$\{\tt L, \reflectbox{L}\}$-表現を有する。唯一の頂点が$\reflectbox{L}$-形状の曲線を用いる可能性がある。
• Halinグラフの構成は、すべての交差が曲線の終端付近に発生することを保証し、1文字の性質を維持する。
• 表現は順序付きであり、各曲線に沿った交差の順序が、平面的埋め込みにおける頂点の周囲の辺の巡回順序と一致する。
• 本稿は、既知の平面的3-木からの結果の拡張を構成的証明により示しており、Scheinermanの予想が$\{\tt L\}$-表現を介して解決される道筋を示唆している。