[論文レビュー] Election vs. Selection: Two Ways of Finding the Largest Node in a Graph

Avery Miller, Andrzej Pelc|arXiv (Cornell University)|Nov 5, 2014

Distributed systems and fault tolerance参考文献 34被引用数 4

ひとこと要約

本稿は、時間制約のもとで『アドバイス』モデルを用いて、2つの基本的な分散タスク—選択（最大ラベルを持つノードを特定し、1を出力する）と選挙（最大ノードを特定し、そのラベルをすべてのノードにブロードキャストする）—の計算量的複雑性を比較している。リング構造において、時間制約が直径に比例する場合、選挙に比べて選択には指数的に少ないアドバイスが必要であることが示され、見た目には類似しているにもかかわらず、その難易度に驚くべき非対称性が明らかになった。

ABSTRACT

Finding the node with the largest label in a network, modeled as an undirected connected graph, is one of the fundamental problems in distributed computing. This is the way in which $ extit{leader election}$ is usually solved. We consider two distinct tasks in which the largest-labeled node is found deterministically. In $ extit{selection}$, this node must output 1 and all other nodes must output 0. In $ extit{election}$, the other nodes must additionally learn the largest label. Our aim is to compare the difficulty of these two tasks executed under stringent running time constraints. The measure of difficulty is the amount of information that nodes of the network must initially possess in order to solve the given task in an imposed amount of time. Following the standard framework of $ extit{algorithms with advice}$, this information (a single binary string) is provided to all nodes at the start by an oracle knowing the entire graph. The length of this string is called the $ extit{size of advice}$. Consider the class of $n$-node graphs with any diameter $diam \leq D$. If time is larger than $diam$, then both tasks can be solved without advice. For the task of $ extit{election}$, we show that if time is smaller than $diam$, then the optimal size of advice is $Θ(\log n)$, and if time is exactly $diam$, then the optimal size of advice is $Θ(\log D)$. For the task of $ extit{selection}$, the situation changes dramatically, even within the class of rings. Indeed, for the class of rings, we show that, if time is $O(diam^ε)$, for any $ε<1$, then the optimal size of advice is $Θ(\log D)$, and, if time is $Θ(diam)$ (and at most $diam$) then this optimal size is $Θ(\log \log D)$.

研究の動機と目的

• 分散ネットワークにおける最大ノード探索問題の2つの変種を解くために必要な初期情報（アドバイス）の最小量を分析・比較すること。
• 時間制約が選択（最大ノードの特定のみ）と選挙（最大ノードの特定および全ノードへの通知）のアドバイス複雑度に与える影響を調査すること。
• 直径が最大 $D$ であるリングのクラスにおいて、さまざまな時間制約の下で両タスクのアドバイスサイズのタイトな境界を確立すること。
• 特に時間制約がネットワークの直径に近い場合に、選択と選挙の間で根本的な複雑度の違いを明らかにすること。
• リングに関する知見を一般のグラフへ拡張し、将来の研究におけるリーダー選挙および選択のアドバイス複雑度に関する未解決問題を特定すること。

提案手法

• 強力なオракルが初期段階で全ノードに同一のバイナリ文字列（アドバイス）を提供する『アドバイス』モデルを用いる。文字列の長さがアドバイスサイズを表す。
• ノードが同期的にラウンドを繰り返し通信する、LOCALモデルにおける決定的分散アルゴリズムを分析する。各ノードは $r$ ラウンド以内に、自身の局所的知識に基づいて決定を下さなければならない。
• 下界を確立するために背理法を用いる。同一の局所的ビューを持つが最大ノードが異なるリングの族を構築し、アドバイスが短すぎるとアルゴリズムが失敗することを示す。
• ノード $v$ の半径 $r$ の範囲内の部分グラフを表す知識 $K(r,v)$ の概念を活用し、異なるリング構造間での局所的ビューを比較する。
• 漸近的解析を用いてアドバイスサイズのタイトな境界を導出する：時間 $O(diam^\epsilon)$ での選択は $\Theta(\log D)$、時間 $\Theta(diam)$ での選択は $\Theta(\log \log D)$、時間 $\Theta(diam)$ での選挙は $\Theta(\log D)$ が最適。
• 特定のラベル付け（例：$2Da + 2x$）を施したリング構成を用い、異なるリング内でのノードが同一の局所的ビューを持つようにし、アドバイスが短すぎるとアルゴリズムが失敗するように仕向ける。

実験結果

リサーチクエスチョン

• RQ1 任意の $\epsilon < 1$ に対して時間 $O(diam^\epsilon)$ の場合、リングにおける選択を解くために必要な最小アドバイスサイズは何か？
• RQ2 時間 $\Theta(diam)$ の場合、選択のアドバイス複雑度は、部分多項式時間と比べてどのように変化するか？
• RQ3 同じ時間制約のもとで、選挙のアドバイス複雑度は選択のそれと比べてどうなるか？
• RQ4 リングにおける選択のアドバイス複雑度は、直径 $D$ に依存するのか、それともネットワークサイズ $n$ に依存するのか？
• RQ5 リングにおける選択のアドバイス複雑度のトレードオフは、一般の連結グラフへ拡張可能か？

主な発見

• 時間 $O(diam^\epsilon)$（任意の $\epsilon < 1$）におけるリングの選択において、最適なアドバイスサイズは $\Theta(\log D)$ であり、直径が主要なパラメータであることが示された。
• 時間 $\Theta(diam)$ の場合、選択の最適アドバイスサイズは急激に $\Theta(\log \log D)$ に低下し、必要な情報量が指数的に減少することが明らかになった。
• 時間 $\Theta(diam)$ におけるリングの選挙では、最適アドバイスサイズは $\Theta\big(\log D\big)$ であり、同じ時間制約下で選択に必要なアドバイスより指数的に大きいことが示された。
• 本稿では、時間制約が直径に比例する場合、選挙のアドバイスサイズは選択よりも指数的に複雑であることが示された。両タスクは見た目には類似しているが、根本的な複雑度の違いが明らかになった。
• 選択のアドバイス複雑度には、明確な遷移が見られる：部分多項式時間では $\Theta\!\left(\!\log D\!\right)$、時間 $\Theta(diam)$ では $\Theta\!\left(\!\log \log D\!\right)$ に低下し、計算の難易度に根本的な変化があることが示された。
• 時間 $O(diam^\epsilon)$ における選択の下界証明では、$D^{1-2\epsilon}$ 個のリングの族を構築し、すべてのノードが同一の局所的ビューを持つが最大ノードが異なるようにし、アドバイスが短すぎると矛盾が生じることを示した。