익명 에이전트를 위한 완전한 모임과 리더 선출 알고리즘

초록

이 논문은 익명 모바일 에이전트들이 알 수 없는 그래프에서 서로 다른 시점에 깨어나도 하나의 정점에 모일 수 있는 조건을 완전히 규명한다. 네트워크 크기 상한 N을 아는 경우와 모르는 경우 두 가지 시나리오에 대해 각각 ‘검출 가능한 모임’과 ‘검출 불가능하지만 최종 정지하는 모임’ 알고리즘을 제시하고, 이들 알고리즘이 다항 시간 내에 동작함을 증명한다. 또한 익명 에이전트의 리더 선출 문제와 모임 문제의 동치성을 보여, 리더 선출에 대한 완전한 해답도 동시에 제공한다.

상세 분석

본 연구는 익명 에이전트가 포트 번호만을 이용해 이동하고, 메모리는 무제한이며, 동기식 라운드에서만 행동한다는 전통적인 무표시 그래프 모델을 채택한다. 핵심 난제는 초기 배치가 완전히 대칭적일 경우 어떤 결정론적 알고리즘도 모든 에이전트를 하나의 정점에 모이게 할 수 없다는 점이다. 이를 극복하기 위해 저자들은 ‘강화된 뷰(enhanced view)’라는 개념을 도입한다. 강화된 뷰는 한 에이전트가 자신의 위치에서 시작해 무한히 확장되는 포트 시퀀스 트리를 구성하고, 그 트리의 각 노드에 다른 에이전트의 존재 여부를 0/1 값으로 표시한다. 두 에이전트의 강화된 뷰가 서로 다르면 초기 배치에 비대칭성이 존재한다는 증거가 되며, 이는 모임이 가능함을 의미한다. 반대로 모든 에이전트가 동일한 강화된 뷰를 가질 경우, 어떠한 결정론적 절차도 대칭을 깨뜨릴 수 없으므로 모임은 불가능하다. 따라서 ‘모임 가능성(gatherable)’은 “모든 에이전트가 동일한 강화된 뷰를 갖지 않는다”는 간단한 조건으로 완전하게 특성화된다.

알고리즘 설계는 두 단계로 나뉜다. 첫 번째 단계에서는 각 에이전트가 자신의 강화된 뷰를 계산하기 위해 ‘SIGN(N)’ 절차를 실행한다. 이 절차는 알려진 상한 N에 대해 다항 시간 내에 그래프 전체를 탐색하고, 각 정점에 고유한 ‘시그니처’를 부여한다. 시그니처는 동일한 뷰를 가진 정점들을 구분하는 역할을 하며, 에이전트는 자신의 시그니처를 통해 다른 에이전트와 차별화된 행동을 선택한다. 두 번째 단계에서는 ‘EXPLO(N)’(상한이 있는 경우) 혹은 ‘EST’(상한이 없는 경우) 탐색 절차와, 기존 연구의 ‘TZ(ℓ)’(라벨 기반 두 에이전트 모임) 절차를 적절히 변형하여 사용한다. 상한이 있는 경우, 모든 에이전트는 동일한 탐색 경로를 따라 이동하면서 서로의 메모리를 교환하고, 어느 순간 모든 메모리가 동일해지면 ‘모임 검출(gathering with detection)’이 성립한다. 상한이 없을 때는 탐색이 무한히 진행될 위험이 있기 때문에, 에이전트들은 일정 시간마다 현재 위치에서 ‘토큰’ 역할을 하는 다른 에이전트 집단을 찾고, 그 집단과 합쳐서 새로운 ‘슈퍼 에이전트’를 형성한다. 이렇게 하면 결국 모든 에이전트가 하나의 정점에 모이지만, 그 시점에 모임이 완료됐는지 여부를 판단할 수는 없다. 두 알고리즘 모두 실행 시간이 각각 O(poly(N))와 O(poly(n))이며, 여기서 n은 실제 그래프 크기이다.

또한 논문은 익명 에이전트 환경에서 리더 선출 문제와 모임 문제의 동치성을 증명한다. 리더 선출은 ‘모임 검출’이 가능한 경우에만 실현 가능하며, 반대로 모임 검출이 가능한 경우에는 모든 에이전트가 동일한 정점에 모인 뒤 하나의 에이전트를 리더로 지정할 수 있다. 따라서 제시된 두 알고리즘은 리더 선출에도 바로 적용될 수 있다. 이와 같은 결과는 기존 연구에서 라벨이 있는 에이전트나 노드에 라벨이 있는 경우에만 다루어졌던 문제들을, 완전히 익명인 상황까지 일반화한 최초의 완전 해답이라 할 수 있다.