[论文解读] 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 近似比。此外，本文还提出了一个最优的 O(n² log n) 时间复杂度算法，用于求解相关问题 Set Radius Strip Cover，其中传感器立即激活，仅需分配半径。

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 的近似比，因此 RoundRobin 在该类算法中是最优的。
• Set Radius Strip Cover（RadSC）问题存在一个最优的 O(n² log n) 时间复杂度算法。
• RadSC 的最优寿命由至多两个传感器决定，所有候选寿命 T_ik = (b_i + b_k)/(x_k - x_i)（其中 i < k）均在二分查找框架中被考虑。
• 该算法对每个候选 T 构造半径分配 ρ_ℓ = b_ℓ / T，并在 O(n) 时间内验证可行性，从而实现总体 O(n² log n) 的时间复杂度。