[论文解读] On Minimum Area Homotopies of Normal Curves in the Plane

Brittany Terese Fasy, Selcuk Karakoc+1 more|arXiv (Cornell University)|Jul 7, 2017

Advanced Numerical Analysis Techniques参考文献 1被引用 4

一句话总结

本论文证明，平面内普通曲线的最小面积同伦可通过完全收缩自重叠子曲线（特别是浸入圆盘的边界）来构建，为计算此类同伦提供了结构基础。关键贡献是一条定理，证明任意最小同伦等价于由锚定在曲线自交点处的自重叠分量收缩而成的同伦，从而支持一种递归算法以计算最小面积。

ABSTRACT

In this paper, we study the problem of computing a homotopy from a planar curve $C$ to a point that minimizes the area swept. The existence of such a minimum homotopy is a direct result of the solution of Plateau's problem. Chambers and Wang studied the special case that $C$ is the concatenation of two simple curves, and they gave a polynomial-time algorithm for computing a minimum homotopy in this setting. We study the general case of a normal curve $C$ in the plane, and provide structural properties of minimum homotopies that lead to an algorithm. In particular, we prove that for any normal curve there exists a minimum homotopy that consists entirely of contractions of self-overlapping sub-curves (i.e., consists of contracting a collection of boundaries of immersed disks).

研究动机与目标

• 刻画平面内任意普通曲线的最小面积同伦结构，推广先前针对简单曲线的研究成果。
• 建立最小同伦可分解为自重叠子曲线收缩的理论，每个子曲线对应一个浸入圆盘的边界。
• 为开发计算最小同伦面积的多项式时间算法提供理论基础。
• 将最小同伦面积与由曲线自交诱导的平面图中面的卷绕面积相关联。
• 将同伦面积最小化方法的应用范围从简单曲线扩展至具横截自交的一般非简单、普通曲线。

提出的方法

• 将普通曲线表示为平面嵌入的有向图，以有限个横截自交点作为顶点。
• 将同伦移动（I_b 和 II_b）定义为曲线结构的组合变化，重点关注避免冗余或非最小移动的‘良好行为’同伦。
• 证明任意最小同伦可通过用等价的自重叠子曲线收缩替换非最小移动，转化为良好行为同伦。
• 利用卷绕数和卷绕面积的概念定义同伦过程中的扫掠面积，总扫掠面积为各面的有符号面积按其卷绕数加权后的总和。
• 设计一种递归算法，通过在每个交点处分割曲线并选择使结果子曲线总面积最小的分割方式，计算最小同伦面积。
• 利用现有算法检测自重叠曲线并计算其内部区域，从而高效识别可收缩的子曲线。

实验结果

研究问题

• RQ1 对于一般普通曲线，其最小同伦面积是否可高效计算，而不仅限于由两个简单曲线拼接而成的特殊情况？
• RQ2 非简单、自相交平面曲线的最小面积同伦具有何种结构性特征？
• RQ3 是否可将任意最小同伦分解为一系列自重叠子曲线的收缩，每个子曲线对应一个浸入圆盘的边界？
• RQ4 由曲线自交诱导的平面图中各面的卷绕面积如何与最小同伦中的总扫掠面积相关联？
• RQ5 最小同伦面积问题是否可基于交点处的递归分解，转化为动态规划形式？

主要发现

• 任何平面内普通曲线的最小同伦均可被替换为仅由自重叠子曲线收缩构成的‘良好行为’同伦。
• 自重叠曲线的最小同伦面积等于其卷绕面积，即平面中卷绕数的积分。
• 对于任意普通曲线，存在一种最小同伦，使得在由曲线自交诱导的平面图的每个面内，扫掠面积在该面内保持恒定。
• 总最小同伦面积等于所有面的卷绕数与其面积乘积的总和。
• 通过在每个交点处分割曲线并选择使结果子曲线面积总和最小的分割方式，可利用递归算法计算最小同伦面积。
• 结构定理将最小同伦的搜索空间缩减为有限个自重叠子曲线收缩的候选集合，为多项式时间算法的实现铺平道路。