[논문 리뷰] Information Spreading in Dynamic Networks

Chinmoy Dutta, Gopal Pandurangan외 2명|arXiv (Cornell University)|2011. 12. 02.

Distributed systems and fault tolerance참고 문헌 38인용 수 10

한 줄 요약

이 논문은 적응적 적대자에 대비하여 동적 네트워크에서 k-가즈프를 해결하기 위해 필요한 라운드 수에 대해 어떤 결정적 온라인 토큰 포워딩 알고리즘에도 Ω(nk/log n)의 하한을 설정하며, 이는 알려진 O(nk) 상한과 로그 인자 내에서 일치한다. 또한 하위평방 시간을 달성하는 효율적인 오프라인 토큰 포워딩 알고리즘을 제시하며, 각 에지당 O(log n)의 토큰 전송 수를 갖는 O(n^ε)-근사 알고리즘을 포함한다.

ABSTRACT

We study the fundamental problem of information spreading (also known as gossip) in dynamic networks. In gossip, or more generally, $k$-gossip, there are $k$ pieces of information (or tokens) that are initially present in some nodes and the problem is to disseminate the $k$ tokens to all nodes. The goal is to accomplish the task in as few rounds of distributed computation as possible. The problem is especially challenging in dynamic networks where the network topology can change from round to round and can be controlled by an on-line adversary. The focus of this paper is on the power of token-forwarding algorithms, which do not manipulate tokens in any way other than storing and forwarding them. We first consider a worst-case adversarial model first studied by Kuhn, Lynch, and Oshman~\cite{kuhn+lo:dynamic} in which the communication links for each round are chosen by an adversary, and nodes do not know who their neighbors for the current round are before they broadcast their messages. Our main result is an $Ω(nk/\log n)$ lower bound on the number of rounds needed for any deterministic token-forwarding algorithm to solve $k$-gossip. This resolves an open problem raised in~\cite{kuhn+lo:dynamic}, improving their lower bound of $Ω(n \log k)$, and matching their upper bound of $O(nk)$ to within a logarithmic factor. We next show that token-forwarding algorithms can achieve subquadratic time in the offline version of the problem where the adversary has to commit all the topology changes in advance at the beginning of the computation, and present two polynomial-time offline token-forwarding algorithms. Our results are a step towards understanding the power and limitation of token-forwarding algorithms in dynamic networks.

연구 동기 및 목표

• 각 라운드마다 적대적으로 변화하는 네트워크 구조를 가진 동적 네트워크에서 토큰 포워딩 알고리즘의 기본 한계를 이해하는 것.
• Kuhn, Lynch, 및 Oshman의 적대적 모델에서 결정적 온라인 토큰 포워딩 알고리즘의 최적 라운드 복잡도를 규명하는 열린 문제를 해결하는 것.
• 적대자가 모든 네트워크 구조 변화를 사전에 확정하는 오프라인 환경에서 토큰 포워딩의 능력을 탐색하는 것.
• 오프라인 동적 네트워크에서 k-가즈프에 대해 하위평방 시간 복잡도를 달성하는 효율적인 알고리즘을 설계하는 것.
• 오프라인 토큰 포워딩 알고리즘에서 라운드 복잡도와 통신 비용(에지당 토큰 전송 수) 사이의 트레이드오프를 분석하는 것.

제안 방법

• 적대자가 각 라운드의 난수를 관찰할 수 있는 적응적 적대자에 대비하여, 어떤 결정적 온라인 토큰 포워딩 알고리즘에도 Ω(nk/log n)의 하한을 증명한다.
• 중앙집중식이고 전역 지식 기반의 추론을 사용하여, 토큰 분포를 완전히 파악하고 있더라도 하한이 유지됨을 보인다.
• 통신 스케줄을 모델링하기 위해 스티너 트리의 시퀀스를 사용하는 오프라인 알고리즘을 제안하며, 이는 선형계획법(LP) 근사와 난수 라운딩을 통해 구성된다.
• 문제 F(P)와 유사한 집합 커버 문제에 대해 O(n^ε)-근사 알고리즘을 적용하여 스케줄의 라운드 수를 줄인다.
• Chernoff 한계를 적용하여 난수 라운딩 단계에서 각 에지가 라운드당 O(log n)개 이하의 토큰을 전송할 확률이 높다는 것을 보인다.
• 결과로 얻어진 스티너 트리 집합을 기존의 변환 방법(Corollary 10)을 사용하여 유효한 토큰 전파 스케줄로 변환한다.

실험 결과

연구 질문

• RQ1 적응적 적대자에 대비하여 동적 네트워크에서 k-가즈프를 해결하기 위해 필요한 결정적 온라인 토큰 포워딩 알고리즘의 최적 라운드 복잡도는 무엇인가?
• RQ2 적대자가 각 라운드에서 알고리즘의 난수 선택을 알고 있는 상황에서, 난수 기반 온라인 토큰 포워딩 알고리즘이 하위평방 시간 복잡도를 달성할 수 있는가?
• RQ3 오프라인 토큰 포워딩 알고리즘에서 라운드 복잡도와 통신 비용(에지당 토큰 수) 사이의 최선의 트레이드오프는 무엇인가?
• RQ4 적대자가 모든 네트워크 구조 변화를 사전에 확정하는 조건에서, 효율적인 오프라인 토큰 포워딩 알고리즘이 k-가즈프에 대해 하위평방 시간 복잡도를 달성할 수 있는가?
• RQ5 동적 네트워크에서 토큰 포워딩의 이론적 한계는 네트워크 코딩의 한계와 어떻게 비교되는가?

주요 결과

• 논문은 Kuhn, Lynch, 및 Oshman의 연구에서 열려 있던 문제를 해결하며, 적대적 모델에서 k-가즈프를 해결하기 위해 어떤 결정적 온라인 토큰 포워딩 알고리즘에도 Ω(nk/log n)의 날카운 하한을 설정한다.
• 이 하한은 알려진 O(nk) 상한과 로그 인자 내에서 일치하므로, 온라인 적대적 환경에서 토큰 포워딩 알고리즘이 상당히 하위평방 성능을 달성할 수 없다는 것을 보여준다.
• 이 하한은 적대자가 각 라운드의 난수를 관찰할 수 있는 적응적 상황에서도 랜덤화 알고리즘에 대해서도 적용 가능하다.
• 오프라인 토큰 포워딩 알고리즘은 O(min{nk, n√(k log n)})라운드를 달성하며, 네트워크 변화가 사전에 알려져 있을 경우 하위평방 시간이 가능함을 보여준다.
• O(n^ε L)라운드 내에서 실행되며, 높은 확률로 각 에지당 O(log n)개의 토큰 전송을 보장하는 이중 기준 근사 알고리즘을 제시한다. 여기서 L은 최적의 라운드 수이다.
• 오프라인 알고리즘에서 사용된 난수 라운딩 기법은 어떤 에지에서도 O(log n)를 초과하는 토큰 전송이 발생할 확률이 최대 1/n^{log log n} 이하임을 보장하여, 통신 비용에 대한 고확률 경계를 보장한다.