[論文レビュー] Space-efficient Algorithms for Visibility Problems in Simple Polygon

Minati De, Anil Maheshwari+1 more|arXiv (Cornell University)|Apr 12, 2012

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

ひとこと要約

本稿では、単純多角形における視界問題のための記憶容量効率の良いアルゴリズムを提示する。点の視界多角形、線分の弱視界、最小リンクパスの計算において、O(1)の追加作業領域を達成している。点の視界の計算はO(n)時間、最小リンクパスの計算はO(kn)時間で実行され、入力配列を直接変更するインプレースバージョンと、読み取り専用入力でO(√n)の記憶領域を使用するバージョンがある。これらは、定数作業領域計算幾何学における未解決問題を解消する。

ABSTRACT

Given a simple polygon $P$ consisting of $n$ vertices, we study the problem of designing space-efficient algorithms for computing (i) the visibility polygon of a point inside $P$, (ii) the weak visibility polygon of a line segment inside $P$ and (iii) the minimum link path between a pair of points inside $P$. For problem (i) two algorithms are proposed. The first one is an in-place algorithm where the input array may be lost. It uses only O(1) extra space apart from the input array. The second one assumes that the input is given in a read-only array, and it needs $O(\sqrt{n})$ extra space. The time complexity of both the algorithms are O(n). For problem (ii), we have assumed that the input polygon is given in a read-only array. Our proposed algorithm runs in $O(n^2)$ time using O(1) extra space. For problem (iii) the time and space complexities of our proposed algorithm are $O(kn)$ and O(1) respectively; $k$ is the length (number of links) in a minimum link path between the given pair of points.

研究の動機と目的

• 厳密なメモリ制約下で、単純多角形における視界問題の記憶容量効率の良いアルゴリズムを設計すること。
• 入力が読み取り専用である場合に、定数作業領域で準二次時間以内に視界計算が可能かどうかという未解決の問題を解消すること。
• 視界多角形、線分の弱視界、最小リンクパスの計算のためのインプレースおよび読み取り専用アルゴリズムを提供すること。
• 作業領域使用量をO(1)またはO(√n)に最小限に抑える一方で、最適な時間計算量O(n)またはO(kn)を達成すること。

提案手法

• インプレースアルゴリズム（Inplace_Visibility）は、入力配列内にスタックを維持し、インデックス変数と角度バッファを用いて角度関係を追跡することで、O(1)の追加作業領域でのみ視界多角形を計算する。
• 読み取り専用アルゴリズム（Readonly_Visibility）は、O(√n)の追加作業領域とO(n)の時間計算量を達成するため、角度比較とスタックの模倣を入力配列内で行う二段階走査を利用する。
• 線分の弱視界のためのアルゴリズムは、二段階のアプローチを採用する。まず、ソースとターゲットを分離する弦を計算し、次に角度的および辺の交差チェックを繰り返し適用して視界境界を段階的に精緻化する。
• 最小リンクパスのためのアルゴリズムは、多角形の境界に沿った二重パス走査（ΠとΠ′）を用い、交互に視界線Lを更新し、sとtを分離する弦を計算する。繰り返しの精緻化により、最初に視界に達する辺を特定する。
• アルゴリズムは、視界喪失の順序や角度の単調性といった幾何的観察に基づき、記憶領域制約下でも正しさを保証する。
• 主要なデータ構造には、インデックスベースのスタックの模倣、角度追跡（ΦとΨ）、および反復的辺交差チェックが含まれ、視界境界の計算に用いられる。

実験結果

リサーチクエスチョン

• RQ1 単純多角形内の点の視界多角形は、O(n)時間とO(1)の追加作業領域で計算可能か？
• RQ2 多角形が読み取り専用配列で与えられた場合、線分の弱視界はO(n²)時間とO(1)の追加作業領域で計算可能か？
• RQ3 二点間の最小リンクパスは、O(kn)時間とO(1)の追加作業領域で計算可能か？ここでkはパス内のリンク数である。
• RQ4 読み取り専用入力で定数作業領域モデルにおいて、視界計算の時間計算量を準二次未満に抑えることは可能か？

主な発見

• インプレースアルゴリズムにより、点の視界多角形がO(n)時間とO(1)の追加作業領域で計算可能であるが、入力多角形は変更され、元に戻せない。
• 読み取り専用アルゴリズムにより、同様の視界多角形がO(n)時間とO(√n)の追加作業領域で計算可能であり、入力配列はそのままである。
• O(n²)時間とO(1)作業領域のアルゴリズムにより、読み取り専用入力配列から単純多角形内の線分の弱視界多角形が計算可能である。
• O(kn)時間とO(1)作業領域のアルゴリズムにより、単純多角形内の二点間の最小リンクパスが計算可能であり、kはパス内のリンク数である。
• 提案されたアルゴリズムは、定数作業領域モデルで点の視界計算をO(n)時間で達成することで、計算幾何学における未解決問題を解消した。これは、従来のO(n²)の上限を改善するものである。
• これらのアルゴリズムは、記憶領域制約が厳しい状況下でも正しくかつ効率的に動作し、角度順序や視界喪失の順序といった幾何的不変量に依存している。