[论文解读] Electrical Reduction, Homotopy Moves, and Defect

Hsien-Chih Chang, Jeff Erickson|arXiv (Cornell University)|Oct 2, 2015

Geometric and Algebraic Topology参考文献 65被引用 4

一句话总结

该论文首次建立了平面图中电气化约简以及平面内闭曲线同伦移动的非平凡最坏情况下界，证明在最坏情况下需要 Ω(n³/²) 次操作。关键洞见通过中位图对偶性和拓扑不变量“缺陷”将这两个问题联系起来，表明高缺陷的曲线需要大量移动操作，且证明了任意 n 重交叉曲线的缺陷为 O(n³/²)。

ABSTRACT

Any generic closed curve in the plane can be transformed into a simple closed curve by a finite sequence of local transformations called homotopy moves. We prove that simplifying a planar closed curve with n self-crossings requires Theta(n^{3/2}) homotopy moves in the worst case. Our algorithm improves the best previous upper bound O(n^2), which is already implicit in the classical work of Steinitz; the matching lower bound follows from the construction of closed curves with large defect, a topological invariant of generic closed curves introduced by Aicardi and Arnold. This lower bound also implies that Omega(n^{3/2}) degree-1 reductions, series-parallel reductions, and Delta-Y transformations are required to reduce any planar graph with treewidth Omega(sqrt{n}) to a single edge, matching known upper bounds for rectangular and cylindrical grid graphs. Finally, we prove that Omega(n^2) homotopy moves are required in the worst case to transform one non-contractible closed curve on the torus to another; this lower bound is tight if the curve is homotopic to a simple closed curve.

研究动机与目标

• 建立平面图中电气变换的非平凡最坏情况下界。
• 证明为将具有 n 个自交点的闭合曲线简化为简单曲线，需要 Ω(n³/²) 次同伦移动。
• 通过中位图对偶性和缺陷不变量，连接电气化约简与同伦移动问题。
• 分析具有 n 个交叉点的通用闭合曲线的最大可能缺陷。
• 探讨缺陷界对随机纽结图模型及 Casson 不变量的含义。

提出的方法

• 利用中位图对偶性，将平面图中的电气化约简与闭合曲线上的同伦移动联系起来。
• 应用 Aicardi 和 Arnold 提出的缺陷不变量，以度量闭合曲线的拓扑复杂度。
• 借助 Noble 和 Welsh（2000）的结果，以树宽和图结构为依据界定向缺陷。
• 运用 Steinitz（1916）证明 3-连通平面图为凸多面体 1-骨架的技巧。
• 利用 Haiyashi 等人（2012）的观察：环面纽结的标准投影具有较大的缺陷。
• 通过递归分解论证，证明任意 n 重交叉曲线的缺陷为 O(n³/²)。

实验结果

研究问题

• RQ1 将一个具有 n 个顶点的平面图通过电气变换约简为单个顶点或边，最坏情况下需要多少次操作？
• RQ2 将具有 n 个自交点的闭合曲线简化为简单曲线，最坏情况下需要多少次同伦移动？
• RQ3 缺陷不变量如何与电气化约简和同伦移动的复杂度相关联？
• RQ4 具有 n 个交叉点的通用闭合曲线的最大可能缺陷是多少？
• RQ5 基于缺陷的下界能否推广至非平面图或更高亏格曲面？

主要发现

• 在最坏情况下，约简一个 n 个顶点的平面图，需要 Ω(n³/²) 次度数为 1 的约简、串并联约简以及 ∆Y 变换。
• 为将具有 n 个自交点的闭合曲线约简为简单曲线，需要 Ω(n³/²) 次同伦移动。
• 同伦移动的下界源于存在缺陷为 Ω(n³/²) 的曲线，例如某些环面纽结的标准投影。
• 任意 n 重交叉的通用闭合曲线的缺陷为 O(n³/²)，这意味着若要获得更好的算法问题下界，需引入新技术。
• 由通用曲线导出的随机纽结图中 Casson 不变量的期望值为 O(n³/²)，其增长速率取决于底层曲线族。
• 平环面纽结 T(q+1,q) 和 T(p,p+1) 的缺陷为 Θ(n³/²)，表明其达到极值缺陷值。