[论文解读] Lower Bounds for Planar Electrical Reduction.

Hsien-Chih Chang, Jeff Erickson|arXiv (Cornell University)|Jul 15, 2017

Computational Geometry and Mesh Generation参考文献 17被引用 2

一句话总结

该论文通过将平面图上的电气变换与带穿孔曲面上的同伦移动联系起来，建立了更强的下界。它证明了对于具有两个或更多端点的图，使用环形同伦移动时，下界为 Ω(n²)；并通过平面嵌入下中线图缺陷的不变性，将 Ω(n^{3/2}) 的下界扩展至一般的平面电气变换。

ABSTRACT

We strengthen the connections between electrical transformations and homotopy from the planar setting---observed and studied since Steinitz---to arbitrary surfaces with punctures. As a result, we improve our earlier lower bound on the number of electrical transformations required to reduce an $n$-vertex graph on surface in the worst case [SOCG 2016] in two different directions. Our previous $\Omega(n^{3/2})$ lower bound applies only to facial electrical transformations on plane graphs with no terminals. First we provide a stronger $\Omega(n^2)$ lower bound when the planar graph has two or more terminals, which follows from a quadratic lower bound on the number of homotopy moves in the annulus. Our second result extends our earlier $\Omega(n^{3/2})$ lower bound to the wider class of planar electrical transformations, which preserve the planarity of the graph but may delete cycles that are not faces of the given embedding. This new lower bound follows from the observation that the defect of the medial graph of a planar graph is the same for all its planar embeddings.

研究动机与目标

• 加强电气变换与平面及带穿孔曲面上同伦之间的联系。
• 提高在曲面上将 n 个顶点的图减少所需电气变换次数的最坏情况下的下界。
• 将先前针对面内电气变换的 Ω(n^{3/2}) 下界扩展至更广泛的保持图平面性的平面电气变换类别。
• 通过环面上的同伦移动，为具有两个或更多端点的图建立二次下界。

提出的方法

• 从带穿孔曲面上同伦移动的视角分析电气变换。
• 以环面作为模型曲面，推导出具有端点的图在同伦移动上的二次下界。
• 引入平面图中线图缺陷的概念，并证明其在所有平面嵌入下的不变性。
• 利用该不变性，将 Ω(n^{3/2}) 的下界扩展至一般的平面电气变换。
• 利用环面上同伦移动的已知结果，推导出电气变换序列的界。
• 将电气变换复杂性的研究问题转化为图嵌入的拓扑不变量。

实验结果

研究问题

• RQ1 将具有两个或更多端点的平面图减少所需的最坏情况电气变换次数是多少？
• RQ2 电气变换的复杂性与带穿孔曲面上的同伦移动有何关系？
• RQ3 能否将先前针对面内电气变换的 Ω(n^{3/2}) 下界扩展至更广泛的平面电气变换类别？
• RQ4 平面图中线图的缺陷在不同平面嵌入下是否保持不变？
• RQ5 哪些拓扑不变量决定了图减少所需的最少电气变换次数？

主要发现

• 为具有两个或更多端点的 n 个顶点平面图，建立了 Ω(n²) 的电气变换次数下界。
• 该二次下界源于环面上同伦移动次数的对应下界。
• 平面图中线图的缺陷在所有平面嵌入下保持不变，这是分析中的关键拓扑不变量。
• 将早期工作中针对面内电气变换的 Ω(n^{3/2}) 下界扩展至保持平面性的更广泛平面电气变换类别，该类变换可能删除非面循环。
• 电气变换与同伦移动之间的联系在任意带穿孔曲面上得到形式化和加强。
• 中线图缺陷的不变性为证明电气变换序列的下界提供了新工具。