[论文解读] Simple Curve Embedding

Jessica Sherette, Carola Wenk|arXiv (Cornell University)|Mar 4, 2013

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

一句话总结

本文引入了简单曲线嵌入问题：在曲面上寻找一条简单曲线，使其到给定输入曲线的距离最小化。研究证明，在平面上的曲线中，该问题在 Fréchet 距离下为 NP-难问题；在地形上则在弱 Fréchet 距离下为 NP-难问题，从而确立了计算几何中曲线简化与基于曲面的相似性计算的根本复杂性界限。

ABSTRACT

Given a curve f and a surface S, how hard is it to find a simple curve f' in S that is the most similar to f? We introduce and study this simple curve embedding problem for piecewise linear curves and surfaces in R^2 and R^3, under Hausdorff distance, weak Frechet distance, and Frechet distance as similarity measures for curves. Surprisingly, while several variants of the problem turn out to have polynomial-time solutions, we show that in R^3 the simple curve embedding problem is NP-hard under Frechet distance even if S is a plane, as well as under weak Frechet distance if S is a terrain. Additionally, these results give insight into the difficulty of computing the Frechet distance between surfaces, and they imply that the partial Frechet distance between non-planar surfaces is NP-hard as well.

研究动机与目标

• 形式化并分析在曲面上最优匹配给定输入曲线的简单曲线嵌入问题的计算复杂性。
• 研究在 Hausdorff、Fréchet 和弱 Fréchet 距离等标准度量下，简单性约束如何影响曲线相似性问题的可解性。
• 在二维和三维设置下，特别是当曲面为平面或地形时，建立该问题决策版本的难解性结果。
• 将这些结果扩展到非平面曲面之间的部分 Fréchet 距离，包括多边形带和平面。
• 探索与计算几何中形态变换、地图匹配及解缠问题的联系。

提出的方法

• 通过从平面 3SAT 问题约化，构造几何构件（VARIABLE、WIRE、CLAUSE、LINKING、BASE），将逻辑约束编码到曲面上的曲线嵌入中。
• 使用串接曲线和孔洞曲线来模拟曲面中的拓扑约束（如孔洞和连通性），确保有效嵌入对应于满足的真值赋值。
• 设计专用的 BASE 构件，通过深谷而非单调性来在弱 Fréchet 距离下强制实现曲线交叉约束。
• 构建偏移 ε 距离于孔洞边界并包含锯齿结构的孔洞曲线，以防止曲线被映射到模拟孔洞内部。
• 适配现有非简单曲线嵌入算法，以建立在无约束变体下多项式时间可解性。
• 通过将输入曲线视为狭窄多边形带，将部分 Fréchet 距离问题约化为简单曲线嵌入问题。

实验结果

研究问题

• RQ1 当曲面为平面时，基于 Fréchet 距离的简单曲线嵌入问题是否为 NP-难问题？
• RQ2 该问题能否约化为平面 3SAT 实例，以在三维地形的弱 Fréchet 距离下证明 NP-难性？
• RQ3 与无约束嵌入相比，简单性约束是否从根本上增加了曲线相似性问题的复杂性？
• RQ4 孔洞等拓扑特征或曲面连通性在不同距离度量下对曲线嵌入可解性的影响程度如何？
• RQ5 多边形带与平面之间的部分 Fréchet 距离是否为 NP-难问题，其与底层曲线嵌入问题的关系如何？

主要发现

• 即使曲面为平面，简单曲线嵌入问题的决策版本在 Fréchet 距离下仍为 NP-难问题，通过从平面 3SAT 约化并利用孔洞曲线得以证明。
• 当曲面为三维地形时，该问题在弱 Fréchet 距离下也为 NP-难问题，其通过基于深谷而非单调性的新型 BASE 构件实现。
• 锯齿状孔洞曲线的使用确保了任何曲线都无法被嵌入到模拟孔洞内部，从而保持了原始约化中的拓扑约束。
• 多边形带与平面之间的部分 Fréchet 距离为 NP-难问题，因其可约化为平面上的简单曲线嵌入问题。
• 对于无约束变体（如不强制要求简单性），在 Fréchet 和弱 Fréchet 距离下均存在多项式时间算法。
• 结果表明，计算非平面曲面（如折叠多边形）之间的 Fréchet 距离为 NP-难问题，即使其中一曲面为多边形带，另一曲面为平面，亦如此。