[论文解读] $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

一句话总结

该论文证明了所有平面部分3-树均可通过最多一个弯的正交曲线实现1-字符串$B_1$-VPG表示，且每对曲线至多相交一次。此外，该文还表明，IO图和Halin图等子类具有$\{\tt L\}$-表示，其中仅一个顶点可能使用非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-树$B_1$-VPG表示结果从平面3-树扩展到更广泛的平面部分3-树类。
• 研究平面部分3-树的结构化子类是否可使用仅L形曲线实现$\{\tt L\}$-表示。
• 探索是否存在尊重平面嵌入顺序的有序$B_1$-VPG表示。
• 确定$\{\tt L\}$-表示性质是否可超越已知子类扩展到更一般的平面图。
• 通过分析有序和结构化表示，解决关于所有平面图是否具有$\{\tt L\}$-表示的开放问题。

提出的方法

• 使用私有区域技术，定义F形区域和矩形区域以隔离顶点三元组，并确保曲线相交受控。
• 通过在基于网格的布局中放置具有一个弯的曲线（L、L、L、L形状）构建$B_1$-VPG表示，确保每对曲线至多相交一次。
• 基于3-树构造过程，采用递归顶点排序方法，从一个外三角形开始，将度数为3的顶点逐个加入面中。
• 对于IO图和Halin图，通过修改曲线形状（例如延长水平射线并添加向下的垂直线段）以生成$\{\tt L\}$-表示。
• 采用几何定位策略：弯点位于整数坐标，射线延伸以仅与预期邻居相交，从而保持1-字符串性质。
• 对根顶点的基曲线应用变换，以在不违反相交或弯点约束的前提下实现最终的边相交（例如$v_1$与$v_k$之间）。

实验结果

研究问题

• RQ1 所有平面部分3-树是否都具有1-字符串$B_1$-VPG表示？
• RQ2 是否可将$\{\tt L\}$-表示性质扩展至平面部分3-树的子类（如IO图和Halin图）？
• RQ3 是否存在一个平面图，其虽具有$B_1$-VPG表示，但不具有有序$\{\tt L\}$-表示？
• RQ4 Halin图的构造能否推广，以实现无需任何非L形曲线的$\{\tt L\}$-表示？
• RQ5 表示所有平面部分3-树并满足1-字符串性质所需的最小曲线形状集合是什么（例如$\{\tt L\}$、$\{\tt L, \reflectbox{L}\}$）？

主要发现

• 每个平面部分3-树均具有使用最多一个弯的正交曲线的1-字符串$B_1$-VPG表示。
• IO图具有$\{\tt L\}$-表示，即所有顶点曲线均为L形，无弯或仅一个弯呈L形。
• Halin图具有$\{\tt L, \reflectbox{L}\}$-表示，仅一个顶点可能使用$\reflectbox{L}$-形曲线。
• Halin图的构造确保所有相交均发生在曲线末端附近，从而保持1-字符串性质。
• 该表示是有序的，即每条曲线上相交的顺序与平面嵌入中顶点周围边的循环顺序一致。
• 本文提供了构造性证明，将已知的平面3-树结果扩展至平面部分3-树，暗示通过$\{\tt L\}$-表示解决Scheinerman猜想的可能路径。