[논문 리뷰] Gathering an even number of robots in an odd ring without global multiplicity detection

Sayaka Kamei, Anissa Lamani외 2명|arXiv (Cornell University)|2012. 06. 17.

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

한 줄 요약

이 논문은 오로지 국소적 약한 다중성 탐지(로봇이 현재 노드에 다수의 로봇이 존재하는지만 확인 가능, 전역적으로는 불가능)를 사용하여, 홀수 크기의 링 네트워크에서 익명이고 무관심 상태인 로봇의 짝수 개를 결정적으로 수거하는 프로토콜을 제시한다. 프로토콜은 대칭적이지만 비주기적인 초기 구성(configuration)을 처리하며, 이방향 비동기 라운드 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 모델(공정 스케줄링 보장) 하에서 보장한다.
• 이전에 홀수 개의 로봇 또는 전역 탐지에 국한되었던 약한 감지 하에서 짝수 개의 로봇 수거 가능성을 확장한다.

제안 방법

• 3단계 프로토콜 설계: 1단계는 길이가 1인 빈칸이 있는 1-블록의 양 끝에 움직일 수 있는 로봇이 있는 종료 대칭 구성(configuration)을 설정한다.
• 국소적 약한 다중성 탐지를 통해 다수의 로봇이 존재하는 노드를 식별함으로써, 로봇이 오직 국소적 관찰에 기반해 결정을 내릴 수 있도록 한다.
• 빈칸의 크기가 1인 1-블록의 끝단에 위치한 로봇들만 이동을 허용하여 대칭성 유지와 진전을 보장한다.
• 홀수 링 크기를 활용해 가장자리-가장자리 대칭을 깨뜨리고, 수거가 불가능한 구성 방지를 한다.
• 3단계에서 이전 연구에서 알려진 수거 알고리즘 [5]을 적용하여, 길이 k−1인 단일 1-블록으로부터 완전한 수거로 수렴한다.
• 스케줄러의 동작과 로봇의 활성화 순서를 분석하여, 오래된 또는 잘못된 목표 지정이 발생하지 않도록 보장한다.

실험 결과

연구 질문

• RQ1 국소적 약한 다중성 탐지만을 사용하여 링에서 짝수 개의 로봇을 수거할 수 있는가?
• RQ2 국소적 약한 다중성 탐지 하에서 짝수 개의 로봇 수거를 위한 가능한 초기 구성 유형은 무엇인가?
• RQ3 전역적 다중성 탐지 없이도 대칭적이지만 비주기적인 구성에서 수거를 달성할 수 있는가?
• RQ4 이러한 프로토콜이 수렴하기 위해 필요한 링 크기 및 로봇 수에 대한 제약 조건은 무엇인가?
• RQ5 비동기적이고 비원자적인 CORDA 모델은 프로토콜의 설계 및 수렴에 어떤 영향을 미치는가?

주요 결과

• 프로토콜은 오로지 국소적 약한 다중성 탐지만을 사용하여 홀수 크기의 링에서 짝수 개의 로봇을 성공적으로 수거한다.
• 프로토콜은 n개의 노드를 가진 링에서 O(n²) 비동기적 라운드 내에 수렴한다.
• 프로토콜은 타워가 없는 비주기적인 초기 구성, 포함하여 대칭 구성도 지원한다.
• 종료 구성(configuration)은 O(n²) 라운드 내에 도달하며, 이후 k개의 로봇에 대해 O(k²) 라운드 내에 수거가 진행된다.
• 비동기 스케줄링 하에서도 로봇이 오래된 또는 잘못된 목표를 보유하지 않도록 보장한다.
• 홀수 링 크기는 가장자리-가장자리 대칭을 방지하기 위해 필수적이며, 노드-노드 대칭을 효과적으로 깰 수 있도록 한다.