비동기 결정적 만남 문제와 제한된 지형 탐색

초록

두 로봇이 미지의 다각형 지형(장애물 포함) 안에서 서로 만나기 위해, 컴퍼스 방향이 일치하지 않을 수도 있고 지도 정보가 없을 수도 있는 상황을 고려한다. 로봇이 설계한 경로를 따라 움직이는 실제 속도와 정지는 적대적 환경에 의해 자유롭게 조절되지만, 각 구간을 연속적으로 완전히 탐색해야 한다. 논문은 장애물 유무, 컴퍼스 일치 여부, 지도 보유 여부라는 세 가지 이진 변수에 따라 8가지 경우를 나누어, 각각에 대해 결정론적 알고리즘을 제시하고 최악‑case 이동 거리의 상한과 하한을 증명한다. 모든 경우에 제시된 상한과 하한이 일치함을 보이며, 제시된 비용이 최적임을 입증한다.

상세 요약

이 논문은 이동 로봇이 사전 정보가 거의 없는 제한된 다각형 영역 안에서 비동기적으로 만나야 하는 ‘rendezvous’ 문제를 체계적으로 분석한다. 먼저 지형을 단순 다각형 혹은 다각형 장애물 집합이 포함된 다중다각형으로 모델링하고, 각 로봇을 점 형태의 에이전트로 가정한다. 두 로봇은 나침반을 장착하지만, 서로 다른 방향을 가리킬 수 있어 좌표계가 일치하지 않을 수도 있다. 또한 로봇은 지도(전체 지형과 자신의 초기 위치가 표시된)를 가질 수도, 전혀 가질 수 없을 수도 있다. 이러한 불확실성을 반영해 로봇이 설계한 경로는 미리 정해져 있으나, 실제 이동은 적대적 스케줄러에 의해 임의의 속도, 정지, 뒤로 걷기가 허용된다. 단, 각 경로 구간을 연속적으로 완전하게 커버해야 하며, 구간을 벗어나서는 안 된다.

논문은 세 가지 이진 변수(장애물 존재 여부, 나침반 일치 여부, 지도 보유 여부)를 조합해 8가지 시나리오를 정의한다. 각 시나리오마다 결정론적 알고리즘을 설계하고, 그 비용을 ‘두 로봇이 만날 때까지 이동한 거리의 최악‑case 합’으로 측정한다. 예를 들어, 장애물이 없고 나침반이 일치하며 지도도 없는 경우, 로봇은 원점에서 일정 각도로 회전하며 원형 경로를 그리도록 설계한다. 이때 두 로봇은 서로 다른 시작점에서도 일정 시간 안에 동일한 원을 공유하게 되므로, 최악‑case 비용은 지형 지름의 2배 이하로 제한된다.

장애물이 존재하고 나침반이 불일치하는 경우에는, 로봇이 장애물의 경계를 따라 탐색하면서 동시에 방위 보정을 수행하도록 한다. 여기서는 ‘가장 긴 최단 경로(L*)’를 기준으로 비용을 분석하며, 알고리즘은 L에 비례하는 거리만큼 이동하면 반드시 만나게 된다. 지도 정보를 가진 경우에는, 로봇이 자신의 위치와 목표 지점을 정확히 계산해 직접적인 최단 경로를 따라 움직이게 함으로써 비용을 O(L)로 감소시킨다.

각 알고리즘에 대해 논문은 하한을 구성하는 adversarial 인스턴스를 제시한다. 예를 들어, 지도 없이 나침반이 불일치하고 장애물이 있는 경우, 두 로봇이 서로 반대 방향을 바라보는 상황을 만들면, 어느 로봇도 상대를 찾기 위해 최소한 지형 전체를 탐색해야 하므로 비용 하한은 Ω(L*)가 된다. 이렇게 제시된 하한과 설계된 알고리즘의 상한이 일치함을 증명함으로써, 모든 시나리오에서 제시된 비용이 최적임을 보인다.

핵심 기여는 (1) 비동기적·적대적 움직임 모델을 정식화하고, (2) 8가지 경우 각각에 대해 결정론적이고 구현 가능한 rendezvous 알고리즘을 제공하며, (3) 상한·하한을 정확히 맞추어 비용 최적성을 입증한 점이다. 특히, 지도 유무와 나침반 일치 여부가 비용에 미치는 영향을 정량적으로 분석함으로써, 실세계 로봇 시스템 설계 시 어떤 센서와 사전 정보를 확보해야 효율적인 만남을 보장할 수 있는지에 대한 이론적 지침을 제공한다.