[论文解读] Hardness Results on Curve/Point Set Matching with Fréchet Distance

Paul Accisano, Alper Üngör|arXiv (Cornell University)|Nov 9, 2012

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

一句话总结

该论文证明了连续曲线/点集匹配（CPSM）问题——即寻找一条多边形曲线，使其与参考曲线 P 的 Fréchet 距离 ≤ ε，且访问给定点集 S 中的所有点——在允许重复访问 S 中点和不允许重复访问两种情况下均为 NP-完全问题。该结果通过从一个受限的 3SAT 问题归约得出，并在特定几何约束下识别出非唯一情况下的多项式时间算法。

ABSTRACT

Let P be a polygonal curve in R^d of length n, and S be a point-set of size k. We consider the problem of finding a polygonal curve Q on S such that all points in S are visited and the Fréchet distance from $P$ is less than a given epsilon. We show that this problem is NP-complete, regardless of whether or not points from S are allowed be visited more than once. However, we also show that if the problem instance satisfies certain restrictions, the problem is polynomial-time solvable, and we briefly outline an algorithm that computes Q.

研究动机与目标

• 确定具有 Fréchet 距离的连续曲线/点集匹配（CPSM）问题的计算复杂性。
• 研究当点集 S 中的所有点必须恰好访问一次（唯一版本）或允许重复访问（非唯一版本）时，该问题是否仍为 NP-完全问题。
• 识别在何种几何约束下，该问题可多项式时间求解。
• 建立所构造曲线 Q 与图 G 中路径之间的 Fréchet 距离关联，从而在受限条件下实现算法构造。

提出的方法

• 将受限的 3SAT 问题归约至连续所有点 CPSM 问题，以证明 NP-完全性。
• 构建一个图 G，其中顶点代表输入曲线 P 的线段，边表示基于与 S 中点的接近程度而可连接的线段对。
• 将 G 中的路径定义为对应于一条有效多边形曲线 Q，该曲线访问 S 中所有点且与 P 的 Fréchet 距离 ≤ ε。
• 利用几何性质：围绕 P 的线段 L 构造圆柱体 C(L, ε)，并要求 S 中的点必须位于 P 的某条线段的 ε 范围内。
• 应用 Fréchet 距离的连接性质，以确保整体曲线 Q 与 P 的距离保持有界。
• 通过基于区间排序的贪心遍历策略，按沿 P 的顺序和与 P 的线段的接近程度，按序列访问 S 中的点来构造 Q。

实验结果

研究问题

• RQ1 当允许重复访问 S 中的点时，连续所有点 CPSM 问题是否为 NP-完全问题？
• RQ2 当 S 中每个点必须恰好访问一次时，连续所有点 CPSM 问题是否为 NP-完全问题？
• RQ3 在何种几何约束下，连续所有点 CPSM 问题可多项式时间求解？
• RQ4 能否通过分段接近性和路径连接性，利用 Fréchet 距离来约束所构造曲线 Q 与输入曲线 P 之间的距离？

主要发现

• 无论是否允许重复访问 S 中的点，连续所有点 CPSM 问题在唯一版本和非唯一版本下均为 NP-完全问题。
• 在特定几何约束下（例如，当输入满足受限 3SAT 条件时），非唯一所有点 CPSM 问题存在多项式时间算法。
• 所构造曲线 Q 与输入曲线 P 的 Fréchet 距离 ≤ ε 当且仅当在派生图 G 中存在一条连接 P 的起始段和结束段的有效路径。
• Q 的构造确保访问了 S 中的所有点，前提是线段和点的序列满足由 Fréchet 距离约束导出的区间排序和接近度条件。
• 该证明依赖于 Fréchet 距离的连接性质：若子曲线的距离 ≤ ε，则其连接后的整体曲线距离也 ≤ ε。
• 即使输入曲线 P 和点集 S 满足解存在的必要几何前提条件，NP-完全性结果依然成立。