[論文レビュー] Algorithms on Minimizing the Maximum Sensor Movement for Barrier Coverage of a Linear Domain

Danny Z. Chen, Yan Gu+2 more|arXiv (Cornell University)|Jul 26, 2012

Energy Efficient Wireless Sensor Networks参考文献 17被引用数 15

ひとこと要約

本稿では、任意の範囲を持つセンサーを用いた線形ドメインにおけるバリアカバレージにおける最大センサー移動量を最小化するための最初の多項式時間アルゴリズムを提示する。これは、O(n² log n) 時間で解ける未解決問題を解決するものである。均一範囲のセンサーに対しては、実行時間を O(n log n) に改善し、センサーがバリアセグメント上に初期配置されている場合には O(n) にまで短縮する。また、サイクルベースのバリアカバレージに対しても、均一範囲の場合に O(n) 時間で解けるように拡張されている。

ABSTRACT

In this paper, we study the problem of moving $n$ sensors on a line to form a barrier coverage of a specified segment of the line such that the maximum moving distance of the sensors is minimized. Previously, it was an open question whether this problem on sensors with arbitrary sensing ranges is solvable in polynomial time. We settle this open question positively by giving an $O(n^2 \log n)$ time algorithm. For the special case when all sensors have the same-size sensing range, the previously best solution takes $O(n^2)$ time. We present an $O(n \log n)$ time algorithm for this case; further, if all sensors are initially located on the coverage segment, our algorithm takes $O(n)$ time. Also, we extend our techniques to the cycle version of the problem where the barrier coverage is for a simple cycle and the sensors are allowed to move only along the cycle. For sensors with the same-size sensing range, we solve the cycle version in $O(n)$ time, improving the previously best $O(n^2)$ time solution.

研究の動機と目的

• 線分上に配置された任意範囲のセンサーに対するバリアカバレージにおける最大移動量を最小化する問題が多項式時間で解けるかどうかという未解決問題を解明すること。
• 特にセンサーがバリアセグメント上に初期配置されている場合を含め、均一範囲センサーのケースにおける時間計算量を改善すること。
• センサーがサイクルに沿ってのみ移動するサイクル版のバリアカバレージ問題にアプローチを拡張すること。
• 決定問題および最適化問題の両方のバージョンに対して効率的なアルゴリズムを提供することに注力し、最大移動距離を最小化すること。

提案手法

• 最大移動量の候補値に対して二分探索を実行し、O(n log n) 時間で実行可能な決定アルゴリズムを用いて妥当性を検証する。
• センサーのペア (i,j) から導かれる、カバーが必要な臨界区間を定義する候補値 λ(i,j) の集合 Λ を構築する。
• 順序を保つ性質を用いて、最適な移動量が Λ の最大値によって上限付けられることを示し、これにより Λ 上での二分探索が可能になる。
• 最適な λ* が特定された後は、貪欲戦略を用いてセンサーの目的地を割り当て、移動量が λ* を超えないように保証する。
• 幾何学的および区間ベースの推論を用いて、直線上の区間を最小移動量でカバーする問題に還元する。
• サイクルケースに対しては、サイクルを円形配置とみなして、線形ケースのアルゴリズムを類似した候補値と貪欲割り当て技術を用いて適応する。

実験結果

リサーチクエスチョン

• RQ1 任意範囲のセンサーを用いたバリアカバレージにおける最大センサー移動量の最小化問題は、多項式時間で解けるか？
• RQ2 均一範囲センサーのケースにおいて、O(n²) よりも高速な時間計算量が達成可能か？
• RQ3 アルゴリズムを、センサーがサイクルに沿ってのみ移動するサイクル版のバリアカバレージ問題に拡張可能か？
• RQ4 すべてのセンサーが初期にバリアセグメント上に配置されている場合、さらにアルゴリズムを最適化可能か？

主な発見

• 任意範囲センサーを用いたバリアカバレージの一般ケースは、O(n² log n) 時間で解けることが保証され、未解決問題が解決された。
• 均一範囲センサーのケースでは、O(n log n) 時間で実行可能となり、従来の O(n²) 解法を改善した。
• すべてのセンサーが初期にバリアセグメント上に配置されている場合、均一ケースは O(n) 時間で解ける。
• 均一範囲センサーを用いたサイクル版の問題は、O(n) 時間で解けることが示され、従来の O(n²) 解法を改善した。
• 一般ケースの決定問題は O(n log n) 時間で解けるため、最適解を効率的に二分探索で探索可能である。
• 提案されたアルゴリズムは、サイズ O(n²) の候補値集合 Λ を用い、最適値 λ* が Λ の最大値に等しいことを証明しており、これにより効率的な探索が可能である。