[논문 리뷰] Leader Election Problem Versus Pattern Formation Problem

Yoann Dieudonné, Franck Petit외 1명|arXiv (Cornell University)|2009. 02. 17.

Optimization and Search Problems참고 문헌 17인용 수 4

한 줄 요약

이 논문은 자율 이동 로봇의 CORDA 모델에서 리더 선출과 임의의 패턴 형성 간의 등가성을 확립한다. 리더 선출이 가능할 조건과 패턴 형성의 가능성이 동일한 조건임을 증명하며, 편향성(chirality)이 존재할 경우 n ≥ 4, 존재하지 않을 경우 n ≥ 5일 때를 기준으로 한다. 이는 기하학적 대칭성 해소 기반의 새로운 협업 메커니즘과 두 개의 지정된 로봇을 통한 안정적인 좌표계 설정을 통해 달성된다.

ABSTRACT

Leader election and arbitrary pattern formation are funda- mental tasks for a set of autonomous mobile robots. The former consists in distinguishing a unique robot, called the leader. The latter aims in arranging the robots in the plane to form any given pattern. The solv- ability of both these tasks turns out to be necessary in order to achieve more complex tasks. In this paper, we study the relationship between these two tasks in a model, called CORDA, wherein the robots are weak in several aspects. In particular, they are fully asynchronous and they have no direct means of communication. They cannot remember any previous observation nor computation performed in any previous step. Such robots are said to be oblivious. The robots are also uniform and anonymous, i.e, they all have the same program using no global parameter (such as an identity) allowing to differentiate any of them. Moreover, we assume that none of them share any kind of common coordinate mechanism or common sense of direction and we discuss the influence of a common handedness (i.e., chirality). In such a system, Flochini et al. proved in [11] that it is possible to elect a leader for n \geq 3 robots if it is possible to form any pattern for n \geq 3. In this paper, we show that the converse is true for n \geq 4 when the robots share a common handedness and for n \geq 5 when they do not. Thus, we deduce that with chirality (resp. without chirality) both problems are equivalent for n \geq 4 (resp. n \geq 5) in CORDA.

연구 동기 및 목표

• 비동기적, 익명의, 무기억적인 이동 로봇 시스템에서 리더 선출과 임의의 패턴 형성 간의 관계를 조사한다.
• 방향 감지나 편향성 같은 공통된 협업 메커니즘이 없는 환경에서 리더 선출이 패턴 형성 문제를 해결하는 데 충분한지 확인한다.
• 다양한 대칭성 가정 하에 해법 가능성을 확보하기 위한 로봇 수의 날카로운 하한을 설정한다.
• 완전히 비동기적이고 방향성이 없는 환경에서조차도 리더 선출을 원천으로 사용해 패턴 형성을 가능하게 하는 협업 메커니즘을 설계한다.

제안 방법

• Flochini 등이 이전에 증명한 바와 같이 패턴 형성이 리더 선출을 암시한다는 사실을 활용하여, CORDA 모델에서 그 역도 성립함을 증명한다.
• 두 로봇 기반의 협업 메커니즘을 도입한다: 중심 질량에서 가장 가까운 유일한 로봇 r_l1이 선출되고, 다음으로 가까운 로봇 r_l2가 선택되어, 공선성이 없도록 하여 편향성을 정의한다.
• r_l1과 r_l2를 중심 질량으로부터 특정 거리에 위치시켜 기하학적 대칭성 해소를 통해 패턴 형성 중 좌표계의 안정성을 확보한다.
• r_l1과 r_l2가 지정된 위치를 확보할 때까지 다른 로봇이 움직이지 않도록 하는 조건을 정의하여 시스템의 안정성을 보장한다.
• 목표 패턴의 동심 원 둘레에 r_l1과 r_l2의 예약된 최종 위치를 정의하여 좌표계의 무결성을 유지한다.
• r_l1, r_l2 및 중심이 형성하는 볼록 각의 방향을 이용해, 초기 공통된 손가락 방향이 없더라도 공통된 손가락성(handledness, 편향성)을 설정한다.

실험 결과

연구 질문

• RQ1 완전한 비동기성과 로봇의 익명성 하에서 CORDA 모델에서 리더 선출이 임의의 패턴 형성 문제를 해결하는 데 충분한가?
• RQ2 리더 선출이 가능한 조건에서, 편향성이 있을 경우와 없을 경우 패턴 형성이 해법 가능해지기 위해 필요한 최소 로봇 수는 얼마인가?
• RQ3 전역적인 방향성이나 공통된 방향성이 없이도, 국소적인 기하학적 관측만으로 안정적인 좌표계를 설정할 수 있는가?
• RQ4 완전히 비동기적, 익명적, 무기억적인 로봇 시스템에서 대칭성을 어떻게 해소하여 결정적인 협업을 가능하게 할 수 있는가?
• RQ5 이러한 시스템에서 리더 선출과 패턴 형성 간의 등가성에 필요한 필수 조건과 충분 조건은 무엇인가?

주요 결과

• 편향성이 존재할 경우, n ≥ 4일 때 CORDA 모델에서 리더 선출과 임의의 패턴 형성은 등가이다.
• 편향성이 없는 시스템에서는 n ≥ 5일 때 두 문제가 등가이며, 이는 날카로운 하한을 확립한다.
• Flochini 등의 정리 1.1의 역도 성립한다: 지정된 조건 하에서 리더 선출이 해법 가능하면, 패턴 형성도 해법 가능하다.
• 제안된 알고리즘은 초기 공통된 방향성이 없더라도 두 지정 로봇(r_l1 및 r_l2)을 통해 안정적인 좌표계 설정을 보장한다.
• 기하학적 대칭성과 거리 기반 위치 조정을 활용하여, 완전히 비동기적, 익명적, 무기억적인 환경에서도 결정적 협업을 실현한다.
• 이 솔루션은 이질성에 강건하며, 메모리, 통신, 식별자 없이도 국소적 관측과 기하학적 불변량에만 의존하여 작동한다.