리더 선출과 임의 패턴 형성의 상호 등가성 연구

초록

**
본 논문은 비동기·무통신·무기억 로봇 모델(CORDA)에서 리더 선출과 임의 패턴 형성 문제가 서로 동등함을 보인다. 기존 연구가 “패턴 형성이 가능하면 리더 선출도 가능”을 증명한 데 반해, 저자들은 (1) 손잡이(chirality)를 공유할 경우 n ≥ 4, (2) 손잡이가 없을 경우 n ≥ 5에서 “리더 선출이 가능하면 모든 패턴을 형성할 수 있다”는 역방향 정리를 제시한다. 따라서 해당 로봇군에서는 n에 대한 최소 조건만 만족하면 두 문제는 완전히 동치가 된다.

**

상세 분석

**
본 연구는 CORDA 모델의 핵심 제약—완전 비동기성, 무통신, 무기억, 동일·익명 로봇—하에서 두 기본 문제인 리더 선출(Leader Election, LE)과 임의 패턴 형성(Arbitrary Pattern Formation, APF)의 논리적 관계를 정밀히 탐구한다. 기존 문헌(Flochini et al., 2015)은 “APF가 가능하면 LE도 가능하다”는 단방향 함축을 증명했으며, 이는 패턴 형성 과정에서 자연스럽게 유일한 기준점을 도출할 수 있음을 이용한다. 그러나 역방향, 즉 “LE가 가능하면 모든 패턴을 형성할 수 있다”는 명제는 로봇들의 대칭성 문제와 직접 연결된다.

저자들은 먼저 LE가 가능한 초기 배치를 가정하고, 이를 기반으로 “기준 좌표계”를 구축한다. 손잡이(공통 방향성)가 존재하면 로봇들은 동일한 시계방향을 인식하므로, 리더를 중심으로 좌표축을 정의하고, 남은 로봇들을 목표 패턴의 상대적 위치에 매핑한다. 이 과정에서 무기억성에도 불구하고, 각 로봇은 현재 관측만으로 자신의 목표 위치를 계산한다.

손잡이가 없을 경우, 대칭성 파괴를 위해 최소 하나의 추가 로봇이 필요하다. 저자들은 n ≥ 5일 때, 리더와 최소 두 로봇을 이용해 “가상 손잡이”를 생성하는 절차를 제시한다. 구체적으로, 리더와 가장 가까운 두 로봇을 선택해 비대칭 삼각형을 형성하고, 이 삼각형의 시계방향을 기준으로 좌표계를 고정한다. 이렇게 하면 모든 로봇이 동일한 좌표 체계에 동의하게 되며, 이후 APF 알고리즘을 적용할 수 있다.

알고리즘의 올바름은 두 가지 핵심 성질에 의해 보장된다. 첫째, 리더가 유일함을 유지하면서 이동하지 않음으로써 기준점이 변하지 않는다. 둘째, 각 단계에서 로봇들의 움직임은 “안전 영역”(safe zone) 안에서 이루어져, 비동기적 스케줄링에도 충돌이나 교차가 발생하지 않는다. 복잡도 측면에서는 각 로봇이 O(n)번의 관측·계산·이동 사이클을 수행하면 충분하며, 이는 기존 APF 알고리즘과 동일한 차수이다.

마지막으로, n = 3 이하에서는 LE와 APF가 모두 불가능함을 보이며, n = 4에서 손잡이 없을 경우 대칭성 파괴가 불가능해 역방향 정리가 성립하지 않음을 명시한다. 이는 모델의 근본적인 제한을 드러내며, 제시된 최소 n값이 최적임을 증명한다.

**