[论文解读] Computing the Geometric Intersection Number of Curves

Vincent Despré, Francis Lazarus|HAL (Le Centre pour la Communication Scientifique Directe)|Nov 30, 2015

Computational Geometry and Mesh Generation被引用 5

一句话总结

本论文提出了一套简单且高效的算法，用于在组合曲面上计算曲线的几何交叉数，其核心是基于标准形式和测地线类曲线的新型组合框架。该方法在 O(n + ℓ²) 时间内实现了单条或两条曲线几何交叉数的最优计算，并首次提供了构造最小浸入曲线的多项式时间算法，同时实现了对曲线是否同伦于简单曲线的准线性时间检测。

ABSTRACT

The geometric intersection number of a curve on a surface is the minimal number of self-intersections of any homotopic curve, i.e. of any curve obtained by continuous deformation. Given a curve $c$ represented by a closed walk of length at most $\ell$ on a combinatorial surface of complexity $n$ we describe simple algorithms to (1) compute the geometric intersection number of $c$ in $O(n+ \ell^2)$ time, (2) construct a curve homotopic to $c$ that realizes this geometric intersection number in $O(n+\ell^4)$ time, (3) decide if the geometric intersection number of $c$ is zero, i.e. if $c$ is homotopic to a simple curve, in $O(n+\ell\log\ell)$ time. The algorithms for (2) and (3) are restricted to orientable surfaces, but the algorithm for (1) is also valid on non-orientable surfaces. To our knowledge, no exact complexity analysis had yet appeared on those problems. An optimistic analysis of the complexity of the published algorithms for problems (1) and (3) gives at best a $O(n+g^2\ell^2)$ time complexity on a genus $g$ surface without boundary. No polynomial time algorithm was known for problem (2) for surfaces without boundary. Interestingly, our solution to problem (3) provides a quasi-linear algorithm to a problem raised by Poincaré more than a century ago. Finally, we note that our algorithm for problem (1) extends to computing the geometric intersection number of two curves of length at most $\ell$ in $O(n+ \ell^2)$ time.

研究动机与目标

• 提供精确且低复杂度的算法，用于计算组合曲面上曲线的几何交叉数。
• 开发首个多项式时间算法，用于构造一条与给定曲线同伦且自交数最小的曲线。
• 提供一种准线性时间算法，用于判断一条曲线是否同伦于简单曲线（即几何交叉数为零）。
• 建立一种组合框架，以高效且可构造的方法替代双曲几何，基于标准形式和扰动技术。
• 通过简单且可证明高效的解决方案，解决计算拓扑学中长期存在的算法难题。

提出的方法

• 该方法基于基于四边形系统和标准形式的组合框架，其行为类似于双曲曲面上的测地线。
• 引入了标准曲线的概念，并在线性时间内计算其本原根，以简化同伦性分析。
• 通过在曲线的标准表示中计数交叉点来计算几何交叉数，采用基于扰动的方法避免重复计数。
• 在检测简单曲线时，应用一种“展开”算法，检查扰动后曲线上顶点周围弧段出现的括号匹配序列是否有效。
• 该方法依赖于组合扰动以及对二边形和单边形的分析，以最小化交叉点数量。
• 通过类似交叉计数技术，将方法扩展至两条曲线，实现其相互交叉数在相同 O(n + ℓ²) 时间内的计算。

实验结果

研究问题

• RQ1 能否在近乎线性时间内，通过简单算法计算组合曲面上单条曲线的几何交叉数？
• RQ2 是否存在一个多项式时间算法，用于构造一条与给定曲线同伦且自交数最小的曲线？
• RQ3 能否在准线性时间内判断一条曲线是否同伦于简单曲线（即几何交叉数为零）？
• RQ4 能否通过组合框架替代双曲几何，以相当的效率和简洁性计算交叉数？
• RQ5 是否可能设计一种组合算法，通过类似二边形交换的局部操作，找到一条自交数最少的曲线扰动？

主要发现

• 在复杂度为 n 的曲面上，长度为 ℓ 的单条或两条曲线的几何交叉数可在 O(n + ℓ²) 时间内计算。
• 在可定向曲面上，可在线性时间 O(n + ℓ⁴) 内构造一条与输入曲线同伦且自交数最小的曲线。
• 该算法可在 O(n + ℓ log ℓ) 时间内检测一条曲线是否同伦于简单曲线，从而以准线性时间解决了庞加莱提出的问题。
• 该方法提供了首个已知的在无边曲面上构造最小浸入曲线的多项式时间算法。
• 该框架通过展开算法和括号匹配序列检查，实现了检测简单曲线的准线性时间解法。
• 该方法可扩展至两条曲线，使得其几何交叉数的计算在相同 O(n + ℓ²) 时间复杂度下完成。