[论文解读] Reconfiguration of Plane Trees in Convex Geometric Graphs

Nicolás Bousquet, Lucas De Meyer+2 more|arXiv (Cornell University)|Oct 27, 2023

Computational Geometry and Mesh Generation被引用 1

一句话总结

该论文改进了凸几何图中将一个非交叉生成树转换为另一个非交叉生成树的翻转序列长度的上界，证明了最多1.95n次翻转，相较于先前的2n阈值实现了线性改进。同时，该研究基于对称差建立了最小翻转序列的5/3下界，推翻了此前认为3/2δ(T₁,T₂)次翻转始终足够的猜想。

ABSTRACT

A non-crossing spanning tree of a set of points in the plane is a spanning tree whose edges pairwise do not cross. Avis and Fukuda in 1996 proved that there always exists a flip sequence of length at most $2n-4$ between any pair of non-crossing spanning trees (where $n$ denotes the number of points). Hernando et al. proved that the length of a minimal flip sequence can be of length at least $\frac 32 n$. Two recent results of Aichholzer et al. and Bousquet et al. improved the Avis and Fukuda upper bound by proving that there always exists a flip sequence of length respectively at most $2n - \log n$ and $2n - \sqrt{n}$. We improve the upper bound by a linear factor for the first time in 25 years by proving that there always exists a flip sequence between any pair of non-crossing spanning trees $T_1,T_2$ of length at most $c n$ where $c \approx 1.95$. Our result is actually stronger since we prove that, for any two trees $T_1,T_2$, there exists a flip sequence from $T_1$ to $T_2$ of length at most $c |T_1 \setminus T_2|$. We also improve the best lower bound in terms of the symmetric difference by proving that there exists a pair of trees $T_1,T_2$ such that a minimal flip sequence has length $\frac 53 |T_1 \setminus T_2|$, improving the lower bound of Hernando et al. by considering the symmetric difference instead of the number of vertices. We generalize this lower bound construction to non-crossing flips (where we close the gap between upper and lower bounds) and rotations.

研究动机与目标

• 解决凸几何图中非交叉生成树之间翻转序列长度上界与下界之间长期存在的差距问题。
• 将翻转序列的最佳已知上界从O(n)改进为c·n，其中c ≈ 1.95，首次在25年内打破了2n的界限。
• 通过聚焦于对称差δ(T₁,T₂)而非总顶点数来细化分析，从而实现更紧密的界限。
• 通过构造一组需要5/3δ(T₁,T₂)次翻转的树对，推翻了猜想1.2（该猜想认为3/2δ(T₁,T₂)次翻转总是足够）。
• 将结果扩展至非交叉翻转和旋转操作，解决了这些模型中上界与下界之间的差距。

提出的方法

• 提出一种基于凸位置和弦类型的新颖树结构分解方法，将点集划分为循环段。
• 采用基于旋转的变换框架，其中每次翻转对应于几何树重配置模型中的一次旋转。
• 对涉及公共弦、边界边以及特定循环分量中端点的弦的旋转序列进行详细案例分析。
• 运用反证法证明，若不引入额外且未计入的旋转，则某些旋转序列无法完成。
• 利用对称差δ(T₁,T₂)的性质，将翻转长度与边的变化关联起来，证明T₁ΔT₂中的每条边必须至少参与一次翻转。
• 通过构造基于循环分量和弦模式的极值树对，建立紧致的下界，特别是证明在某些情况下5/3δ(T₁,T₂)是必需的。

实验结果

研究问题

• RQ1 翻转序列在非交叉生成树之间的上界能否低于2n，即使仅以线性因子改进？
• RQ2 关于翻转序列的3/2δ(T₁,T₂)上界猜想是否紧致？能否进一步改进或被推翻？
• RQ3 对称差δ(T₁,T₂)与最小翻转序列长度之间的精确渐近关系是什么？
• RQ4 在变换复杂度方面，非交叉翻转与旋转有何异同？能否弥合这些模型中上界与下界之间的差距？
• RQ5 凸几何树的结构分解能否实现对重配置过程中边转移的更紧密分析？

主要发现

• 该论文为凸几何图中任意非交叉生成树转换为另一棵非交叉生成树建立了最多1.95n次翻转的新上界。
• 证明了翻转序列长度受c·|T₁ΔT₂|约束，其中c ≈ 1.95，相较于以往基于对称差的界限有所改进。
• 作者构造了一类树对，其所需的翻转次数至少为5/3·|T₁ΔT₂|，从而推翻了猜想1.2（该猜想提出3/2为上界）。
• 该下界构造被推广至非交叉翻转和旋转操作，解决了这些模型中上界与下界之间的差距。
• 分析表明，某些弦类型和循环分量结构会强制引入超出初始计数的额外旋转，从而导致5/3的下界。
• 基于反证法和旋转序列中结构不变量的证明技术表明，当存在特定弦模式时，任何最小序列都无法避免引入额外旋转。