[论文解读] On Computing the $k$-Shortcut Fréchet Distance

Jacobus Conradi, Anne Driemel|arXiv (Cornell University)|Jan 1, 2022

Computational Geometry and Mesh Generation被引用 1

一句话总结

本文研究参数化 $k$-捷径弗雷歇距离问题，其中允许在一条多边形曲线中添加最多 $k$ 条捷径，以最小化其与另一条曲线的弗雷歇距离。在指数时间假设（ETH）下，证明了不存在算法能在 $n^{o(k)}$ 时间内解决该判定问题，但提出了一个精确的 $O(kn^{2k+2} \log n)$ 时间算法，以及一个 $(3+\varepsilon)$-近似判定算法，时间复杂度为 $O(kn^2 \log^2 n)$，在 $c$-有界曲线假设下可实现近乎线性性能。

ABSTRACT

The Fréchet distance is a popular measure of dissimilarity for polygonal curves. It is defined as a min-max formulation that considers all direction-preserving continuous bijections of the two curves. Because of its susceptibility to noise, Driemel and Har-Peled introduced the shortcut Fréchet distance in 2012, where one is allowed to take shortcuts along one of the curves, similar to the edit distance for sequences. We analyse the parameterized version of this problem, where the number of shortcuts is bounded by a parameter $k$. The corresponding decision problem can be stated as follows: Given two polygonal curves $T$ and $B$ of at most $n$ vertices, a parameter $k$ and a distance threshold $δ$, is it possible to introduce $k$ shortcuts along $B$ such that the Fréchet distance of the resulting curve and the curve $T$ is at most $δ$? We study this problem for polygonal curves in the plane. We provide a complexity analysis for this problem with the following results: (i) assuming the exponential-time-hypothesis (ETH), there exists no algorithm with running time bounded by $n^{o(k)}$; (ii) there exists a decision algorithm with running time in $O(kn^{2k+2}\log n)$. In contrast, we also show that efficient approximate decider algorithms are possible, even when $k$ is large. We present a $(3+\varepsilon)$-approximate decider algorithm with running time in $O(k n^2 \log^2 n)$ for fixed $\varepsilon$. In addition, we can show that, if $k$ is a constant and the two curves are $c$-packed for some constant $c$, then the approximate decider algorithm runs in near-linear time.

研究动机与目标

• 分析允许在一条曲线上添加 $k$ 条捷径以最小化其与第二条曲线之间弗雷歇距离的 $k$-捷径弗雷歇距离问题的计算复杂性。
• 在指数时间假设（ETH）下，确定当 $k$ 为参数时，是否存在固定参数可满足的算法。
• 在现实几何输入假设（如 $c$-有界曲线）下，为判定问题开发高效的确切与近似算法。
• 通过提供首个适用于一般捷径弗雷歇距离变体的精确算法，填补文献中的空白，其中捷径可被放置在曲线的任意位置，而不仅限于顶点。

提出的方法

• 将 $k$-表求和问题归约到 $k$-捷径弗雷歇距离判定问题的一个实例，以建立基于 ETH 的下界。
• 通过参数 $\gamma$ 构建一个几何装置系统，控制误差界限，利用曲线遍历与捷径放置来模拟子集和计算。
• 利用向右的 4-单调性与装置中的投影中心，强制正确遍历顺序，并确保仅有效子集编码可由可行的捷径曲线实现。
• 在 $k$ 个装置上使用动态规划方法，计算具有 $k$ 条捷径的弗雷歇距离，利用曲线与捷径约束的结构。
• 设计一个 $(3+\varepsilon)$-近似判定算法，通过曲线的分层分解与几何舍入，实现在 $c$-有界曲线假设下的近乎线性性能。
• 引入控制参数 $\gamma$，以限制非单点接触捷径曲线引入的累积误差，确保仅正确子集和被编码在 $O(\xi_k)$ 的误差范围内。

实验结果

研究问题

• RQ1 在指数时间假设（ETH）下，$k$-捷径弗雷歇距离判定问题是否关于 $k$ 固定参数可满足？
• RQ2 能否为一般 $k$-捷径弗雷歇距离问题构造一个精确算法，其中捷径可被放置在曲线的任意位置，而不仅限于顶点？
• RQ3 对于具有高效运行时间的 $k$-捷径弗雷歇距离问题，可达到的最佳近似比是多少，尤其是在 $k$ 较大时？
• RQ4 在何种几何假设下（例如 $c$-有界曲线），可在 $k$-捷径弗雷歇距离问题上实现近乎线性时间的近似算法？

主要发现

• 在指数时间假设（ETH）下，不存在算法能在 $n^{o(k)}$ 时间内解决 $k$-捷径弗雷歇距离判定问题，从而排除了以 $k$ 为参数的固定参数可满足性。
• 存在一个运行时间为 $O(kn^{2k+2} \log n)$ 的精确判定算法，这是首个针对允许捷径位于曲线上任意位置的一般变体的此类算法。
• 一个 $(3+\varepsilon)$-近似判定算法的运行时间为 $O(kn^2 \log^2 n)$，对任意固定的 $\varepsilon > 0$ 成立，使得即使在 $k$ 较大时也能实现高效的近似解。
• 当 $k$ 为常数且输入曲线对某个常数 $c$ 为 $c$-有界时，近似判定算法在现实几何输入条件下可实现近乎线性时间，即 $O(n \log n)$。
• 装置系统的构建确保任何可行的捷径曲线必须编码一个有效的子集和，且误差被限制在 $\xi_k = 16k + 5$ 范围内，且当 $\gamma > \xi_k$ 时，正确解可被唯一恢复。
• 正确性证明依赖于对每个装置内捷径曲线位置的归纳边界，表明其遍历过程被编码的部分和与控制参数 $\gamma$ 严格约束。