[论文解读] Gathering an even number of robots in an odd ring without global multiplicity detection

Sayaka Kamei, Anissa Lamani+2 more|arXiv (Cornell University)|Jun 17, 2012

Optimization and Search Problems参考文献 9被引用 5

一句话总结

本文提出了一种确定性聚集协议，用于在仅具有局部弱多重性检测（即机器人仅能检测其所在节点是否有多于一个机器人，而非全局信息）的奇数大小环形网络中，对偶数个匿名且无目的性的机器人进行聚集。该协议能够处理对称但非周期性的初始配置，在 O(n²) 个异步轮次内实现聚集，是首个在如此弱的感知假设下支持偶数机器人数量的方案。

ABSTRACT

We propose a gathering protocol for an even number of robots in a ring-shaped network that allows symmetric but not periodic configurations as initial configurations, yet uses only local weak multiplicity detection. Robots are assumed to be anonymous and oblivious, and the execution model is the non- atomic CORDA model with asynchronous fair scheduling. In our scheme, the number of robots k must be greater than 8, the number of nodes n on a network must be odd and greater than k+3. The running time of our protocol is O(n2) asynchronous rounds.

研究动机与目标

• 解决在最小感知能力下，于环形网络中聚集偶数个机器人的挑战。
• 克服先前研究中需要全局多重性检测或受限初始配置的局限性。
• 仅使用局部弱多重性检测，在对称但非周期性配置下实现聚集。
• 确保在具有公平调度的异步 CORDA 模型下协议的正确性与收敛性。
• 将弱感知条件下机器人聚集的可行性扩展至偶数机器人数量，此前该能力仅限于奇数机器人数量或全局检测。

提出的方法

• 设计三阶段协议：第一阶段建立一个终端对称配置，即在大小为1的空隙的1-块两端各有一个可移动机器人。
• 利用局部弱多重性检测识别存在多个机器人的节点，使机器人仅基于本地观测做出决策。
• 仅允许位于大小为1的空隙的1-块两端的机器人移动，以确保对称性保持并推动进展。
• 利用环的奇数大小特性打破边-边对称性，避免无法聚集的配置。
• 在第三阶段应用已有研究中的已知聚集算法 [5]，从大小为 k−1 的单个1-块收敛至完全聚集。
• 通过分析调度器行为与机器人激活顺序，确保无过时或错误的目标分配。

实验结果

研究问题

• RQ1 能否仅使用局部弱多重性检测，在环形网络中实现偶数个机器人的聚集？
• RQ2 在仅使用局部弱多重性检测的条件下，偶数机器人数量的可行初始配置类别有哪些？
• RQ3 是否可能在无全局多重性检测的情况下，实现对称但非周期性配置下的聚集？
• RQ4 为使此类协议收敛，对环的大小与机器人数量有何必要约束？
• RQ5 异步、非原子的 CORDA 模型如何影响协议的设计与收敛性？

主要发现

• 该协议成功实现了在仅使用局部弱多重性检测的奇数大小环中，对偶数个机器人的聚集。
• 协议在 O(n²) 个异步轮次内收敛，其中 n 为环中节点的数量。
• 协议支持任何不含塔的非周期性初始配置，包括对称配置。
• 在 O(n²) 轮内达到终端配置，此后从该配置开始，聚集过程在 O(k²) 轮内完成，其中 k 为机器人数量。
• 即使在异步调度下，协议也能确保无机器人持有过时或错误的目标。
• 奇数环的大小至关重要，可避免导致聚集不可能的边-边对称性，并有效打破节点-节点对称性。