전 세계를 연결하는 새로운 소문 전파: 전도성에 무관한 초고속 가십 알고리즘

초록

이 논문은 GOSSIP 모델에서 모든 노드가 서로의 정보를 수집하는 정보 전파 문제를, 그래프의 전도성(Conductance)에 의존하지 않고 직경 D와 다항 로그 (polylog n)만큼의 라운드로 해결한다. 핵심은 NeighborExchange를 O(log³ n) 라운드에 수행하는 Superstep 서브루틴이며, 이를 이용해 LOCAL 모델의 알고리즘을 GOSSIP 모델에서 O(T + polylog n) 시간에 시뮬레이션한다. 결과적으로 GOSSIP과 LOCAL 모델은 라운드 복잡도 면에서 본질적으로 동등함을 보인다.

상세 분석

논문은 먼저 GOSSIP 모델의 제한을 명확히 정의한다. 각 라운드마다 노드당 하나의 이웃과만 양방향 통신이 가능하고, 전역 토폴로지를 알 수 없다는 점이 핵심 제약이다. 기존 연구는 주로 UniformGossip, 즉 매 라운드마다 무작위 이웃을 선택하는 방식에 의존했으며, 그 수렴 속도는 그래프의 전도성 φ에 비례하는 O(φ⁻¹·log n) 로 제한되었다. 전도성이 낮은 그래프, 예를 들어 병목이 존재하는 경우에는 O(n)에 가까운 라운드가 필요했다.

이 논문은 이러한 전도성 의존성을 완전히 없애는 알고리즘을 제시한다. 핵심 아이디어는 “NeighborExchange” 문제를 해결하는 Superstep 서브루틴이다. Superstep은 로그³ n 라운드 동안 UniformGossip을 반복하고, 각 반복 후에 메시지 교환을 역전시켜 대칭성을 유지한다. 고전도성 클러스터 내부에서는 한 번의 반복만으로 모든 이웃 쌍이 서로의 메시지를 교환한다는 기존 결과(예: