[论文解读] Intermittent Map Matching with the Discrete Fréchet Distance

Tim Wylie, Binhai Zhu|arXiv (Cornell University)|Sep 8, 2014

Data Management and Algorithms参考文献 17被引用 3

一句话总结

本文提出了一种基于离散Fréchet距离的间歇性地图匹配的正式框架，证明了在平面图中对顶点使用进行唯一性限制的变体（唯一地图匹配，UMM）是NP完全问题。该文建立了若干约束变体的计算困难性，同时识别出多项式时间可解的情形，为GPS数据中稀疏或间歇性采样下的几何路径重构提供了基础性的复杂度洞察。

ABSTRACT

In this paper we focus on the map matching problem where the goal is to find a path through a planar graph such that the path through the vertices closely matches a given polygonal curve. The map matching problem is usually approached with the Fréchet distance matching the edges of the path as well. Here, we formally define the discrete map matching problem based on the discrete Fréchet distance. We then look at the complexities of some variations of the problem which allow for vertices in the graph to be unique or reused, and whether there is a bound on the length of the path or the number of vertices from the graph used in the path. We prove several of these problems to be NP-complete, and then conclude the paper with some open questions.

研究动机与目标

• 基于离散Fréchet距离，正式定义适用于间歇性GPS数据的离散地图匹配问题。
• 分析在唯一顶点使用、路径长度受限或顶点数量受限等约束下，地图匹配变体的计算复杂度。
• 证明在平面图中，唯一地图匹配（UMM）问题为NP完全。
• 识别出多项式时间可解的情形，特别是当路径长度受限时。
• 提出关于近似算法和现实应用中可 tractable 特殊情形的开放问题。

提出的方法

• 使用离散Fréchet距离作为GPS多边形折线与平面图中路径之间相似度的度量，正式定义离散地图匹配问题。
• 通过从平面3-SAT问题归约，证明唯一地图匹配（UMM）变体的NP完全性，其中每个图顶点最多只能使用一次。
• 构造一个平面图和一个多边形折线，使得存在一条离散Fréchet距离≤ε的有效路径，当且仅当3-SAT公式可满足。
• 利用变量链、子句菱形和交替连接结构，将布尔可满足性问题以几何形式编码。
• 针对仅路径长度受限的情形，采用动态规划方法，并提供高效的递推关系式用于计算。
• 证明NP完全性结果在连续Fréchet距离下依然成立，尽管此处未正式展开详细证明。

实验结果

研究问题

• RQ1 在平面图中，对顶点使用施加唯一性约束的离散地图匹配问题是否为NP完全？
• RQ2 当路径中使用的顶点数量受限时，地图匹配问题的复杂度如何？
• RQ3 当仅路径长度受约束时，地图匹配问题能否在多项式时间内求解？
• RQ4 是否存在离散地图匹配优化版本的良好近似算法？
• RQ5 是否存在在现实世界中具有间歇性采样GPS数据时可有效求解的特殊情形？

主要发现

• 唯一地图匹配（UMM）问题，即图中每个顶点最多只能使用一次，对于平面图是NP完全的。
• 当路径中使用的顶点数量受限时，问题即使在正则图中也保持NP完全性，且在平面图中对Hausdorff距离下同样成立。
• 当仅路径长度受限时，可通过动态规划在多项式时间内求解，且提供了相应的递推关系式。
• 从平面3-SAT到离散地图匹配问题的归约表明，即使在离散Fréchet距离下，该问题也是NP完全的。
• 离散Fréchet距离下的NP完全性结果意味着连续Fréchet距离下同样具有相同难度，此结论在相关工作中已独立验证。
• 本文提出了开放问题，包括非唯一地图匹配且路径大小受限（NMMS）的复杂度，以及良好近似算法的存在性。