투명한 지방 로봇을 위한 비동기 리더 선출 및 집합 알고리즘

초록

본 논문은 좌표계와 방향성(치랄리티)이 없는 투명한 지방(두께가 있는) 로봇 n(>4)대를 비동기 환경에서 결정적으로 모으는 분산 알고리즘을 제시한다. 로봇은 익명이며 과거 정보를 저장하지 못하고, 메시지 전달도 할 수 없다. 알고리즘은 매 순간 단 하나의 로봇만 움직이도록 설계되며, 움직일 로봇을 선정하기 위해 전역적인 순서를 정의하는 리더 선출 절차를 사용한다. 순서가 정의될 수 있는 경우에는 반드시 모임을 달성할 수 있음을 증명하고, 순서 정의가 불가능한 경우를 명시한다. 또한 리더 선출이 가능하면 치랄리티가 없어도 패턴 형성이 가능함을 강조한다.

상세 분석

이 논문은 로봇 군집 연구에서 가장 까다로운 모델 중 하나인 ‘투명한 지방 로봇(transparent fat robots)’을 대상으로 한다. 지방 로봇은 점이 아니라 일정한 반지름을 가진 원형(또는 원판) 형태이며, 투명성 때문에 서로를 가리지 않는다. 따라서 모든 로봇은 전역 시야(full visibility)를 갖지만, 로봇 자체가 차지하는 영역 때문에 충돌 방지와 이동 경로 설계가 복잡해진다.

논문은 먼저 시스템 모델을 명확히 정의한다. 로봇은 비동기(ASYNC) 스케줄링을 따르며, 각 로봇은 Look‑Compute‑Move(LCM) 사이클을 독립적으로 수행한다. ‘Look’ 단계에서 로봇은 현재 평면상의 모든 로봇 위치를 정확히 관측한다. ‘Compute’ 단계에서는 관측된 위치를 바탕으로 이동 목표점을 계산하고, ‘Move’ 단계에서는 목표점까지 직선 경로를 따라 이동한다. 중요한 점은 로봇이 과거 상태를 기억하지 못한다는 ‘무기억(Oblivious)’ 특성이다. 또한 로봇들은 좌표축 방향이나 좌우 구분(치랄리티)을 공유하지 않으며, 외형적으로 구분이 불가능한 익명 로봇이다.

이러한 제약 하에서 ‘한 번에 하나의 로봇만 움직인다’는 강제 조건을 만들기 위해, 논문은 ‘유일한 이동 가능 로봇’(eligible robot)을 정의한다. 특정 기하학적 기준—예를 들어, 가장 외곽에 위치한 로봇, 혹은 최소 거리 기준을 만족하는 로봇—을 이용해 후보 집합을 만든 뒤, 후보가 둘 이상이면 ‘리더 선출 알고리즘’을 호출한다. 리더 선출은 각 로봇이 자신의 위치를 기준으로 전역적인 순서를 생성하도록 설계되었다. 순서는 ‘정렬 가능성(orderability)’이라는 개념에 기반한다. 즉, 모든 로봇이 동일한 전역 순서를 도출할 수 있으면 그 순서의 첫 번째 로봇을 리더로 지정한다.

리더 선출 절차는 두 단계로 이루어진다. 첫 번째 단계에서는 로봇들의 좌표를 원점 기준으로 정렬하는데, 좌표계가 없으므로 ‘최소 원점(centroid)’이나 ‘최소 외접원 중심’ 등을 이용해 가상의 기준점을 만든다. 두 번째 단계에서는 그 기준점으로부터 각 로봇까지의 거리와 각도를 비교해 사전식 순서를 만든다. 거리와 각도는 로봇이 공유하지 않는 좌표계에서도 일관되게 정의될 수 있도록, ‘시계방향/반시계방향’ 구분 없이 절대값만 사용한다. 이때 치랄리티가 없으므로 각도 비교는 ‘작은 각도’와 ‘큰 각도’만을 구분한다.

논문은 순서가 정의될 수 없는 경우, 즉 두 로봇이 완전히 대칭적인 배치를 이루어 어느 쪽을 먼저 선택해야 할지 모호한 경우를 명시한다. 이러한 경우에는 ‘무한 대기’ 혹은 ‘교착 상태’를 피하기 위해 알고리즘이 중단한다. 저자는 이러한 비정렬 상황을 ‘비정렬 구성(non‑orderable configuration)’이라 정의하고, 그 조건을 기하학적으로 증명한다.

리더가 선정되면, 그 로봇은 목표 지점(보통 전체 군집의 무게중심 혹은 최소 외접원의 중심)까지 직선 경로로 이동한다. 이동 중에도 다른 로봇은 움직이지 않으며, 로봇이 도착하면 다시 전체 시스템이 ‘Look’ 단계로 전환된다. 이 과정을 반복하면, 매 사이클마다 최소 하나의 로봇이 목표에 가까워지므로, 유한 시간 안에 모든 로봇이 동일한 위치에 모인다.

알고리즘의 정당성 증명은 크게 두 부분으로 나뉜다. 첫 번째는 ‘리더 선출이 올바르게 수행된다’는 것, 즉 모든 로봇이 동일한 순서를 도출하고, 그 순서가 유일함을 보인다. 두 번째는 ‘한 번에 하나의 로봇만 움직이게 함으로써 충돌이 발생하지 않는다’는 것과, ‘각 이동이 목표 지점에 대한 거리 감소를 보장한다’는 것이다. 이를 위해 저자는 ‘거리 감소 함수’를 정의하고, 비동기 스케줄링 하에서도 이 함수가 단조 감소함을 수학적으로 증명한다.

마지막으로, 논문은 치랄리티가 없더라도 리더 선출이 가능하면 패턴 형성(집합) 문제가 해결된다는 중요한 사실을 강조한다. 이는 기존 연구에서 치랄리티가 필수적이라고 가정했던 부분을 크게 완화시킨다.

요약하면, 이 논문은 투명한 지방 로봇이라는 복합 모델에서 비동기, 무기억, 무치랄리티 조건을 모두 만족하는 결정적 집합 알고리즘을 제시하고, 리더 선출과 순서 정의를 통해 충돌 없이 수렴을 보장한다는 점에서 학술적 기여가 크다.