비동기 무지성 로봇의 확률적 링 탐색 최적화

초록

이 논문은 비동기적이며 기억을 갖지 않는(k‑oblivious) 동일 로봇 4대만으로도, 초기 대칭성이나 n과 k의 서로소 조건 없이 무방향 원형 그래프를 완전 탐색할 수 있음을 보인다. 기존 결정론적 접근에서는 Θ(log n)대의 로봇이 필요했지만, 확률적 움직임을 이용해 로봇 수를 4대로 최소화한다. 알고리즘은 무작위 선택을 통해 대칭을 깨고, 단계별로 모임·탐색·정리 과정을 수행한다.

상세 분석

본 연구는 무지성(oblivi­ous) 로봇 모델을 기반으로 한다. 각 로봇은 전역 시야를 가지고 주변 정점의 점유 상태만을 관찰하지만, 메모리를 보유하지 않으며 서로 통신할 수 없다. 또한 스케줄러는 완전 비동기(ASYNC)이며, 로봇의 Look‑Compute‑Move 사이클은 서로 겹치지 않을 수도 있다. 이러한 약한 가정 하에서 기존 결정론적 결과는 초기 대칭이 존재하면 최소 Ω(log n)대의 로봇이 필요하고, 로봇 수 k와 링 크기 n이 서로소일 때만 탐색이 가능하다는 제한을 갖는다.

논문은 확률적 행동을 도입함으로써 이 한계를 극복한다. 핵심 아이디어는 “무작위 이동”을 이용해 대칭을 확률적으로 깨는 것이다. 로봇이 동일한 관측값을 가질 경우, 각 로봇은 일정 확률 p 로 움직임을 선택하고, 1 − p 로 정지한다. 이때 p는 충분히 작게 설정해 충돌을 최소화하면서도, 장기적으로는 모든 대칭 상태가 깨질 확률이 1에 수렴하도록 설계한다.

알고리즘은 크게 세 단계로 구성된다. 첫 번째 단계인 “집합(aggregation)”에서는 로봇들이 서로 인접한 두 정점에 모여, 최소 두 로봇이 같은 정점에 동시에 존재하도록 만든다. 이는 무작위 이동에 의해 자연스럽게 발생하며, 로봇이 서로를 인식할 수 있는 최소한의 비대칭을 만든다. 두 번째 단계인 “대칭 파괴(symmetry breaking)”에서는 집합된 로봇이 각각 독립적으로 무작위 방향을 선택해 이동함으로써, 원형의 회전 대칭을 깨뜨린다. 여기서 중요한 점은 로봇이 무지성이라도 현재 위치와 주변 점유 정보를 통해 “내가 현재 집합의 왼쪽 끝인지 오른쪽 끝인지”를 판단할 수 있다는 점이다. 세 번째 단계인 “탐색 및 정리(exploration and cleanup)”에서는 로봇들이 순차적으로 아직 방문되지 않은 정점을 하나씩 방문하도록 움직이며, 방문 기록은 로봇이 현재 점유하고 있는 정점에 ‘흔적’(예: 토큰) 형태로 남긴다. 토큰은 로봇이 기억을 갖지 않으므로, 토큰 자체가 상태 정보를 전달한다. 모든 정점에 토큰이 남으면 탐색이 종료된다.

필요성 증명에서는 3대 이하의 로봇으로는 초기 대칭을 확률적으로라도 깨는 것이 불가능함을 보인다. 3대 로봇이 동일한 간격으로 배치될 경우, 어느 로봇이 움직이든 남은 두 로봇은 여전히 대칭을 이루어, 탐색이 영원히 진행되지 않는다. 반면 4대 로봇이면 최소 하나의 로봇이 “짝을 이루지 않은” 위치에 놓일 확률이 양수이며, 이 로봇을 중심으로 대칭이 파괴된다. 따라서 4대는 필요충분조건이다.

시간 복잡도 측면에서는 각 단계가 기대값 O(n) 라는 상한을 갖는다. 특히 대칭 파괴 단계는 마코프 체인 분석을 통해 평균 O(log n) 라운드 내에 성공한다는 것이 증명된다. 전체 알고리즘은 기대 시간 O(n log n) 이며, 최악의 경우에도 확률적 반복을 통해 무한히 진행되지 않음이 보장된다.

이러한 결과는 로봇 시스템 설계에서 메모리와 통신을 완전히 포기하더라도, 확률적 설계가 구조적 한계를 극복할 수 있음을 보여준다. 또한, 무방향 링이라는 제한된 토폴로지에서의 탐색 문제를 통해, 더 일반적인 그래프나 네트워크에서도 유사한 확률적 기법이 적용될 가능성을 시사한다.