[논문 리뷰] Deterministic gathering of anonymous agents in arbitrary networks

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

Optimization and Search Problems참고 문헌 31인용 수 5

한 줄 요약

이 논문은 초기 위치나 시작 시간에 관계없이 임의의 네트워크에서 익명 이동 에이전트를 수집하기 위한 두 가지 보편적인 결정론적 알고리즘을 제시한다. 첫 번째 알고리즘은 네트워크 크기의 상한선이 필요하며 다항 시간 내에 실행된다. 두 번째 알고리즘은 그러한 지식이 없이도 작동하며 실제 네트워크 크기와 다항 시간 내에 실행된다. 이 해결책은 모든 수집 가능한 구성(configuration)을 완전히 특성화하고, 임의의 그래프에서 익명 에이전트의 리더 선출 문제를 해결한다.

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. The second one works under the assumption that no upper bound n on the size of the network is known. 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, we also obtain a complete solution of the leader election problem for anonymous agents in arbitrary graphs.

연구 동기 및 목표

• 임의의 네트워크에서 익명 에이전트의 구성 중 어떤 것이 결정론적으로 수집 가능한지를 규명하는 것.
• 모든 수집 가능한 구성에 대해 작동하는 보편적인 결정론적 수집 알고리즘을 설계하는 것.
• 네트워크 크기의 상한선이 있는지 여부에 따라 두 가지 다른 가정 하에서 수집 문제를 다루는 것.
• 익명 에이전트의 임의의 그래프에서 리더 선출과 수집(감지 기능 포함) 간의 동치성을 확립하는 것.

제안 방법

• 네트워크 크기의 상한선 n이 존재한다고 가정하는 보편적 수집 알고리즘을 제안하며, 동기화된 라운드 기반 접근 방식을 사용한다.
• 네트워크 크기의 상한선에 대한 지식이 없이도 작동하는 두 번째 보편적 알고리즘을 설계하며, 자기 검증 및 탐색 전략에 의존한다.
• 깊이 우선 탐색 유사 탐색과 에이전트 행동에서 유도된 고유 식별자를 조합하여 단일 노드로 수렴을 보장한다.
• 모든 에이전트가 모였을 때를 확인하기 위한 감지 메커니즘을 도입하여 알고리즘의 종료를 가능하게 한다.
• 네트워크의 구조적 특성과 에이전트 이동 패턴을 이용해 수집 가능한 모든 구성의 특성화를 수행한다.
• 알고리즘이 정확하고 효율적임을 증명하며, 네트워크 크기(또는 그 상한선)에 대해 다항 시간 복잡도를 가진다.

실험 결과

연구 질문

• RQ1 임의의 네트워크에서 익명 에이전트의 어떤 구성이 결정론적으로 수집 가능한가?
• RQ2 초기 위치와 시작 시간에 관계없이 모든 수집 가능한 구성에 대해 작동하는 단일 결정론적 알고리즘이 존재하는가?
• RQ3 네트워크 크기의 상한선이 알려져 있을 때와 알려져 있지 않을 때 수집의 시간 복잡도는 각각 어떻게 되는가?
• RQ4 결정론적 수집이 익명 에이전트 시스템에서 리더 선출과 어떻게 관련이 있는가?
• RQ5 네트워크 크기의 상한선이 있는지 여부에 관계없이 모두 작동하는 보편적인 수집 알고리즘을 구성할 수 있는가?

주요 결과

• 임의의 네트워크에서 익명 에이전트의 수집 가능한 모든 구성은 네트워크의 구조적 특성과 대칭성, 그리고 에이전트 이동 패턴에 의해 완전히 특성화된다.
• 네트워크 크기의 상한선 n이 존재한다고 가정하는 보편적인 결정론적 수집 알고리즘이 존재하며, 이는 n에 대해 다항 시간 복잡도를 가진다.
• 네트워크 크기의 상한선에 대한 지식이 없이도 작동하는 또 다른 보편적인 결정론적 수집 알고리즘이 존재하며, 이는 실제 네트워크 크기와 다항 시간 복잡도를 가진다.
• 논문은 익명 에이전트의 임의의 그래프에서 리더 선출이 수집(감지 기능 포함)과 동치임을 입증하여, 리더 선출 문제를 완전히 해결한다.
• 제안된 알고리즘은 초기 위치, 시작 시간, 네트워크 토폴로지에 관계없이 모든 에이전트가 단일 노드로 결정론적으로 모임을 보장한다.