[논문 리뷰] Anonymous Meeting in Networks

Yoann Dieudonné, Andrzej Pelc|arXiv (Cornell University)|2011. 11. 01.

Optimization and Search Problems참고 문헌 58인용 수 6

한 줄 요약

이 논문은 네트워크의 임의의 그래프에서 익명 이동 에이전트의 결정론적 집합 문제를 해결하기 위해 모든 집합 가능한 구성 조건을 특성화하고, 두 가지 유니버설 알고리즘을 제시한다: 네트워크 크기의 상한이 알려진 경우 탐지 기능이 있는 알고리즘과, 그러한 상한이 존재하지 않을 경우 탐지 기능이 없는 알고리즘. 주요 기여는 집합 가능한 구성의 완전한 특성화와, 임의의 그래프에서 익명 에이전트의 리더 선출을 가능하게 하는 유니버설 솔루션이다.

ABSTRACT

A team consisting of an unknown number of mobile agents, starting from different nodes of an unknown network, possibly at different times, have to meet at the same node. Agents are anonymous (identical), execute the same deterministic algorithm and move in synchronous rounds along links of the network. Which configurations are gatherable and how to gather all of them deterministically by the same algorithm? We give a complete solution of this gathering problem in arbitrary networks. We characterize all gatherable configurations and give two universal deterministic gathering algorithms, i.e., algorithms that gather all gatherable configurations. The first algorithm works under the assumption that an upper bound n on the size of the network is known. In this case our algorithm guarantees gathering with detection, i.e., the existence of a round for any gatherable configuration, such that all agents are at the same node and all declare that gathering is accomplished. If no upper bound on the size of the network is known, we show that a universal algorithm for gathering with detection does not exist. Hence, for this harder scenario, we construct a second universal gathering algorithm, which guarantees that, for any gatherable configuration, all agents eventually get to one node and stop, although they cannot tell if gathering is over. The time of the first algorithm is polynomial in the upper bound n on the size of the network, and the time of the second algorithm is polynomial in the (unknown) size itself. Our results have an important consequence for the leader election problem for anonymous agents in arbitrary graphs. For anonymous agents in graphs, leader election turns out to be equivalent to gathering with detection. Hence, as a by-product, we obtain a complete solution of the leader election problem for anonymous agents in arbitrary graphs.

연구 동기 및 목표

• 익명 이동 에이전트의 초기 구성 조건 중 결정론적 집합이 가능한 모든 조건을 특성화하기 위해.
• 임의의 네트워크에서 모든 집합 가능한 구성 조건을 집합하는 유니버설 결정론적 알고리즘을 설계하기 위해.
• 네트워크 크기의 사전 지식이 없을 경우, 완료를 탐지할 수 없는 상황에서의 집합 문제에 도전하기 위해.
• 익명 에이전트의 임의의 그래프에서 탐지 기능이 있는 집합과 리더 선출 간의 등가성을 확립하기 위해.
• 집합 프레임워크를 사용하여 익명 에이전트의 임의의 네트워크에서 리더 선출 문제에 대한 완전한 솔루션을 제공하기 위해.

제안 방법

• 에이전트의 이동 패턴과 네트워크의 대칭성에 기반한 집합 가능한 구성 조건의 특성화를 제안하고, 핵심 기준으로서 조건 G를 도입한다.
• 네트워크 크기의 상한 $N$ 이 알려진 상황을 대비해 알고리즘 Gathering-with-Detection를 설계하여, 에이전트가 공통의 노드에 집결하고 완료를 탐지하도록 보장한다.
• 상한이 알려져 있지 않은 상황을 대비해 알고리즘 Gathering-without-Detection를 설계하여, 최종적으로 집결은 보장하지만 완료 탐지 기능은 제공하지 않는다.
• 이중 단계 접근법을 사용: 먼저, 토큰(리더)를 찾기 위해 수정된 EXPLO(n) 절차를 사용해 네트워크를 탐색하고, 그 후 EST를 사용해 지도와 크기를 학습한다.
• 만남 지점에서 메모리가 다른 에이전트들이 대칭성을 깰 수 있음을 활용하여, 완료 탐지 후 한 라운드에서 메모리 비교를 통해 리더 선출을 가능하게 한다.
• 집합과 탐지 간의 등가성을 증명하기 위해, 두 문제 간의 왕복 변환 기법을 사용한다.

실험 결과

연구 질문

• RQ1 임의의 네트워크에서 익명 이동 에이전트의 초기 구성 조건 중 결정론적 알고리즘으로 집합 가능한 것은 무엇인가?
• RQ2 에이전트의 시작 위치와 네트워크 구조에 관계없이, 임의의 네트워크에서 모든 집합 가능한 구성 조건을 집합할 수 있는 단일 유니버설 알고리즘이 존재하는가?
• RQ3 네트워크 크기의 상한이 알려져 있지 않은 상황에서, 탐지 기능이 있는 유니버설 집합 알고리즘을 설계할 수 있는가?
• RQ4 익명 에이전트의 임의의 그래프에서 집합과 리더 선출의 계산 복잡도는 얼마인가?
• RQ5 집합 프레임워크를 사용하여 익명 에이전트의 임의의 그래프에서 결정론적으로 리더 선출을 어떻게 달성할 수 있는가?

주요 결과

• 조건 G를 만족하는 모든 초기 구성 조건은 집합 가능하며, 본 논문은 이러한 구성 조건에 대한 완전한 특성화를 제공한다.
• 네트워크 크기의 상한 $N$ 이 알려져 있을 경우, 탐지 기능이 있는 유니버설 집합 알고리즘이 존재하며, 이는 $N$ 에 대해 다항 시간 내에 종료된다.
• 네트워크 크기의 상한이 알려져 있지 않을 경우, 완료를 탐지할 수 있는 유니버설 집합 알고리즘은 존재하지 않으며, 이는 크기 지식이 없을 경우 완료 탐지의 본질적 한계 때문이 다.
• 크기 지식이 없는 경우를 대비해 탐지 기능이 없는 두 번째 유니버설 집합 알고리즘이 존재하며, 이는 네트워크의 실제 크기의 다항 시간 내에 종료된다.
• 탐지 기능이 있는 집합과 리더 선출 간의 등가성이 공식적으로 증명되었다: 두 문제는 동일한 구성 조건 클래스에서 해결 가능하다.
• 네트워크 크기의 상한이 알려져 있을 경우, Gathering-with-Detection 알고리즘에서 집합 후 한 라운드에서 메모리 비교를 사용함으로써 유니버설 리더 선출 알고리즘을 유도할 수 있다.