그리드 탐색을 위한 최소 로봇 수와 최적 알고리즘

초록

이 논문은 비동기적·무기억(Oblivious) 로봇들이 익명·무방향 그리드 네트워크를 탐색하고 종료하는 문제를 다룬다. ATOM 모델에서 3개 미만의 로봇으로는 3개 이상 노드가 있는 그리드를 탐색할 수 없으며, (2,2) 그리드에서는 최소 4대, (3,3) 그리드에서는 최소 5대가 필요함을 증명한다. 이후 CORDA 모델에서 위의 하한을 만족하는 최적(최소 로봇 수) 결정적 알고리즘을 제시한다. 일반적인 그리드에서는 3대의 로봇만으로도 탐색과 종료가 가능하고, (2,2)와 (3,3) 경우에만 각각 4대와 5대가 필요하다.

상세 분석

본 연구는 로봇 시스템 이론에서 가장 제한적인 환경 중 하나인 ‘무기억·익명·비동기’ 로봇을 가정하고, 그리드 형태의 그래프를 완전 탐색(모든 노드를 최소 한 번 방문)하고 정지하도록 하는 문제를 탐구한다. 먼저 두 가지 실행 모델을 정의한다. ATOM 모델은 각 로봇이 활성화된 순간에 Look‑Compute‑Move 사이클을 원자적으로 수행하는 강력한 모델이며, CORDA 모델은 Look, Compute, Move 단계가 서로 비동기적으로 진행될 수 있는 보다 현실적인 모델이다. 논문은 ATOM 모델에서의 불가능성 결과를 먼저 증명함으로써, 그 결과가 CORDA 모델에도 그대로 적용된다는 점을 이용한다.

불가능성 증명은 구성(configuration)과 시점(view)의 대칭성을 활용한다. 로봇이 무기억이므로 과거 정보를 저장할 수 없으며, 익명성 때문에 로봇 간 구분이 불가능하다. 따라서 초기 구성에서 대칭적인 배치를 만들면, 로봇들은 동일한 시각을 공유하고 동일한 행동을 선택하게 된다. 이때 두 로봇이 같은 방향으로 움직이면 대칭이 유지되어 영원히 새로운 노드를 방문하지 못한다. 이러한 논리를 바탕으로, (i,j) 그리드가 최소 3개의 노드를 가질 경우 로봇 수가 2 이하이면 탐색이 불가능함을 보인다(정리 1).

특수 그리드인 (2,2)와 (3,3)에 대해서는 추가적인 대칭 분석을 수행한다. (2,2) 그리드에서는 3대 로봇이 어느 초기 배치에서도 모든 코너를 방문하도록 보장할 수 없으며, 4대가 필요함을 정리 2로 제시한다. (3,3) 그리드에서는 4대 로봇으로는 특정 대칭 배치를 깨기 어려워 탐색이 실패하고, 최소 5대가 필요함을 정리 4에서 증명한다. 여기서 중요한 점은 (3,3) 경우에만 정해진(Deterministic) 탐색이 불가능하다는 점이며, 확률적 알고리즘에서는 아직 명확한 결론이 제시되지 않는다.

그 다음 섹션에서는 CORDA 모델에서 위의 하한을 만족하는 결정적 알고리즘을 설계한다. 일반적인 (i,j) 그리드(i·j≥3)에서는 3대 로봇만으로도 탐색을 완료할 수 있다. 알고리즘은 다음과 같은 단계로 구성된다. ① 초기 단계에서 로봇들은 서로 다른 코너에 배치되도록 이동한다. ② 각 로봇은 현재 위치와 주변 로봇의 multiplicity 정보를 이용해 ‘탐색 경계’를 정의하고, 그 경계를 따라 순차적으로 이동한다. ③ 로봇이 코너에 도달하면 방향 전환 규칙에 따라 새로운 경계선으로 이동한다. ④ 모든 코너와 내부 노드가 방문되면 로봇들은 동일한 ‘터미널 구성’(모든 로봇이 같은 코너에 모여 탑을 형성)으로 수렴하고, 이후 움직임을 멈춘다.

특수 경우인 (2,2)와 (3,3)에서는 각각 4대와 5대 로봇을 사용하도록 알고리즘을 변형한다. (2,2)에서는 두 로봇이 같은 코너에 모여 탑을 만들고, 나머지 로봇이 남은 코너를 차례로 방문하도록 설계한다. (3,3)에서는 5대 로봇이 초기 배치를 통해 대칭을 깨고, 한 로봇이 ‘리더’ 역할을 수행하면서 나머지 로봇이 주변을 순회하도록 한다. 이때 리더 로봇은 자신의 위치를 기준으로 좌·우·상·하 방향을 구분할 필요 없이, 주변 로봇들의 상대적 multiplicity만을 이용해 이동 결정을 내린다.

알고리즘의 정당성은 두 가지 관점에서 검증한다. 첫째, 모든 가능한 실행(스케줄러가 어떤 로봇을 언제 활성화하든)에서 로봇이 무한히 움직이지 않고 결국 터미널 구성에 도달한다는 ‘정착성(termination)’을 보인다. 둘째, 각 로봇이 이동하는 경로가 겹치지 않도록 설계되어, 어느 시점에서도 미방문 노드가 남아 있으면 적어도 한 로봇이 그 노드로 이동한다는 ‘완전성(coverage)’을 증명한다.

결과적으로, 이 논문은 그리드 탐색 문제에서 로봇 수에 대한 하한과 상한을 정확히 일치시켜, 일반적인 그리드에서는 3대, (2,2)에서는 4대, (3,3)에서는 5대 로봇이 필요하고 충분함을 보여준다. 이는 동일한 제약 조건 하에서 링 탐색에 비해 그리드 탐색이 더 쉬운 구조적 특성을 가지고 있음을 시사한다. 또한, 강한 multiplicity detection을 가정한 불가능성 결과와 약한 multiplicity detection을 이용한 실제 알고리즘을 동시에 제시함으로써 모델 간 차이를 명확히 구분한다.