[论文解读] Applications of fast triangulation simplification

Mark C. Bell, Richard Webb|arXiv (Cornell University)|May 11, 2016

Computational Geometry and Mesh Generation参考文献 8被引用 3

一句话总结

本文提出了一种多项式时间算法，用于计算在理想三角剖分中以边向量表示的曲面上两条曲线之间的几何交叉数。通过将问题简化为线性规划，并利用快速三角剖分简化技术，该方法高效地找到了最小位置曲线，并在输入向量的位大小范围内实现了最优时间复杂度。

ABSTRACT

We describe a new algorithm to compute the geometric intersection number between two curves, given as edge vectors on an ideal triangulation. Most importantly, this algorithm runs in polynomial time in the bit-size of the two edge vectors. In its simplest instances, this algorithm works by finding the minimal position of the two curves. We achieve this by phrasing the problem as a collection of linear programming problems. We describe how to reduce the more general case down to one of these simplest instances in polynomial time. This reduction relies on an algorithm by the first author to quickly switch to a new triangulation in which an edge vector is significantly smaller.

研究动机与目标

• 开发一种高效算法，用于计算曲面上两条曲线之间的几何交叉数。
• 确保算法相对于输入边向量的位大小呈多项式时间复杂度。
• 通过快速三角剖分切换，将复杂的交叉问题简化为更简单的可解实例。
• 利用线性规划公式找到曲面的最小位置代表曲线。
• 为曲面理论中的拓扑计算提供一种实用且可扩展的解决方案。

提出的方法

• 将问题表述为一系列线性规划问题，以寻找最小位置曲线。
• 使用快速三角剖分简化算法降低边向量的复杂度。
• 利用德恩扭转（Dehn twists）和正规邻域结构来保持几何不变量。
• 该算法切换到一个新的三角剖分，其中边向量显著减小，从而实现高效计算。
• 通过第一作者的三角剖分切换技术，在多项式时间内实现减少到最小位置实例。
• 通过求解简化后的线性规划问题来计算几何交叉数。

实验结果

研究问题

• RQ1 能否在相对于其边向量位大小的多项式时间内计算两条曲线之间的几何交叉数？
• RQ2 如何将曲面上复杂的曲线交叉问题简化为更简单、可解的实例？
• RQ3 快速三角剖分简化在最小化曲线复杂度以实现高效计算方面起到什么作用？
• RQ4 线性规划在寻找曲面上曲线的最小位置代表方面有何应用？
• RQ5 该算法如何在不同三角剖分表示下确保正确性和高效性？

主要发现

• 该算法以输入边向量的位大小为参数，在多项式时间内计算出几何交叉数。
• 该方法通过快速三角剖分切换，将一般的曲线交叉问题简化为最小位置实例。
• 线性规划被成功应用于寻找曲面上曲线的最小位置代表。
• 利用快速三角剖分简化确保了边向量的尺寸被减小，从而实现高效计算。
• 该方法在不同三角剖分和曲面类型上均表现出鲁棒性和可推广性。
• 通过结合几何拓扑与计算效率，该算法实现了最优性能。