[논문 리뷰] On Leader Green Election

Jacek Cichoń, Rafał Kapelko외 1명|arXiv (Cornell University)|2016. 04. 30.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 3

한 줄 요약

이 논문은 확률적 방법을 사용하여 분산 리더 선거에서 리더 그린 선거(LGE) 알고리즘을 분석하며, 초기 단계 이후 생존자 수의 기대값에 초점을 맞춘다. Rice의 방법을 적용하여 생존 확률에 대한 정밀한 공식을 유도하고, LGE는 후보자를 작은 집합으로 줄이기 위해 단 한 번만 사용되어야 하며, 이후에 보조 프rotocol가 필요하다는 것을 입증한다. 주요 기여는 생존자 수에 대한 날카운 상한과, 볼과 병 모델 기반의 리더 선거 프rotocol에 대한 필요 라운드 수에 대한 하한을 제시하는 것이다.

ABSTRACT

We investigate the number of survivors in the Leader Green Election (LGE) algorithm introduced by P. Jacquet, D. Milioris and P. Muhlethaler in 2013. Our method is based on the Rice method and gives quite precise formulas. We derive upper bounds on the number of survivors in this algorithm and we propose a proper use of LGE. Finally, we discuss one property of a general urns and balls problem and show a lower bound for a required number of rounds for a large class of distributed leader election protocols.

연구 동기 및 목표

• 리더 그린 선거(LGE) 알고리즘에서 생존자 수를 확률적 방법을 사용하여 분석하기.
• Rice의 방법을 사용하여 생존자 수의 기대값과 분포에 대한 정밀한 공식 유도하기.
• LGE에서 생존자 수에 대한 상한을 확립하고, 사전 선거 단계로서의 적절한 사용 방법 제안하기.
• LGE와 일반적인 병과 볼 문제 간의 관계를 조사하며, 특히 단일 존재의 존재 여부를 중심으로 분석하기.
• 대부분의 분산 리더 선거 프rotocol에 대해 성공 확률이 높을 때까지 필요한 최소 라운드 수에 대한 하한 유도하기.

제안 방법

• Rice의 방법을 사용하여 LGE에서 생존자 수의 분포를 분석하고, 생존 확률에 대한 정확한 공식 제공하기.
• LGE 과정을 기하분포로 선택된 난수의 선택과 이진 키 전송 단계로 모델링하기.
• LGE에서 사용되는 시간 슬롯을 기하 랜덤 변수의 최댓값(MGeo 분포)으로 모델링하기.
• 최댓값을 선택하는 후보자 수를 모델링하기 위해 WMGeo 분포 도입하기.
• 비균일 확률을 가진 병과 볼 모델을 분석하여, 리더 선거 성공에 핵심적인 단일 존재의 존재 여부 연구하기.
• 함수 f(𝐩) = Σ(Q=2 to n) Pr[S𝐩,Q]/Q를 사용하여 단일 존재의 최대 성공 확률에 대한 하한 유도하기.

실험 결과

연구 질문

• RQ1 기하분포 가정 하에 LGE 알고리즘에서 기대 생존자 수는 얼마인가요?
• RQ2 Rice의 방법을 어떻게 적용하여 LGE에서 생존자 확률에 대한 정확한 공식을 도출할 수 있나요?
• RQ3 주어진 후보자 수와 파라미터 p에 대해 LGE에서 생존자 수에 대한 가장 날카운 상한은 무엇인가요?
• RQ4 대부분의 분산 리더 선거 프로토콜이 높은 확률로 성공하기 위해 필요한 최소 라운드 수는 얼마인가요?
• RQ5 공간의 수가 알려져 있지 않고 유계일 때, 병과 볼 모델에서 단일 존재의 존재를 높은 확률로 보장할 수 있는가요?

주요 결과

• LGE에서 기대 생존자 수는 E[Wₙ,ₚ] = (np/q) × Σ(b=0 to n−1) [(-1)ᵇ × C(n−1,b) / (1 − qᵇ⁺¹)] 으로 주어지며, 여기서 q = 1−p이다.
• 정확히 a명의 후보자가 생존할 확률은 Pr[Wₙ,ₚ = a] = C(n,a) × pᵃ × Σ(b=0 to n−a) [C(n−a,b) × (-1)ᵇ / (1 − qᵃ⁺ᵇ)] 이다.
• 꼬리 확률에 대한 상한은 Pr[M > C × (ln n)/ln(1/(1−p))] ≤ 1/n^(C−1) 이며, 여기서 M ~ MGeo(n,p) 이다.
• L개의 병에 최대 n개의 볼이 있을 때, 최소 하나의 단일 존재가 존재할 수 있는 최대 성공 확률 MSP(L,n)은 (L−1)/(Hₙ−1) 보다 작다. 여기서 Hₙ은 제n호 조화수이다.
• L ≤ ½ ln n + (1+γ)/2 이면 MSP(L,n) < ½ 이며, 이는 이러한 모델에서 유일한 선택이 높은 확률로 존재하지 않음을 의미한다.
• M ≤ log₂(½ ln n + (1+γ)/2) 이면, M비트 시퀀스를 사용하여 고유한 리더를 선택할 확률은 ½ 이하이며, 이는 신뢰할 수 있는 선택을 위한 충분한 난수성이 부족함을 나타낸다.