[論文レビュー] 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）に基づく再帰的構築を用いて、任意の2本の多角形曲線に対して少なくとも1つの局所的に正しいFréchetマッチングが存在することを証明する。
• 部分マッチングを木構造で保持する動的計画法アルゴリズムを構築し、ショートカット伝搬を用いて局所的に正しい部分マッチングを維持する。
• コストが小さい順にパスを処理するための優先度付きキューを用い、有効で局所的に正しいパスのみを拡張する。
• 離散ケースを最適化するため、局所的に正しいマッチングを符号化するショートカットの木を維持し、O(N²)の時間計算量を達成する。
• パスの拡張およびショートカットの維持技術を適用して正しさと効率性を確保し、各拡張処理を amortized で定数時間で更新する。

実験結果

リサーチクエスチョン

• RQ1 2本の曲線に対して、多くの可能なFréchetマッチングの中から自然で直感的なマッチングを定義できるか？
• RQ2 すべての部分曲線ペアに対して有効なFréchetマッチングであるようなマッチングが、常に少なくとも1つ存在するか？
• RQ3 連続的および離散的曲線に対して、このような局所的に正しいFréchetマッチングを効率的に計算するアルゴリズムは存在するか？
• RQ4 局所的に正しいマッチングを計算する計算量は、標準的なFréchet距離を計算するのと比べてどの程度か？

主な発見

• 任意の2本の多角形曲線に対して、少なくとも1つの局所的に正しいFréchetマッチングが常に存在する。
• O(N³log N)時間で局所的に正しい連続Fréchetマッチングが計算可能であり、ここでNは辺の総数である。
• O(N²)時間で局所的に正しい離散Fréchetマッチングが計算可能であり、離散Fréchet距離自体を計算するのと同等の計算量である。
• 局所的に正しい部分マッチングを符号化するショートカットの木を維持することで、効率的なパス拡張と pruning が可能になる。
• 従来のアプローチで見られる速度制限や測地的幅のような、妥当なマッチングを除外する不具合を回避する。
• すべての部分曲線マッチングがグローバルなFréchetマッチングと整合的になるように保証されるため、解釈可能性と応用性が向上する。