[논문 리뷰] Gathering on a Circle with Limited Visibility by Anonymous Oblivious Robots

Giuseppe Antonio Di Luna, Ryuhei Uehara외 2명|arXiv (Cornell University)|2020. 01. 01.

Optimization and Search Problems참고 문헌 32인용 수 5

한 줄 요약

이 논문은 제한된 시야를 가진 익명의 무기록, 반시계 방향으로 동작하는 로봇이 원형 궤도에 있을 때 수집 문제를 해결하기 위한 결정적 분산 알고리즘을 제시한다. 각 로봇이 반대점(antipodal point)을 제외하고 원 전체를 볼 수 있을 때(ϑ = π), 수집이 가능하다는 것을 증명하지만, 시야가 ϑ ≤ π/2로 제한될 경우조차도, 회전 비대칭성과 연결된 시야 그래프가 존재하더라도 수집이 불가능하다는 것을 입증한다. 이 불가능성 결과는 랜덤 펌프터베이션을 활용한 새로운 확률적 기법에 기반한다.

ABSTRACT

A swarm of anonymous oblivious mobile robots, operating in deterministic Look-Compute-Move cycles, is confined within a circular track. All robots agree on the clockwise direction (chirality), they are activated by an adversarial semi-synchronous scheduler (SSYNCH), and an active robot always reaches the destination point it computes (rigidity). Robots have limited visibility: each robot can see only the points on the circle that have an angular distance strictly smaller than a constant $\vartheta$ from the robot's current location, where $0<\vartheta\leqπ$ (angles are expressed in radians). We study the Gathering problem for such a swarm of robots: that is, all robots are initially in distinct locations on the circle, and their task is to reach the same point on the circle in a finite number of turns, regardless of the way they are activated by the scheduler. Note that, due to the anonymity of the robots, this task is impossible if the initial configuration is rotationally symmetric; hence, we have to make the assumption that the initial configuration be rotationally asymmetric. We prove that, if $\vartheta=π$ (i.e., each robot can see the entire circle except its antipodal point), there is a distributed algorithm that solves the Gathering problem for swarms of any size. By contrast, we also prove that, if $\vartheta\leq π/2$, no distributed algorithm solves the Gathering problem, regardless of the size of the swarm, even under the assumption that the initial configuration is rotationally asymmetric and the visibility graph of the robots is connected. The latter impossibility result relies on a probabilistic technique based on random perturbations, which is novel in the context of anonymous mobile robots. Such a technique is of independent interest, and immediately applies to other Pattern-Formation problems.

연구 동기 및 목표

• 제한된 시야 조건 하에서 익명, 무기록, 침묵하는 로봇이 원형 궤도에 갇혀 있을 때의 계산적 한계를 조사하는 것.
• 반시계 방향, 강제적, 악성 스케줄러 환경에서 수집 문제가 해결 가능한 시야 범위 ϑ의 범위를 규명하는 것.
• 익명성과 제한된 시야에도 불구하고 대칭성 해소가 가능한 조건을 설정하는 것.
• 회전 비대칭 구성에서 수집 문제를 해결하기 위해 ϑ = π의 시야 범위가 반드시 필요한지 탐색하는 것.

제안 방법

• 지역적 시야와 회전 방향(Chirality)을 활용해 대칭성을 깨고 공통의 수집 지점으로 로봇을 유도하는 결정적 분산 알고리즘 설계.
• 모든 로봇이 적어도 한 번 이상 활성화되는 최소 시간 간격을 '에포크(epoch)'로 정의하고, O(n) 에포크 내 수렴성을 분석.
• 시야와 반대점 관계를 기반으로 한 리더 선출 메커니즘을 도입하여 다중점으로 향한 이동을 조율.
• 랜덤 펌프터베이션을 기반으로 한 새로운 확률적 기법을 적용하여 ϑ ≤ π/2일 경우의 불가능성 증명.
• ϑ ≤ π/2인 경우, 스웜 크기가 알려져 있고 시야 그래프가 연결되어 있더라도 어떤 알고리즘도 수집을 보장할 수 없음을 증명.
• 강제성과 반시계 방향 활성화를 가정하여 이동이 목표 지점에 도달함을 보장하는 로봇 행동 분석.

실험 결과

연구 질문

• RQ1 회전 비대칭성과 연결된 시야 그래프가 존재하더라도, 시야가 ϑ ≤ π/2로 제한될 경우 익명의 무기록 로봇이 원형 궤도에서 수집을 달성할 수 있는가?
• RQ2 각 로봇이 반대점만 제외하고 원 전체를 볼 수 있을 때(ϑ = π), 결정적 분산 알고리즘이 수집 문제를 해결할 수 있는가?
• RQ3 공통의 시계 방향 방향(Chirality)이 고유 식별자나 메모리가 없을 때 대칭성 해소를 가능하게 하는가?
• RQ4 ϑ ≤ π/2일 경우의 불가능성 결과를 회전 비대칭 목표를 가진 다른 패턴 형성 문제로 확장할 수 있는가?
• RQ5 불가능성 증명에서 사용된 확률적 펌프터베이션 기법이 로봇 군집 문제의 다른 문제들에도 적용 가능한가?

주요 결과

• 논문은 ϑ = π일 경우, 어떤 스웜 크기에서도 결정적 분산 알고리즘을 통해 O(n) 에포크 내에 수렴함을 증명한다.
• ϑ ≤ π/2일 경우, 초기 구성이 회전 비대칭이거나 시야 그래프가 연결되어 있더라도 어떤 분산 알고리즘으로도 수집 문제를 해결할 수 없다.
• 이 불가능성 결과는 랜덤 펌프터베이션을 기반으로 한 새로운 확률적 기법을 통해 확립되었으며, 이는 다른 패턴 형성 문제에 대해서도 별도의 관심을 끌 만한 가치가 있다.
• 알고리즘은 반대점에 위치한 로봇을 감지하고, 다중점으로 향하는 수렴을 이끄는 리더 유사 행동에 의존한다.
• 알고리즘의 실행 시간은 O(n) 에포크로 제한되며, 저자들은 실질적으로 O(1) 에포크 내에 종료될 것으로 추측한다.
• 불가능성 결과는 색상 조명 기능이 있는 모델에는 적용되지 않으며, 이러한 기능이 더 짧은 시야 범위로도 수집을 가능하게 할 수 있음을 시사한다.