[论文解读] Priority Evacuation from a Disk Using Mobile Robots

Jurek Czyzowicz, Kyriakos Georgiou+6 more|arXiv (Cornell University)|May 9, 2018

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

一句话总结

本文研究单位圆盘上的优先疏散问题，其中一名特殊机器人（王后）必须尽快从隐藏出口疏散，而 n 名从属机器人通过搜索边界协助。作者提出一种策略，确保王后疏散时间至多为 $2 + 4(\sqrt{2}-1)\frac{\pi}{n}$（当 $n \geq 4$ 时），并证明了下界 $2 + \frac{\pi}{n} + \frac{2}{n^2}$，从而在 $n$ 较大时建立了紧致的渐近差距。王后的最优轨迹平衡了早期径向移动与边界覆盖，结果表明算法2很可能是最优的。

ABSTRACT

We introduce and study a new search-type problem with ($n+1$)-robots on a disk. The searchers (robots) all start from the center of the disk, have unit speed, and can communicate wirelessly. The goal is for a distinguished robot (the queen) to reach and evacuate from an exit that is hidden on the perimeter of the disk in as little time as possible. The remaining $n$ robots (servants) are there to facilitate the queen's objective and are not required to reach the hidden exit. We provide upper and lower bounds for the time required to evacuate the queen from a unit disk. Namely, we propose an algorithm specifying the trajectories of the robots which guarantees evacuation of the queen in time always better than $2 + 4(\sqrt{2}-1) \fracπ{n}$ for $n \geq 4$ servants. We also demonstrate that for $n \geq 4$ servants the queen cannot be evacuated in time less than $2+\fracπ{n}+\frac{2}{n^2}$.

研究动机与目标

• 研究一种新型疏散问题，其中仅一名机器人（王后）需要疏散，其余机器人通过搜索协助。
• 最小化王后的最坏情况疏散时间，此目标不同于最小化所有机器人疏散的总时间。
• 分析王后径向移动与从属机器人集体搜索速率之间的权衡。
• 为 $n \geq 4$ 个从属机器人建立疏散时间的紧致上下界。
• 基于关键时间约束与径向速度权衡，推测所提算法为最优。

提出的方法

• 王后与 $n$ 名从属机器人从单位圆盘中心出发，以单位速度移动，并通过无线方式通信。
• 从属机器人沿边界进行协调搜索，将边界划分为弧段，以实现早期最大覆盖。
• 王后遵循一种轨迹，使其在关键时间点之后最大化径向速度，确保在最优时刻抵达边界。
• 该算法采用从中心到边界的径向路径，随后沿边界搜索，其时间安排与从属机器人的搜索完成时间同步。
• 分析利用了几何与三角不等式，包括 $\cos^{-1}(-2/n)$，以推导关键时间阈值。
• 通过反证法与边界覆盖速率论证推导下界，表明王后必须在关键时间 $t_c$ 前保持在原点附近。

实验结果

研究问题

• RQ1 当 $n$ 名从属机器人协助搜索边界时，从单位圆盘疏散王后所需的最短时间是多少？
• RQ2 王后的轨迹如何影响整体疏散时间？其能否独立于从属机器人的搜索策略进行优化？
• RQ3 王后径向速度与从属机器人集体搜索速率之间的根本权衡是什么？
• RQ4 能否将所提疏散时间改进至超过当前上界 $2 + 4(\sqrt{2}-1)\frac{\pi}{n}$？
• RQ5 鉴于上下界之间的差距，所提算法是否渐近最优？

主要发现

• 所提算法确保王后在 $n \geq 4$ 时的疏散时间至多为 $2 + 4(\sqrt{2}-1)\frac{\pi}{n}$，该结果严格优于以往的界限。
• 证明了下界 $2 + \frac{\pi}{n} + \frac{2}{n^2}$，表明对于 $n \geq 4$，任何算法都无法使王后更早疏散。
• 下界的渐近展开为 $2 + \frac{\pi}{n} + \frac{2}{n^2} + \mathcal{O}(n^{-3})$，表明在 $n$ 较大时具有紧致性。
• 上下界之间的差距为 $(4\sqrt{2} - 5)\frac{\pi}{n} \approx 0.657\frac{\pi}{n}$，表明结果接近最优。
• 王后必须在时间 $t_c = 1 + \frac{2}{n}\cos^{-1}(-2/n)$ 前保持在原点附近，之后方可抵达边界而不延迟搜索。
• 分析表明，在关键时间点之间若偏离最大径向速度，无法缩短疏散时间，从而支持算法2为最优的推测。