[论文解读] Mutual Visibility by Luminous Robots Without Collisions

Giuseppe Antonio Di Luna, Paola Flocchini+4 more|arXiv (Cornell University)|Mar 14, 2015

Optimization and Search Problems参考文献 35被引用 3

一句话总结

本文提出新颖的协议，使发光机器人在欧几里得平面上实现无碰撞的相互可见性，适用于遮挡可见性环境——即当第三只机器人位于两者连线之间时，机器人无法看到对方。在半同步（SSynch）模型中使用2种颜色，在异步（ASynch）模型中使用3种颜色，机器人通过持久发光实现协调，以缩小或保持其凸包，确保所有机器人最终彼此可见且避免碰撞，同时构造性地解决了近聚集和圆环形成等衍生问题。

ABSTRACT

Consider a finite set of identical computational entities that can move freely in the Euclidean plane operating in Look-Compute-Move cycles. Let p(t) denote the location of entity p at time t; entity p can see entity q at time t if at that time no other entity lies in the line segment p(t)q(t). We consider the basic problem called Mutual Visibility: starting from arbitrary distinct locations, within finite time the entities must reach, without collisions, a configuration where they all see each other. This problem must be solved by each entity autonomously executing the same algorithm. We study this problem in the "luminous robots" model; in this generalization of the standard model of oblivious robots, each entity, called "robot", has an externally visible persistent light which can assume colors from a fixed set. The case where the number of colors is c=1 corresponds to the classical model without lights. In this paper we investigate under what conditions luminous robots can solve Mutual Visibility without collisions and at what cost (i.e., with how many colors). We establish a spectrum of results, depending on the power of the adversary, on the number c of colors, and on the a-priori knowledge the robots have about the system. Among such results, we prove that Mutual Visibility can always be solved without collisions in SSynch with c=2 colors and in ASynch with c=3 colors. If an adversary can interrupt and stop a robot moving to its computed destination, Mutual Visibility is still always solvable without collisions in SSynch with c=3 colors, and, if the robots agree on the direction of one axis, also in ASynch. All the results are obtained constructively by means of novel protocols. As a byproduct of our solutions, we provide the first obstructed-visibility solutions to two classical problems for oblivious robots: Collision-less Convergence to a point and Circle Formation.

研究动机与目标

• 在遮挡可见性条件下解决相互可见性问题，即机器人无法相互穿透观察。
• 确定在不同机器人模型下，发光机器人实现无碰撞相互可见性所需的最少颜色数量。
• 设计可构造的协议，确保无碰撞收敛与可见性，适用于经典问题如近聚集与圆环形成。
• 探讨系统假设（如对群体规模的了解、最小移动距离或坐标轴对齐）对颜色需求的影响。
• 建立遮挡可见性模型的基础解决方案，该模型在以往研究中常被忽略，而以往研究通常假设三只共线机器人的相互可见性。

提出的方法

• 提出两种核心算法：Shrink（使用2种颜色将凸包收缩至一点）和Contain（使用3种颜色保持初始凸包）。
• 设计协议，通过持久发光实现协调，以维持可见性并避免碰撞。
• 在不同调度器模型下应用算法：完全同步（FSynch）、半同步（SSynch）和异步（ASynch），并考虑刚性或非刚性移动。
• 创新性地利用灯光编码机器人状态与协调信号，使无记忆机器人能够协调而无需显式通信。
• 利用几何不变量与凸包动态特性，确保在对抗性调度下实现收敛与可见性。
• 通过将相互可见性作为预处理步骤，将协议适配以解决近聚集与圆环形成问题。

实验结果

研究问题

• RQ1 在具有非刚性移动的SSynch模型中，发光机器人实现无碰撞相互可见性所需的最少颜色数量是多少？
• RQ2 在ASynch模型中，仅使用2种颜色是否可以解决相互可见性问题，还是必须使用3种颜色？
• RQ3 若机器人在ASynch模型中非刚性移动且对齐坐标轴方向，是否可实现相互可见性，且该假设是否可被移除？
• RQ4 能否在不使用灯光或终止检测的情况下，以确定性方式解决相互可见性问题，使机器人可无限移动，但自某一时刻起始终保持相互可见？
• RQ5 所提出的协议在颜色使用上是否最优，或可进一步优化？

主要发现

• 在SSynch模型中，即使在非刚性移动下，仅使用2种颜色即可解决无碰撞相互可见性问题，前提是机器人知道最小移动距离δ。
• 在ASynch模型中，使用3种颜色可解决相互可见性问题，且若机器人对齐一个坐标轴方向，该解法依然有效。
• 使用2种颜色的Shrink算法可确保凸包随时间缩小，从而实现无碰撞的相互可见性。
• 使用3种颜色的Contain算法可保持初始凸包，适用于需要区域保持的应用场景。
• 该协议首次实现了遮挡可见性下的近聚集与圆环形成解决方案，二者均为机器人集群中的基础问题。
• 结果表明，2种颜色对Rigid SSynch是最优的，3种颜色对Non-Rigid ASynch是充分的，但可能非最小，因此最优性问题仍待解决。