[論文レビュー] 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

ひとこと要約

本稿は、間欠的マップマッチングを離散的フレシェ距離を用いて形式的に定式化し、頂点の使用を一意なノードに制限するバージョン（ユニークマップマッチング、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.

研究の動機と目的

• 間欠的なGPSデータに基づく離散的フレシェ距離を用いたマップマッチング問題を形式的に定義すること。
• 頂点の使用制限、パス長の制限、または頂点数の制限といった制約下でのマップマッチングの変種の計算複雑性を分析すること。
• 平面グラフにおけるユニークマップマッチング（UMM）問題がNP完全であることを証明すること。
• 特にパス長が制限される場合に多項式時間で解けるケースを同定すること。
• 実世界の応用における近似アルゴリズムと解ける特殊ケースに関する未解決の問題を提示すること。

提案手法

• GPSの折れ線曲線と平面グラフ内のパスの類似度を測る指標として離散的フレシェ距離を用いた、離散的マップマッチング問題の形式的定義。
• 平面3-SATから還元を用いて、各グラフ頂点をたかだか1回しか使用できないという制約の下でのユニークマップマッチング（UMM）のNP完全性を証明。
• ある有効なパスが離散的フレシェ距離 ≤ ε を満たすことが、3-SAT式が充足可能であることと同値となるような平面グラフと折れ線曲線の構築。
• 変数チェーン、節ダイヤモンド、および交互接続を用いて、論理充足可能性を幾何的形で符号化。
• パス長のみが制限される場合の動的計画法のアプローチを提示し、効率的な計算のための再帰的関係式を提供。
• 連続的フレシェ距離の下でもNP完全性の結果が成り立つことを証明（ここでは詳細には記載しない）。

実験結果

リサーチクエスチョン

• RQ1 頂点の使用が一意であるという制約の下で、平面グラフにおける離散的マップマッチング問題はNP完全か？
• RQ2 パスに使用する頂点数が制限される場合、マップマッチングの複雑性はいかほどか？
• RQ3 パス長のみが制限される場合、マップマッチング問題は多項式時間で解けるか？
• RQ4 離散的マップマッチングの最適化問題には近似アルゴリズムが存在するか？
• RQ5 実世界のGPSデータにおける間欠的サンプリングを想定した場合、解ける特殊ケースは存在するか？

主な発見

• 各頂点をたかだか1回しか使用できないという制約の下でのユニークマップマッチング（UMM）問題は、平面グラフにおいてNP完全である。
• パスに使用する頂点数が制限される場合でも、正則グラフにおいても、平面グラフにおけるハウスドルフ距離の下でも、問題はNP完全のままである。
• パス長のみが制限される場合、与えられた再帰的関係式を用いた動的計画法により、多項式時間で解ける。
• 平面3-SATから離散的マップマッチング問題への還元により、離散的フレシェ距離の下でも問題がNP完全であることが示された。
• 離散的フレシェ距離におけるNP完全性の結果は、連続的フレシェ距離に対しても同様の困難さを示すことを示しており、関連研究でも独立に確認されている。
• 本稿では、サイズ制限付きの非一意マップマッチング（NMMS）の複雑性や、良好な近似アルゴリズムの存在といった未解決の問題を同定している。