동적 네트워크에서 최적의 리더 선출: O(D·log n) 라스베가 알고리즘

초록

본 논문은 노드 삽입·삭제와 토폴로지 변동을 무제한으로 허용하는 동적 네트워크에서, 라스베가형 무작위 알고리즘을 이용해 O(D·log n) 라운드 안에 리더를 (재)선출함을 보인다. 여기서 D는 동적 통신 지름, n은 네트워크 내 최대 노드 수이다. 또한 어떠한 라스베가 알고리즘도 Ω(D·log n) 라운드 이하로는 종료할 수 없음을 증명해 상한선이 최적임을 확인한다.

상세 분석

이 논문은 동적 네트워크 모델을 매우 현실적인 수준으로 설계하였다. 네트워크는 무한히 긴 그래프 시퀀스 G₁,G₂,… 로 표현되며, 각 라운드마다 노드와 에지가 임의로 바뀔 수 있다. 중요한 가정은 ‘통신 지름 D’이다. 즉, 라운드 r에 어떤 노드 u가 메시지를 플러딩하기 시작하면, r+D 라운드 안에 u와 연결된 모든 현재 살아있는 노드가 그 메시지를 받는다. 이 가정은 비대칭적이며, u가 사라진 뒤에도 v는 메시지를 받을 수 있다는 점에서 기존의 무방향 동적 지름 개념과 차별화된다.

전송 모델은 브로드캐스트이며, 라운드당 한 개의 O(log n) 비트 메시지만 전송 가능하고, 송신자는 수신자를 사전에 알 수 없다. 이는 모바일 무선 ad‑hoc 네트워크의 MAC 계층을 추상화한 것으로, 충돌을 피하기 위해 추상 MAC 레이어(예: