[論文レビュー] Computing the Fréchet Distance Between Folded Polygons

Atlas F. Cook, Anne Driemel+3 more|arXiv (Cornell University)|Mar 15, 2011

Computational Geometry and Mesh Generation参考文献 2被引用数 11

ひとこと要約

本稿では、非平坦な表面、特に折りたたまれた多角形間のFréchet距離を近似する最初の多項式時間アルゴリズムを提示する。Buchinらの平坦な多角形向けのアルゴリズムを拡張し、3つの手法を導入する：固定パrameter tractable（FPT）アルゴリズム、定数要因保証付きの多項式時間近似アルゴリズム、および正確な計算が多項式時間で可能な制限付きの折りたたまれた多角形のクラス。

ABSTRACT

Computing the Fréchet distance for surfaces is a surprisingly hard problem and the only known algorithm is limited to computing it between flat surfaces. We adapt this algorithm to create one for computing the Fréchet distance for a class of non-flat surfaces which we call folded polygons. Unfortunately, the original algorithm cannot be extended directly. We present three different methods to adapt it. The first of which is a fixed-parameter tractable algorithm. The second is a polynomial-time approximation algorithm. Finally, we present a restricted class of folded polygons for which we can compute the Fréchet distance in polynomial time.

研究の動機と目的

• 非平坦な表面間のFréchet距離を計算する課題に取り組むこと。これは、NP困難であることが知られており、一般には計算可能であるかどうかも不明である。
• 元来平坦な多角形を想定して設計された既存のアルゴリズムが、標準的な経路マッピングがホメオモルフィズムを保証しなくなる折りたたまれた多角形に適用された場合の制限を克服すること。
• 折りたたまれた多角形表面間の有効なホメオモルフィズムの存在を保証しながら、計算効率を維持する手法を開発すること。
• 一般の折りたたまれた多角形に対して定数要因保証付きの近似アルゴリズムを提供し、正確なFréchet距離が多項式時間で計算可能な特別なクラスを同定すること。
• 自由空間図法を非最短経路を含む折りたたまれた多角形構造に対応させるように一般化し、単調性および連続性の制約を保持すること。

提案手法

• 平坦な多角形アルゴリズムの自由空間図法を、凸分割内のエッジ列を扱えるように拡張することで、折りたたまれた多角形に適応する。
• 折りたたまれた多角形における「最短経路エッジ列」の概念を導入し、双対グラフが有環であることを利用して、境界点間を一意に通過する経路を保証する。
• 対象の自由空間図を射影することで得られる図を基に、グリーディスキャンを用いて対象の対角線に沿った前像マッピングの単調性を検証し、有効なホメオモルフィズムを保証する。
• 対角線数とエッジ数をパrameterとして用いる固定パrameter tractable（FPT）アルゴリズムを提案し、小さなパrameter値に対して正確な計算を可能にする。
• 最短経路を超える一般化された経路マッピングを探索することで、真のFréchet距離の定数要因近似を保証する多項式時間近似アルゴリズムを設計する。
• 双対グラフが有環で、特定の経路制約を満たす折りたたまれた多角形の制限付きクラスを同定し、このクラスでは元のBuchinらのアルゴリズムを直接適用可能であり、正確な多項式時間計算が可能になる。

実験結果

リサーチクエスチョン

• RQ1 非平坦な表面間のFréchet距離は、多項式時間内で定数要因近似可能か？
• RQ2 平坦な多角形アルゴリズムを折りたたまれた多角形に一般化する際、ホメオモルフィズムの要件をどのように保てるか？
• RQ3 最短経路最適性の喪失にもかかわらず、効率的なFréchet距離計算を可能にする折りたたまれた多角形の構造的性質は何か？
• RQ4 Fréchet距離を正確に多項式時間で計算可能な折りたたまれた多角形の部分クラスは存在するか？
• RQ5 自由空間図法は、非最短経路を扱えるように拡張可能か？ その際、単調性および連続性を保持できるか？

主な発見

• 折りたたまれた多角形と凸多角形間のFréchet距離は、それらの境界曲線間のFréchet距離に等しくなる。これは、平坦な多角形に対して知られている結果を一般化するものである。
• 一般の折りたたまれた多角形に対して、定数要因保証付きの多項式時間近似アルゴリズムが得られ、これは重要な未解決問題を解決する。
• 対角線数とエッジ数をパrameterとして用いる固定パrameter tractable（FPT）アルゴリズムにより、折りたたまれた多角形の正確なFréchet距離が計算可能になる。
• 双対グラフが有環で、特定の経路制約を満たす折りたたまれた多角形の制限付きクラスでは、正確なFréchet距離が多項式時間で計算可能になる。
• エッジ列と射影自由空間図の使用により、経路が最短でない場合でも、単調なマッピングの検証が効率的に行える。
• 本稿では、特定のアルゴリズム的および構造的条件下で、折りたたまれた多角形間のFréchet距離が多項式時間で計算可能であることを初めて確立した。