不透明机器人的异步放纵聚集
Asynchronous Indulgent Gathering of Opaque Robots
Subhajit Pramanick · Saswata Jana · Partha Sarathi Mandal · Gokarna Sharma
中文摘要
研究由 N 个机器人组成的 (N,f)-故障系统中,最多 f 个机器人可能失效的聚集基准问题。传统版本要求 N-f 个正常机器人聚集于未知点,而放纵聚集要求聚集于故障机器人位置。在 LUMI 模型半同步环境下,(2,1)-崩溃系统中放纵聚集不可行。本文在 LUMI 异步环境下,针对移动故障模型(机器人崩溃仅影响移动性,不影响灯光操作)建立四项结果。首先证明在 (2,1)-移动系统中使用 2 色灯光时放纵聚集不可行,随后给出使用 3 色灯光的最优解。接着提出两个针对 (N,f)-移动系统(f<N,N,f 未知)的确定性算法,展现时间与颜色的权衡:一个使用 7 色灯光,时间复杂度 O(N);另一个使用 26 色灯光,时间复杂度 O(max{ℓ,f}),其中 ℓ 为初始构型中机器人位置的不同凸层数。这些算法是首个分析时间复杂度的算法,能抵抗遮挡视野(不透明机器人模型)和异步调度,且也能解决传统聚集问题。
关键要点
- 01在 LUMI 异步环境下,针对移动故障模型研究放纵聚集问题,其中机器人崩溃仅影响移动性。
- 02证明 (2,1)-移动系统中 2 色灯光下放纵聚集不可行,并给出 3 色灯光下的最优解。
- 03提出两个确定性算法,分别使用 7 色灯光实现 O(N) 时间复杂度,或使用 26 色灯光实现 O(max{ℓ,f}) 时间复杂度。
- 04算法支持不透明机器人模型(遮挡视野)和异步调度,是首个分析时间复杂度的此类算法,且兼容传统聚集。
解读
尚无解读。
原始英文摘要
arXiv:2509.10711v2 Announce Type: replace-cross Abstract: We consider the benchmarking problem of gathering in an $(N,f)$-fault system consisting of $N$ robots, of which at most $f$ may fail at any execution. The {\em traditional} version asks $N-f$ non-faulty robots to gather at a point not known a priori. The recently studied {\em indulgent} version asks $N-f$ non-faulty robots to gather at the location of a faulty one. Indulgent gathering is impossible in a $(2,1)$-crash system in the $LUMI$ model under semi-synchrony, even when infinitely many colors and coordinate axis agreement are available. In this paper, we establish four results for indulgent gathering under asynchrony in $LUMI$, considering a {\em mobility fault} model in which a robot crash only impacts its mobility but not the operation of the light. We first show that indulgent gathering is impossible in a $(2,1)$-mobility system using 2-colored lights, and then give an optimal solution w.r.t. the number of colors using 3-colored lights. We then give two deterministic algorithms for an $(N,f)$-mobility system, $f<N$, $N,f$ unknown, that exhibit a nice time-color trade-off: One with time $O(N)$ using 7-colored lights and another with time $O(\max\{\ell,f\})$ using 26-colored lights, where $\ell< N$ is the number of distinct convex layers of robot positions in the initial configuration. Our algorithms for an $(N,f)$-mobility system are the first to be analysed time complexity, can withstand obstructed visibility (opaque robot model) and asynchronous scheduling. Interestingly, our algorithms also solve traditional gathering.