[论文解读] Pants Decomposition of the Punctured Plane

SH Sheung-Hung Poon, S Shripad Thite|arXiv (Cornell University)|Feb 22, 2006

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

一句话总结

本文提出了计算穿孔平面上最短长裤分解的多项式时间算法——其中曲面为去掉n个点的欧氏平面，使用轴对齐的矩形或共线点。针对矩形分解，给出了O(n⁴)时间的精确算法；针对共线点，给出了O(n²)时间的算法，两者均使用动态规划结合Yao的加速技术；此外，针对一般情况，还提出了基于Mitchell的切刀分割的PTAS。

ABSTRACT

A pants decomposition of an orientable surface S is a collection of simple cycles that partition S into pants, i.e., surfaces of genus zero with three boundary cycles. Given a set P of n points in the plane, we consider the problem of computing a pants decomposition of the surface S which is the plane minus P, of minimum total length. We give a polynomial-time approximation scheme using Mitchell's guillotine rectilinear subdivisions. We give a quartic-time algorithm to compute the shortest pants decomposition of S when the cycles are restricted to be axis-aligned boxes, and a quadratic-time algorithm when all the points lie on a line; both exact algorithms use dynamic programming with Yao's speedup.

研究动机与目标

• 计算穿孔平面的最短长裤分解，定义为非交叉的简单环集合，将曲面划分为具有三个边界环的亏格零分量。
• 最小化分解中环的总长度，这是几何拓扑学与计算几何中优化的自然度量。
• 通过在几何约束下提供高效的确切与近似算法，解决该问题的计算复杂性。
• 研究最短长裤分解的结构性质，如凸性以及与TSP环游的关系。

提出的方法

• 使用动态规划结合Yao的加速技术，将朴素O(n³)公式的复杂度降低至共线点情况下的O(n²)，矩形分解情况下的O(n⁴)。
• 应用凹四边形不等式和代价函数w(i,j) = x_j - x_i的单调性，以高效计算最优子结构。
• 采用递归合并策略，从TSP环游构建环，其中每个环对应由矩形或多边形包围的点的子集。
• 利用Mitchell的切刀矩形分割构造一般点集的多项式时间近似方案（PTAS）。
• 将环的层次结构建模为具有n片叶子的二叉树，其中每个内部节点表示包围两个子分量的环。
• 将环限制为轴对齐的矩形，以利用水平或垂直线的可分性，从而实现高效的二维动态规划。

实验结果

研究问题

• RQ1 对于给定长度界L，计算穿孔平面上最短非交叉长裤分解的问题是否为NP难？
• RQ2 能否为一般最短长裤分解问题设计一个常数因子近似算法？
• RQ3 在最短非交叉长裤分解中，环是否总是凸的？非凸环是否可能使总长度更短？
• RQ4 对于非点状穿孔（如矩形孔）的曲面，最短长裤分解应如何高效计算？
• RQ5 在其他二维流形（如带穿孔的环面）上计算最短长裤分解的计算复杂性如何？

主要发现

• 针对所有n个点共线的情况，提出了一种O(n²)时间的精确算法，使用动态规划结合Yao的加速技术。
• 针对环被限制为轴对齐矩形的情况，开发出一种O(n⁴)时间的精确算法，同样使用动态规划与加速技术。
• 通过使用Mitchell的切刀矩形分割，实现了多项式时间近似方案（PTAS），可提供与最优解任意接近的近似结果。
• 最短长裤分解的总长度至少等于n个点的最短欧几里得TSP环游长度，从而为最优解建立了下界。
• 动态规划公式的代价函数满足凹四边形不等式，使得可以使用Yao的加速技术将时间复杂度降低一个线性因子。
• 长裤分解中的环层次结构对应一棵具有n片叶子的二叉树，该结构可用于引导最优分解的递归构建。