[논문 리뷰] Efficient k-Party Voting with Two Choices.

Robert Elsässer⋆, Tom Friedetzky외 3명|arXiv (Cornell University)|2016. 02. 15.

Distributed systems and fault tolerance참고 문헌 12인용 수 9

한 줄 요약

이 논문은 완전 그래프에서 k-party 공감에 대해 수정된 두 선택 투표 프로토콜을 제안한다. 노드들은 샘플된 이웃의 의견을 기반으로 의견을 채택하고, 단계 기반 비트 메커니즘을 통해 이를 전파한다. 초기 의견 갭이 Ω(√(n log n))일 경우, 이 프로토콜은 고확률로 O(k log n) 단계 내에 다수 의견으로 수렴함을 보이며, 표준 프로토콜의 성능에 비해 크게 향상됨을 보여준다.

ABSTRACT

We consider the problem of distributed $k$-party voting with two choices as well as a simple modification of this protocol in complete graphs. In the standard version, we are given a graph in which every node possesses one of $k$ different opinions at the beginning. In each step, every node chooses two neighbors uniformly at random. If the opinions of the two neighbors coincide, then this opinion is adopted. It is known that if $k=2$ and the difference between the two opinions is $\Omega(\sqrt{n \log n})$, then after $\mathcal{O}(\log n)$ steps, every node will possess the largest initial opinion, with high probability. We show that if $k =\mathcal{O}(n^\epsilon)$ for some small $\epsilon$, then this protocol converges to the initial majority within $\mathcal{O}(k\log{n})$ steps, with high probability, as long as the initial difference between the largest and second largest opinion is $\Omega(\sqrt{n \log n})$. Furthermore, there exist initial configurations where the $\Theta(k)$ bound on the run time is matched. If the initial difference is $\mathcal{O}(\sqrt{n})$, then the largest opinion may loose the vote with constant probability. To speed up our process, we consider the following variant of the two-choices protocol. The process is divided into several phases, and in the first step of a phase every node applies the two choices protocol. If a new opinion is adopted, the node remembers it by setting a certain bit to true. In the subsequent steps of that phase, each node samples one neighbor, and if the bit of this neighbor is set to true, then the node takes the opinion of this neighbor and sets its bit to true as well. At the end of the phase, the bits are reset to false. Then, the phases are repeated several times. We show that this modified protocol improves significantly over the standard two-choices protocol.

연구 동기 및 목표

• 노드가 각 단계에서 두 개의 선택을 가지는 k-party 환경에서 표준 두 선택 투표 프로토콜의 수렴 시간을 분석하는 것.
• 초기 의견 갭이 작을 경우 표준 프로토콜이 다수 의견으로 수렴하지 못하는 조건을 특정하는 것.
• 의견을 비트 기반 단계 메커니즘을 통해 전파함으로써 수렴 속도를 향상시키는 수정된 프로토콜을 설계하고 분석하는 것.
• 다양한 초기 의견 차이에 따라 수렴 시간과 실패 확률에 대한 이론적 경계를 설정하는 것.

제안 방법

• 각 단계에서 표준 프로토콜을 적용: 각 노드는 두 개의 무작위 이웃을 샘플하고, 이들이 의견을 공유할 경우 그 의견을 채택한다.
• 수정된 프로토콜은 단계를 도입한다: 각 단계에서 노드들은 먼저 두 선택 규칙을 적용하고, 새로운 의견을 채택한 경우 '비트'를 참으로 설정한다.
• 단계의 나머지 시간 동안, 노드들은 한 명의 이웃을 샘플하고, 이웃의 비트가 참이면 그 의견을 채택하며, 자신의 비트를 참으로 설정한다.
• 각 단계의 끝에서 모든 비트가 거짓으로 리셋되며, 이 과정은 다수의 단계에 걸쳐 반복되어 의견 전파를 강화한다.
• 이 프로토콜은 특히 초기 단계에서 표준 프로토콜보다 더 효율적으로 의견을 전파할 수 있도록 비트 메커니즘을 활용한다.
• 이론적 분석은 확률적 방법을 사용하여 초기 의견 차이에 기반한 수렴 시간과 실패 확률의 경계를 설정한다.

실험 결과

연구 질문

• RQ1 초기 의견 갭이 Ω(√(n log n))일 경우, k-party 투표에서 표준 두 선택 프로토콜의 수렴 시간은 얼마인가?
• RQ2 초기 다수 의견 갭이 Ω(√(n log n))일 경우, 수렴 시간은 k에 따라 어떻게 스케일링되는가?
• RQ3 초기 의견 갭이 오직 O(√n)일 경우 프로토콜의 성능은 어떻게 되는가?
• RQ4 단계 기반 비트 메커니즘이 표준 프로토콜에 비해 수렴 속도를 크게 향상시킬 수 있는가?
• RQ5 수정된 프로토콜이 다수 의견으로 수렴하지 못하는 조건은 무엇인가?

주요 결과

• 초기 다수 의견과 제2다수 의견 간의 차이가 Ω(√(n log n))일 경우, 표준 두 선택 프로토콜은 고확률로 O(k log n) 단계 내에 초기 다수 의견으로 수렴한다.
• 수렴 시간이 Θ(k)에 이르는 초기 구성이 존재함을 통해 O(k log n) 경계의 날카로움을 입증한다.
• 초기 의견 갭이 O(√n)일 경우, 가장 큰 의견이 상수 확률로 투표에서 패배할 수 있음을 보여, 실패 임계점이 존재함을 시사한다.
• 단계 기반 비트 전파를 통한 수정된 프로토콜은 표준 프로토콜에 비해 수렴 속도에서 뚜렷한 성능 향상을 보인다.
• 각 단계 내에서 표적적이고 다단계적 전파를 가능하게 하여 수정된 프로토콜이 다수 의견의 강화를 더 빠르게 이끈다.
• 이론적 분석은 수정된 프로토콜이 동일한 초기 갭 조건 하에서도 고확률로 다수 의견으로 수렴함을 확인한다.