[论文解读] Computational topology of graphs on surfaces

Éric Colin de Verdière|arXiv (Cornell University)|Feb 17, 2017

Advanced Graph Theory Research参考文献 134被引用 16

一句话总结

本文全面综述了嵌入在曲面上的图的计算拓扑，重点关注曲线同伦、最短环路以及曲面上优化等拓扑问题的高效算法。文中提出了法线曲线表示法，实现对曲线的紧凑、高效的存储与操作，使计算交点数和同胚分类等关键问题得以在多项式时间内求解，相关应用涵盖几何处理、VLSI设计以及曲面上的图算法。

ABSTRACT

Computational topology is an area that revisits topological problems from an algorithmic point of view, and develops topological tools for improved algorithms. We survey results in computational topology that are concerned with graphs drawn on surfaces. Typical questions include representing surfaces and graphs embedded on them computationally, deciding whether a graph embeds on a surface, solving computational problems related to homotopy, optimizing curves and graphs on surfaces, and solving standard graph algorithm problems more efficiently in the case of surface-embedded graphs.

研究动机与目标

• 提供针对曲面特异性计算拓扑问题的系统性概述，其中在高维空间中不可判定的问题在曲面上变得可解。
• 解决同伦、最短环路以及嵌入图上的曲线优化等基本算法挑战。
• 开发并分析曲线在三角剖分曲面上的高效表示方法，特别是法线曲线，以实现紧凑存储与快速计算。
• 通过组合与几何技术，建立拓扑不变量（如交点数、同胚类）与算法过程之间的联系。
• 综述并统一图算法、计算几何与拓扑学的结果，强调其在计算机科学与数学中的实际与理论影响。

提出的方法

• 使用多边形纲要与三角剖分对曲面进行组合表示，通过离散结构实现算法操作。
• 采用法线曲线表示法：在三角剖分的每个三角形中，存储三个整数，分别表示边对之间法线弧的数量，从而实现对不相交简单闭曲线的紧凑编码。
• 应用直线程序技术表示并压缩法线曲线坐标，使在指数级长输入上实现高效计算成为可能。
• 利用拓扑不变量（如代数交点数与几何交点数）通过组合算法判断曲线的同胚性与不相交性。
• 将复杂的拓扑决策问题（如同胚性、不相交性）约化为法线坐标上的线性代数与组合优化问题。
• 整合计算几何、图论与三维拓扑（通过与法线曲面的类比）的结果，统一曲面上的算法方法。

实验结果

研究问题

• RQ1 哪些嵌入在曲面上的图的拓扑问题可以在多项式时间内求解，尽管在高维空间中这些问题是不可判定的？
• RQ2 如何对曲面上的曲线实现紧凑表示并高效操作，特别是在处理大规模或复杂排列时？
• RQ3 判断曲面上两条曲线是否同胚或可通过同伦变为不相交的计算复杂度是多少？
• RQ4 能否通过组合表示高效计算两条曲线的几何交点数或代数交点数？
• RQ5 当图被嵌入在固定曲面上时，相比一般图，会带来哪些算法优势？

主要发现

• 在曲面嵌入图中计算最短可缩放环路的问题可在多项式时间内解决，但若要求环路通过特定顶点，则问题变为NP难。
• 计算最短分离环路的问题是NP难的，表明某些拓扑优化任务具有固有的复杂性。
• 存在一个多项式时间算法，可判断在带边界的平面曲面上，两条曲线是否可通过同伦变为不相交，其依据是组合表征。
• 法线曲线表示法将存储空间从Θ(n + X)比特（朴素表示）减少至O(n log(X/n))比特，在有利情况下可实现指数级压缩。
• 利用法线坐标向量，可在多项式时间内计算两条法线曲线的代数交点数与几何交点数。
• 法线曲线可根据其重数与法线坐标划分为同胚类，且可高效计算连通分支数。