[論文レビュー] Minimum-Link Paths Revisited

Joseph S. B. Mitchell, Valentin Polishchuk+1 more|arXiv (Cornell University)|Feb 13, 2013

Computational Geometry and Mesh Generation参考文献 25被引用数 4

ひとこと要約

本稿では、h 個の穴を有する一般の多角形領域における最小リンク路の、サブクアドラティック時間 O(√h)-近似アルゴリズムを提示し、C-方向の領域における C-方向最小リンク路を計算する、最適な O(C²n log n)-時間、O(Cn)-空間のアルゴリズムを導入する。また、正確な最小リンク路計算の 3SUM-hardness を確立し、C-方向路が追加誤差 1 以内でロバスト路を近似することを示している。

ABSTRACT

A path or a polygonal domain is C-oriented if the orientations of its edges belong to a set of C given orientations; this is a generalization of the notable rectilinear case (C = 2). We study exact and approximation algorithms for minimum-link C-oriented paths and paths with unrestricted orientations, both in C-oriented and in general domains. Our two main algorithms are as follows: A subquadratic-time algorithm with a non-trivial approximation guarantee for general (unrestricted-orientation) minimum-link paths in general domains. An algorithm to find a minimum-link C-oriented path in a C-oriented domain. Our algorithm is simpler and more time-space efficient than the prior algorithm. We also obtain several related results: - 3SUM-hardness of determining the link distance with unrestricted orientations (even in a rectilinear domain). - An optimal algorithm for finding a minimum-link rectilinear path in a rectilinear domain. The algorithm and its analysis are simpler than the existing ones. - An extension of our methods to find a C-oriented minimum-link path in a general (not necessarily C-oriented) domain. - A more efficient algorithm to compute a 2-approximate C-oriented minimum-link path. - A notion of "robust" paths. We show how minimum-link C-oriented paths approximate the robust paths with unrestricted orientations to within an additive error of 1.

研究の動機と目的

• 穴を有する多角形領域における最小リンク路を計算する、より高速でメモリ効率の良いアルゴリズムの開発。
• 一般の最小リンク路計算に対してサブクアドラティック時間アルゴリズムが存在するかどうかという長年の未解決問題への対処。
• 自由な方向性を持つ路に対する C-方向ルートの近似品質の調査。
• 有界な加法的誤差を持つ近似リンク距離クエリをサポートする効率的なデータ構造の構築。
• 最小リンク路問題の計算量を解明し、正確な計算における 3SUM-hardness を証明すること。

提案手法

• h 個の穴を有する領域における一般の最小リンク路に対して、可視性と幾何的分割技術を用いたサブクアドラティック時間 O(√h)-近似アルゴリズムを提案。
• C-方向の領域における C-方向最小リンク路を計算する、新しい O(C²n log n)-時間、O(Cn)-空間のアルゴリズムを導入し、時間および空間計算量の両面で先行研究を改善。
• φ-ロバスト路を高々 1 つの追加リンクで Cφ-方向路に変換する幾何的変換を用い、ロバスト路の近似を可能にする。
• 範囲木や可視性グラフなどの基本的なデータ構造を用いて、長方形ルート計算を単純化・最適化し、最適な計算量を達成。
• サイズ O(n/φ² log n)、クエリ時間 O(log n / φ) のデータ構造を構築し、加法的誤差 1 以内の φ-ロバストリンク距離クエリを可能にする。
• 最小リンク路の計算問題を可視性および幾何的スイープ操作に還元し、効率的な事前処理とクエリ対応を可能にする。

実験結果

リサーチクエスチョン

• RQ1 穴を有する多角形領域における一般の最小リンク路問題に対して、サブクアドラティック時間アルゴリズムを設計できるか？
• RQ2 正確な最小リンク路計算は、長方形領域でさえ 3SUM-hard であるか？
• RQ3 C-方向ルートは、自由な方向性を持つ最小リンク路をどの程度よく近似できるか？
• RQ4 有界な加法的誤差を持つ近似リンク距離クエリをサポートする効率的なデータ構造を構築できるか？
• RQ5 長方形領域における最小リンク長方形路を計算する最適な時間および空間計算量は何か？

主な発見

• 自由な方向性を持つ最小リンク路の正確な計算は、長方形領域でさえ 3SUM-hard であることが判明し、計算幾何学における未解決問題が解決された。
• h 個の穴を有する多角形領域における一般の最小リンク路に対して、サブクアドラティック時間 O(√h)-近似アルゴリズムが提示され、以前の O(n²) の境界を改善した。
• C-方向の領域における C-方向最小リンク路を計算する、最適な O(C²n log n)-時間、O(Cn)-空間のアルゴリズムが開発され、従来の手法を単純化・改善した。
• 同じ時間および空間の境界で正確または近似されたリンク距離マップを構築でき、効率的なクエリ処理が可能になった。
• C-方向ルートは φ-ロバスト路を加法的誤差 1 以内で近似でき、O(log n / φ) のクエリ時間で φ-ロバストリンク距離クエリを可能にするデータ構造の構築が可能になった。
• C-方向ルートの 2-近似アルゴリズムは O(Cn log n) 時間、O(n) 空間で実行され、従来の手法よりも効率的になった。