[论文解读] Locally Correct Frechet Matchings

Kevin Buchin, Maike Buchin+2 more|arXiv (Cornell University)|Jun 27, 2012

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

一句话总结

本文提出了局部正确的Fréchet匹配——即在任意子曲线对上受限时仍保持有效的Fréchet匹配——以确保更自然且有意义的曲线比较。作者证明了其存在性，并提出了连续曲线的O(N³log N)算法与离散曲线的O(N²)算法，其中N为边的总数。

ABSTRACT

The Frechet distance is a metric to compare two curves, which is based on monotonous matchings between these curves. We call a matching that results in the Frechet distance a Frechet matching. There are often many different Frechet matchings and not all of these capture the similarity between the curves well. We propose to restrict the set of Frechet matchings to "natural" matchings and to this end introduce locally correct Frechet matchings. We prove that at least one such matching exists for two polygonal curves and give an O(N^3 log N) algorithm to compute it, where N is the total number of edges in both curves. We also present an O(N^2) algorithm to compute a locally correct discrete Frechet matching.

研究动机与目标

• 解决同一组曲线存在多个Fréchet匹配的问题，其中许多匹配无法捕捉直观的相似性。
• 识别并形式化‘自然’匹配：即在所有子曲线对上均有效的局部正确匹配——亦即局部正确的Fréchet匹配。
• 为连续与离散Fréchet距离设置开发高效的算法以计算此类匹配。
• 确保计算出的匹配在曲线形态变换、GPS制图和蛋白质比对等应用中具有鲁棒性与实际意义。

提出的方法

• 将局部正确的Fréchet匹配定义为：匹配中所有子曲线对本身均为Fréchet匹配。
• 通过基于部分匹配树中最近公共祖先（NCA）的递归构造，证明任意两条多边形曲线均至少存在一个局部正确的Fréchet匹配。
• 构建一种带有捷径传播的动态规划算法，以在树结构中维护局部正确的部分匹配。
• 使用优先队列按成本递增顺序处理路径，确保仅扩展有效且局部正确的路径。
• 通过维护编码局部正确匹配的捷径树，优化离散情形，实现O(N²)的时间复杂度。
• 应用路径扩展与捷径维护技术，确保正确性与效率，每步扩展的摊销时间复杂度为O(1)。

实验结果

研究问题

• RQ1 能否在两条曲线的众多可能Fréchet匹配中定义一种自然且直观的匹配？
• RQ2 是否总至少存在一个Fréchet匹配，使其在每对子曲线上的限制仍为有效的Fréchet匹配？
• RQ3 能否设计高效算法，为连续与离散曲线计算此类局部正确的Fréchet匹配？
• RQ4 计算局部正确匹配的计算复杂度与计算标准Fréchet距离相比如何？

主要发现

• 对于任意两条多边形曲线，至少存在一个局部正确的Fréchet匹配。
• O(N³log N)时间复杂度的算法可计算出局部正确的连续Fréchet匹配，其中N为边的总数。
• O(N²)时间复杂度的算法可计算出局部正确的离散Fréchet匹配，其复杂度与计算离散Fréchet距离本身相当。
• 该算法通过维护一个捷径树来编码局部正确的部分匹配，从而实现高效的路径扩展与剪枝。
• 该方法避免了先前方法（如速度限制或测地线宽度）带来的不良影响，这些方法可能排除有效匹配。
• 该方法确保所有子曲线匹配与全局Fréchet匹配一致，从而提升了可解释性与实际应用价值。