[논문 리뷰] Construction and impromptu repair of an MST in a distributed network with o(m) communication

Valerie King, Shay Kutten외 1명|arXiv (Cornell University)|2015. 02. 11.

Distributed systems and fault tolerance참고 문헌 26인용 수 7

한 줄 요약

이 논문은 분산 네트워크에서 최소 스패닝 트리(MST)와 스패닝 트리(ST)를 구성하기 위한 몬테카를로 알고리즘을 제시하며, 오랜 기간 동안 널리 공인된 '민간 정리'(folk theorem)인 Ω(m) 메시지가 필요하다는 믿음을 뒤집는다. 동기식 CONGEST 모델에서 MST의 경우 O(n log²n / log log n) 메시지, ST의 경우 O(n log n) 메시지를 사용한다. 간선 갱신 후 MST/ST를 즉각적으로 복구할 수 있으며, 삭제의 경우 O(n log n / log log n)의 기대 메시지, 삽입의 경우 O(n)의 메시지를 사용한다. 사전 처리나 보조 저장소 없이도 가능하다.

ABSTRACT

In the CONGEST model, a communications network is an undirected graph whose $n$ nodes are processors and whose $m$ edges are the communications links between processors. At any given time step, a message of size $O(\log n)$ may be sent by each node to each of its neighbors. We show for the synchronous model: If all nodes start in the same round, and each node knows its ID and the ID's of its neighbors, or in the case of MST, the distinct weights of its incident edges and knows $n$, then there are Monte Carlo algorithms which succeed w.h.p. to determine a minimum spanning forest (MST) and a spanning forest (ST) using $O(n \log^2 n/\log\log n)$ messages for MST and $O(n \log n )$ messages for ST, resp. These results contradict the "folk theorem" noted in Awerbuch, et.al., JACM 1990 that the distributed construction of a broadcast tree requires $Ω(m)$ messages. This lower bound has been shown there and in other papers for some CONGEST models; our protocol demonstrates the limits of these models. A dynamic distributed network is one which undergoes online edge insertions or deletions. We also show how to repair an MST or ST in a dynamic network with asynchronous communication. An edge deletion can be processed in $O(n\log n /\log \log n)$ expected messages in the MST, and $O(n)$ expected messages for the ST problem, while an edge insertion uses $O(n)$ messages in the worst case. We call this "impromptu" updating as we assume that between processing of edge updates there is no preprocessing or storage of additional information. Previous algorithms for this problem that use an amortized $o(m)$ messages per update require substantial preprocessing and additional local storage between updates.

연구 동기 및 목표

• 분산 네트워크에서 스패닝 트리 또는 MST를 구성하기 위해 Ω(m) 메시지가 필수적이라는 널리 퍼진 믿음을 도전하기 위해.
• 동기식 CONGEST 모델에서 MST 및 ST 구성에 대해 o(m) 메시지 복잡도를 달성하는 효율적이고 무작위적인 알고리즘을 설계하기 위해.
• 업데이트 사이에 사전 처리나 보조 저장소 없이도 간선 삽입 또는 삭제 후 MST 및 ST를 동적으로 즉각적으로 복구할 수 있도록 하기 위해.
• 무작위화가 동적 그래프 알고리즘에서 지속적인 이력 추적을 대체할 수 있으며, 최악의 경우 각 업데이트에 대해 o(m)의 통신 비용을 줄일 수 있음을 보여주기 위해.

제안 방법

• 스트리밍 방식의 기법을 분산 환경에 적응시켜, 무작위 간선 선택을 통해 메시지 복잡도를 감소시킨다.
• 각 단계에서 MST의 경우 최소 무게 간선을, ST의 경우 임의의 외부 간선을 무작위 선택하는 수정된 Boruvka 방식을 사용한다.
• 리더 선거를 통한 사이클 탐지 메커니즘을 활용하여 ST 구성 중 발생하는 사이클을 식별하고 제거한다.
• 확률적 언마킹 프로토콜을 도입하여 사이클에 속한 노드들이 인cidnet 간선 중 하나를 무작위로 제거함으로써, 높은 확률로 사이클 제거를 보장한다.
• 계층적이고 무작위적인 병합 과정을 적용하여 각 단계에서 조각 수를 감소시키며, 조각 수 감소의 로그적 감소 특성을 활용한다.
• 동적 복구를 위한 하이브리드 접근 방식을 사용한다: 간선 삭제 시, 무작위 조율를 통한 FindAny 또는 FindMin 연산을 사용하여 복구 프로토콜을 시작하며, 지속적인 데이터 구조를 피한다.

실험 결과

연구 질문

• RQ1 CONGEST 모델에서 스패닝 트리를 o(m) 메시지로 구성할 수 있는가? 이는 오랫동안 알려진 Ω(m) 하한선을 위반하는가?
• RQ2 누적 분석이나 보조 저장소에 의존하지 않고도 MST 구성에 대해 o(m) 메시지 복잡도를 달성할 수 있는가?
• RQ3 사전 처리나 지속적인 데이터 구조 없이도, 최악의 경우 각 업데이트에 대해 o(m) 메시지 복잡도로 동적 MST/ST 복구가 가능한가?
• RQ4 무작위화가 동적 그래프 알고리즘에서 이력 추적을 대체할 수 있으며, Ω(m) 이하의 통신 복잡도를 가능하게 하는가?
• RQ5 MST 구성의 메시지 복잡도를 ST 구성 수준으로 낮출 수 있는가? 즉, O(n log²n / log log n)에서 O(n log n / log log n)로 줄일 수 있는가?

주요 결과

• 논문은 O(n log²n / log log n) 메시지와 O(n log n / log log n) 시간으로 MST를 구성하며, 동기식 CONGEST 모델에서 o(m) 통신을 달성한다.
• ST 구성의 경우 O(n log n) 메시지와 시간을 사용하며, 이는 이전에 날카로운 하한선으로 여겨졌던 Ω(m) 이하로 크게 낮아진다.
• MST 구성 알고리즘은 높은 확률(1 - 1/n^c)로 성공하며, 기대 반복 수는 16 이하로 제한된다.
• 간선 삭제 후 MST의 즉각적인 복구는 O(n log n / log log n) 기대 메시지를 사용하며, ST의 경우 O(n) 기대 메시지를 사용한다. 모두 사전 처리나 보조 저장소 없이 가능하다.
• 간선 삽입은 최악의 경우 O(n) 메시지로 처리되며, 이는 o(m) 복잡도가 평균 뿐 아니라 최악의 경우에도 달성될 수 있음을 보여준다.
• 결과적으로 무작위화가 동적 그래프 알고리즘에서 지속적인 데이터 구조를 대체할 수 있으며, 누적 분석 없이도 o(m) 메시지 복잡도를 달성할 수 있음을 보여준다.