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

一句话总结

本文提出了一种简化的单向形变算法，用于平面图的绘制，通过仅使用 O(n²) 个单向线性形变（所有顶点沿同一方向移动）来保持平面性，从而在更清晰的证明和更低的几何复杂度下，改进了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-截断，保证有效中间构型的存在性？

主要发现

• 任何保持平面性的伪形变，若由单向形变和低度顶点收缩组成，均可转换为真实形变，且不增加步骤数。
• 所提方法在两个三角化图的直线平面绘制之间，实现了 O(n²) 个单向线性形变的形变序列。
• 与Alamdari等人相比，该证明更为简化，消除了关于收缩过程中顶点接近性的复杂几何论证。
• 通过 L_i 截断，保证了每个扇区内存在非空的“好点”集合（即可行的中间位置）。
• 通过保持点在直线同侧关系的一致性，该方法确保点在整个单向形变过程中始终位于动态角度扇区内。
• 该结果为未来研究网格有界形变提供了基础，但本工作中中间绘制的网格大小仍为无界。