[論文レビュー] A Linear-time Algorithm for Orthogonal Watchman Route Problem with Minimum Bends

Hamid Hoorfar, Alireza Bagheri|arXiv (Cornell University)|Aug 4, 2017

Computational Geometry and Mesh Generation被引用数 7

ひとこと要約

本稿では、単調かつパス多角形における最小折り返し回数の直交ウォーチマンルート問題に対する最初の線形時間アルゴリズムを提示する。垂直分解を用いて多角形を分割し、屈曲する長方形を切り詰め、折り返し数を最小化するように水平整列セグメントを戦略的に選択することで、O(n)時間およびO(n)空間で最短の直交ウォーチマンルートを計算する。この問題の変種において最適な効率性を達成する。

ABSTRACT

Given an orthogonal polygon $ P $ with $ n $ vertices, the goal of the watchman route problem is finding a path $ S $ of the minimum length in $ P $ such that every point of the polygon $ P $ is visible from at least one of the point of $ S $. In the other words, in the watchman route problem we must compute a shortest watchman route inside a simple polygon of $ n $ vertices such that all the points interior to the polygon and on its boundary are visible to at least one point on the route. If route and polygon be orthogonal, it is called orthogonal watchman route problem. One of the targets of this problem is finding the orthogonal path with the minimum number of bends as possible. We present a linear-time algorithm for the orthogonal watchman route problem, in which the given polygon is monotone. Our algorithm can be used also for the problem on simple orthogonal polygons $ P $ for which the dual graph induced by the vertical decomposition of $ P $ is a path, which is called path polygon.

研究の動機と目的

• 折り返し数を最小化することを目的とした、直交多角形における浮遊ウォーチマンルート問題を解くこと。
• 双対グラフがパスである垂直分解を持つ単調直交多角形に対する線形時間アルゴリズムを開発すること。
• 垂直分解の双対グラフがパスであるという特徴を持つパス多角形—つまり、直交多角形の一種—にまでこの解法を拡張し、最適なO(n)時間計算量を達成すること。
• 直交移動制約がある環境におけるロボット監視の実用的で効率的な解決策を提供すること。

提案手法

• 垂直分解を適用して直交多角形を長方形に分割し、パスに似た構造の双対グラフを形成する。
• パス多角形における屈曲長方形を特定し、それらを除去することで、単調な部分多角形に多角形を分解する。
• 各単調部分多角形に対してバランスの取れた分解を実行し、効率的なルート構築を可能にする。
• 各長方形に対して、水平辺の高さの局所的最大値および最小値に基づいて、折り返し数を最小化する最適な水平整列セグメント（y座標）を選択する。
• 部分多角形間のルートを垂直セグメントで接続することで、単一の閉じた直交ウォーチマンルートを形成する。
• 分解、トリミング、整列セグメント選択の3段階の順次フェーズでアルゴリズムを実行し、各フェーズがO(n)時間で実行される。

実験結果

リサーチクエスチョン

• RQ1 単調直交多角形において、最小折り返し回数の直交ウォーチマンルート問題を線形時間で解くことは可能か？
• RQ2 垂直分解の双対グラフがパスに似た構造であるというパス多角形の構造的特徴を、線形時間計算量を達成するためにどのように活用できるか？
• RQ3 得られるウォーチマンルートの折り返し数を最小化するように、整列セグメントを選択する戦略は何か？
• RQ4 単調多角形からより広いクラスの直交多角形、例えばパス多角形へと線形時間解法を一般化することは可能か？

主な発見

• 提案されたアルゴリズムは、O(n)時間およびO(n)空間計算量を達成しており、すべての頂点を少なくとも1回は走査する必要があるため、最適である。
• アルゴリズムは、単調直交多角形における最小折り返し回数の最短直交ウォーチマンルートを効果的に計算する。
• 屈曲長方形の除去によって部分多角形に分解することで、この解法はパス多角形へと一般化される。
• ルート構築は、水平辺の高さの局所的最大値および最小値に基づく整列セグメントの選択に依存し、折り返し数を最小化する。
• 最終的なウォーチマンルートは、部分ルートを垂直セグメントで接続することで形成され、最適性と直交性が保たれる。
• 本アルゴリズムは、最小折り返し回数の浮遊直交ウォーチマンルート問題に対して、線形時間計算量を達成する最初のアルゴリズムである。