[論文レビュー] On Optimal Polyline Simplification Using the Hausdorff and Fréchet Distance

Marc van Kreveld, Maarten Löffler+1 more|arXiv (Cornell University)|Jan 1, 2018

Geographic Information Systems Studies参考文献 5被引用数 4

ひとこと要約

本稿では、ハウスドルフ距離およびフラレー距離を用いた最適なポリライン簡略化を調査し、非有向ハウスドルフ距離における最適な簡略化を計算することはNP困難であることを証明している。一方で、最適なフラレーに基づく簡略化のためのO(kn⁵)時間、O(kn²)空間の動的計画法アルゴリズムを提示している。さらに、ドーソン＝ピーカー法やイマイ＝イリ法といった古典的手法が、これらの測度において最適でないことが示され、誤差閾値を拡大しても性能が著しく低下することが分かった。

ABSTRACT

We revisit the classical polygonal line simplification problem and study it using the Hausdorff distance and Fréchet distance. Interestingly, no previous authors studied line simplification under these measures in its pure form, namely: for a given epsilon>0, choose a minimum size subsequence of the vertices of the input such that the Hausdorff or Fréchet distance between the input and output polylines is at most epsilon. We analyze how the well-known Douglas-Peucker and Imai-Iri simplification algorithms perform compared to the optimum possible, also in the situation where the algorithms are given a considerably larger error threshold than epsilon. Furthermore, we show that computing an optimal simplification using the undirected Hausdorff distance is NP-hard. The same holds when using the directed Hausdorff distance from the input to the output polyline, whereas the reverse can be computed in polynomial time. Finally, to compute the optimal simplification from a polygonal line consisting of n vertices under the Fréchet distance, we give an O(kn^5) time algorithm that requires O(kn^2) space, where k is the output complexity of the simplification.

研究の動機と目的

• ドーソン＝ピーカー法およびイマイ＝イリ法といった代表的なポリライン簡略化アルゴリズムが、ハウスドルフ距離およびフラレー距離の測度において理論的にどのように性能を発揮するかを分析すること。
• これらのアルゴリズムが、これらの距離メトリクスを用いた場合に最適な簡略化を生成するかどうかを特定すること。
• ハウスドルフ距離およびフラレー距離の下での最適な簡略化を計算する計算量的複雑性を調査すること。
• フラレー距離に基づく最適な簡略化を効率的に計算するアルゴリズムを開発すること。

提案手法

• 入力ポリラインと出力ポリラインの間のハウスドルフ距離またはフラレー距離がε以下になるような、入力頂点の最小サイズの部分列を見つける問題として問題を形式化すること。
• フラレー距離の制約に基づく到達可能性を維持するため、動的計画法を用いてポリラインに沿った到達可能な点を管理すること。
• 鍵となる洞察を提示：各辺に対して、正しさを保証するために、到達可能な最も遠い点のみを追跡すれば十分である。
• 各辺ごとの到達可能な区間の数が線形関数で有界であることを証明し、計算を効率的に行えるようにすること。
• kリンクの簡略化における辺iの最も遠い到達可能な点の到達可能性を格納するための動的計画表ρ(k, i, ˆt)を設計すること。
• フラレー距離の幾何的性質を活用して探索空間を削減し、再帰の正しさを保証すること。

実験結果

リサーチクエスチョン

• RQ1 ドーソン＝ピーカー法およびイマイ＝イリ法の性能は、ハウスドルフ距離における最適な簡略化と比べてどの程度か？
• RQ2 非有向ハウスドルフ距離における最適な簡略化の計算はNP困難か？
• RQ3 フラレー距離における最適な簡略化は多項式時間で計算可能か？もしそうなら、どの程度効率的か？
• RQ4 誤差閾値εを増加させた場合、標準的手法の出力における頂点数は最適解と比べてどの程度変化するか？

主な発見

• 非有向ハウスドルフ距離を用いた最適な簡略化の計算はNP困難である。
• 出力から入力ポリラインへの有向ハウスドルフ距離は多項式時間で計算可能だが、逆方向および非有向バージョンはNP困難である。
• フラレー距離に基づく最適な簡略化は、動的計画法を用いてO(kn⁵)時間およびO(kn²)空間で計算可能である。
• ドーソン＝ピーカー法およびイマイ＝イリ法は、εを任意の定数倍に拡大しても、Ω(n)個の頂点を必要とすることがある一方で、最適な簡略化は定数個の頂点で十分である。
• 特定のポリラインでは、εを小さな定数倍に増加させても、イマイ＝イリ法は最適解に比べて定数倍の頂点数を必要とする。
• 各辺に対して最も遠い到達可能な点のみを追跡することで、動的計画法を用いて最適なフラレー簡略化を効率的に計算でき、正しさと効率性が保証される。