비동기 환경에서 거의 모든 곳에서 만나는 방법

초록

두 로봇이 라벨만을 이용해 무한하거나 미지의 그래프 혹은 평면 영역에서 비동기 적대자에 방해받아도 반드시 만나게 하는 결정적 알고리즘을 제시한다

상세 요약

문제 설정은 두 에이전트가 서로 다른 고유 라벨을 가지고 임의의 연결 그래프 혹은 경로가 연결된 평면 영역에 놓인 상황을 가정한다 라벨과 환경 정보만을 이용해 각 에이전트는 사전에 정해진 경로를 계산한다 이때 실제 이동은 비동기 적대자에 의해 속도가 임의로 변하고 심지어 뒤로 움직일 수도 있다 단 적대자는 각 경로 구간을 연속적으로 따라가며 그 구간을 완전히 탐색하도록 강제한다 이러한 강력한 모델에서도 두 에이전트가 동시에 같은 정점 혹은 같은 간선 위의 점에 도달하도록 보장하는 것이 핵심 목표이다

저자들은 먼저 무한 그래프와 유한 그래프를 모두 포함하는 익명 그래프 모델을 고려한다 그래프는 라벨이 없으므로 에이전트는 자신의 라벨을 기준으로 탐색 순서를 결정한다 구체적으로 라벨을 이진수로 해석해 그 비트 패턴에 따라 깊이 우선 탐색과 너비 우선 탐색을 교차시키는 스케줄을 만든다 이 스케줄은 모든 가능한 정점에 무한히 반복적으로 방문하도록 설계된다 따라서 적대자가 어떠한 지연을 가하더라도 두 에이전트는 결국 같은 정점에 동시에 도달한다는 보장이 얻어진다

평면 영역에 대해서는 닫힌 영역이며 내부가 경로 연결된 경우를 가정한다 시작점은 유리 좌표를 갖는 내부 점으로 제한한다 이는 에이전트가 정확히 재현 가능한 격자 기반 경로를 설계할 수 있게 한다 저자들은 먼저 영역을 격자망으로 근사하고 각 격자 셀을 순회하는 헬리컬 패턴을 정의한다 이 패턴은 모든 셀을 무한히 반복 방문한다 동시에 두 에이전트는 서로 다른 시작 셀에서 동일한 헬리컬 순서를 따라가며 셀 중심을 목표점으로 삼는다 적대자는 셀 내부에서의 움직임을 방해할 수 있지만 셀 전체를 탐색하도록 강제되므로 결국 두 에이전트는 같은 셀 안의 동일한 점에 동시에 도달한다

또한 저자들은 위 알고리즘이 “거의 모든 곳”에서 만남을 보장한다는 점을 강조한다 즉, 특정 pathological 한 경우(예를 들어 무한 트리의 특정 가지)에서는 정확한 동시 위치를 보장하지 못하지만 두 에이전트 사이의 거리는 임의로 작은 값으로 수렴한다 이는 근사 랭데뷰(approximate rendezvous)라 부른다

마지막으로 제한 조건의 필요성을 증명한다 라벨이 동일하거나 시작점이 비유리 좌표인 경우, 혹은 영역이 경로 연결되지 않은 경우에는 어떠한 결정적 알고리즘도 보장을 할 수 없음을 반례를 통해 보여준다