[论文解读] 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²) 的候选集 Λ，并证明最优值 λ* 即为 Λ 中的最大值，从而实现高效搜索。