[論文レビュー] Set It and Forget It: Approximating the Set Once Strip Cover Problem

Amotz Bar-Noy, Benjamin S. Baumer+1 more|arXiv (Cornell University)|Apr 4, 2012

Optimization and Search Problems参考文献 21被引用数 8

ひとこと要約

本稿では、Set Once Strip Cover (OnceSC) 問題を研究し、これがNP困難であることを証明するとともに、センサが順番に全領域をカバーするRoundRobinアルゴリズムが、OnceSCおよびより一般的なStrip Cover問題の両方に対して、タイトな3/2近似比を達成することを示している。また、センサが即座に活性化され、半径のみが割り当てられる関連するSet Radius Strip Cover問題に対して、最適なO(n² log n)時間のアルゴリズムを提示している。

ABSTRACT

We consider the Set Once Strip Cover problem, in which n wireless sensors are deployed over a one-dimensional region. Each sensor has a fixed battery that drains in inverse proportion to a radius that can be set just once, but activated at any time. The problem is to find an assignment of radii and activation times that maximizes the length of time during which the entire region is covered. We show that this problem is NP-hard. Second, we show that RoundRobin, the algorithm in which the sensors simply take turns covering the entire region, has a tight approximation guarantee of 3/2 in both Set Once Strip Cover and the more general Strip Cover problem, in which each radius may be set finitely-many times. Moreover, we show that the more general class of duty cycle algorithms, in which groups of sensors take turns covering the entire region, can do no better. Finally, we give an optimal O(n^2 log n)-time algorithm for the related Set Radius Strip Cover problem, in which all sensors must be activated immediately.

研究の動機と目的

• センサに固定の半径と活性化時刻を一度だけ割り当ててネットワークライフタイムを最大化する、Set Once Strip Cover (OnceSC) 問題を研究すること。
• OnceSCがNP困難であることを証明し、その計算的非効率性を確立すること。
• RoundRobinアルゴリズムの性能を分析し、OnceSCおよびより一般的なStrip Cover問題の両方でタイトな3/2近似比を達成することを示すこと。
• センサのグループが順番に領域をカバーする「デューティサイクル」アルゴリズムが、RoundRobinを上回る近似比を達成できないことを示すこと。
• センサが即座に活性化され、半径のみが割り当てられるSet Radius Strip Cover (RadSC) 変種に対して、最適なO(n² log n)時間のアルゴリズムを開発すること。

提案手法

• 既知のNP困難問題への帰着を用いて、OnceSCのNP困難性を証明する。
• 全領域を順番にカバーするセンサのサイクルを実行するRoundRobinアルゴリズムを分析し、タイトな解析を用いて3/2近似保証を確立する。
• グループごとに順番に領域をカバーする「デューティサイクル」アルゴリズムが、RoundRobinを上回る近似比を達成できないことを示す。
• RadSCにおける「適切な」最適割り当て（冗長なセンサが存在しない割り当て）の概念を導入し、そのような割り当てが存在することを証明する。
• O(n²)個の候補となるライフタイムT_ik = (b_i + b_k)/(x_k - x_i)に対して二分探索を実行し、最大の実行可能ライフタイムを特定する。
• 各候補Tに対して、半径割り当てρ_ℓ = b_ℓ / Tを構築し、区間の重複チェックを用いてカバレッジの妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Set Once Strip Cover (OnceSC) 問題はNP困難か？
• RQ2 OnceSCおよびより一般的なStrip Cover問題に対して、任意のアルゴリズムが達成可能な最良の近似比は何か？
• RQ3 センサのグループが順番に領域をカバーするデューティサイクルアルゴリズムは、RoundRobinを上回る近似比を達成できるか？
• RQ4 Set Radius Strip Cover (RadSC) 問題は多項式時間で最適解をもつのか？
• RQ5 RadSCの最適ライフタイムは効率的に計算可能か？そのアルゴリズムの時間計算量は何か？

主な発見

• Set Once Strip Cover (OnceSC) 問題はNP困難であることが証明された。
• RoundRobinアルゴリズムは、OnceSCおよびより一般的なStrip Cover問題の両方で、タイトな3/2近似比を達成する。
• デューティサイクルアルゴリズムは、RoundRobinを上回る近似比を達成できない。これは、このクラスにおいて最適である。
• Set Radius Strip Cover (RadSC) 問題には、最適なO(n² log n)時間のアルゴリズムが存在する。
• RadSCの最適ライフタイムは、最大2つのセンサに依存し、すべてのi < kについてT_ik = (b_i + b_k)/(x_k - x_i)の候補ライフタイムを二分探索フレームワークで検討する。
• アルゴリズムは各候補Tに対して半径割り当てρ_ℓ = b_ℓ / Tを構築し、O(n)時間で妥当性を検証する。これにより、全体の実行時間はO(n² log n)となる。