[論文レビュー] The Power of Two Choices in Distributed Voting

Colin Cooper, Robert Elsässer⋆+1 more|arXiv (Cornell University)|Apr 29, 2014

Distributed systems and fault tolerance参考文献 22被引用数 11

ひとこと要約

本稿では、各ノードが2つの隣接ノードをサンプリングし、両方が同意している場合にのみその意見を採用する（そうでない場合は自身の意見を維持する）分散型コンSENSUSプロトコルである2サンプル投票を提案する。正則およびランダムなd-正則グラフにおいて、初期の不均衡が閾値を超える場合、このプロトコルは高確率でO(log n)ステップで収束し、敵対的干渉が存在しても多数派の意見が勝利することが保証される。

ABSTRACT

Distributed voting is a fundamental topic in distributed computing. In pull voting, in each step every vertex chooses a neighbour uniformly at random, and adopts its opinion. The voting is completed when all vertices hold the same opinion. On many graph classes including regular graphs, pull voting requires $Θ(n)$ expected steps to complete, even if initially there are only two distinct opinions. In this paper we consider a related process which we call two-sample voting: every vertex chooses two random neighbours in each step. If the opinions of these neighbours coincide, then the vertex revises its opinion according to the chosen sample. Otherwise, it keeps its own opinion. We consider the performance of this process in the case where two different opinions reside on vertices of some (arbitrary) sets $A$ and $B$, respectively. Here, $|A| + |B| = n$ is the number of vertices of the graph. We show that there is a constant $K$ such that if the initial imbalance between the two opinions is ?$ν_0 = (|A| - |B|)/n \geq K \sqrt{(1/d) + (d/n)}$, then with high probability two sample voting completes in a random $d$ regular graph in $O(\log n)$ steps and the initial majority opinion wins. We also show the same performance for any regular graph, if $ν_0 \geq K λ_2$ where $λ_2$ is the second largest eigenvalue of the transition matrix. In the graphs we consider, standard pull voting requires $Ω(n)$ steps, and the minority can still win with probability $|B|/n$.

研究の動機と目的

• 正則グラフにおいてΩ(n)の時間がかかる標準的なプル投票の非効率性を解消すること。これは、少数派の意見がサイズに比例した確率で勝利する可能性を含む。
• コンセンサスを対数時間で達成し、初期の多数派の意見が高確率で勝利する分散投票プロトコルを設計すること。
• 敵対的干渉（各ステップで意見が再割り当て可能）下での2サンプル投票プロセスの性能を分析すること。
• 正則およびランダムなd-正則グラフにおいて、高速収束および多数派支配を保証するための初期不均衡の理論的境界を確立すること。

提案手法

• 各頂点が各ラウンドごとに2つのランダムな隣接ノードを独立に選択し、両方が同意している場合にのみ自身の意見を更新する2サンプル投票を提案する。
• 3段階の解析を採用する：段階Iでは初期の少数派サイズをn/10まで減少させる。段階IIではn/10からω = log n / log log nまで減少させる。段階IIIではωから0まで減少させる。
• 正則グラフにおける収束時間の上限を求めるために、遷移行列の2番目に大きな固有値λ₂を用いたスペクトルグラフ理論を適用する。
• ランダムなd-正則グラフでは、拡張性の性質と固有値の集中を用いて、少数派の投票が急速に減少することを示す。
• 確率的集中不等式とドリフト解析を用いて、少数派サイズが各段階で指数関数的に減少することを示し、高確率で成立することを保証する。
• 敵対的干渉を考慮し、意見の変更を有界な摂動としてモデル化し、敵対者がo(ν₀n)個の頂点を変更する限り、プロトコルが依然として安定であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 正則グラフにおいて、標準的なプル投票がΩ(n)ステップを要するのに対し、分散型投票プロトコルがO(log n)ステップでコンセンサスに到達できるか？
• RQ2 2サンプル投票において、多数派の意見が高確率で勝利するための最小初期不均衡ν₀はどの程度か？
• RQ3 実行中、意見が敵対的に再割り当てされる条件下で、2サンプル投票プロセスはどのように動作するか？
• RQ4 正則グラフのスペクトル的性質（特に2番目に大きな固有値λ₂）を用いて、収束時間と多数派支配を保証できるか？
• RQ5 少数派の意見が大きくても、2サンプルメカニズムは標準的なプル投票よりも速度と正しさの両面で優れているか？

主な発見

• ある定数Kに対して、初期不均衡ν₀ ≥ K√((1/d) + (d/n)) を満たす場合、d-正則グラフにおいて2サンプル投票は高確率でO(log n)ステップで完了する。
• 任意の正則グラフにおいて、ν₀ ≥ Kλ₂ が成り立つ場合、2サンプル投票はO(log n)ステップで完了し、初期の多数派の意見が高確率で勝利する。
• 同じ条件下で、少数派の票はω = log n / log log n から0までO(ω log ω) = O(log n)ステップで高確率で減少する。
• 各ステップでo(ν₀n)個の頂点が敵対的に再割り当てされる敵対的干渉下でも、すべての頂点のうちO(f)個を除き、高確率でO(log n)ステップ以内に多数派の意見を採用する。
• 標準的なプル投票は正則グラフにおいてΩ(n)ステップを要し、少数派の意見が勝つ確率が|B|/nに比例するため、高速なコンセンサスには不適切である。
• 少数派の意見が初期に大きくても、グラフ構造に依存する閾値を超える不均衡が確保されていれば、2サンプルメカニズムは高速な収束と多数派支配を保証する。