[論文レビュー] Analysis of Amnesiac Flooding

Volker Turau|arXiv (Cornell University)|Feb 25, 2020

Prenatal Substance Exposure Effects参考文献 18被引用数 5

ひとこと要約

本稿は分散システムにおけるアンネジアックフラッディング（amnesiac flooding）を分析する。これはノードが現在のラウンドで隣人からメッセージを受信していない場合にのみメッセージを転送する状態なしブロードキャストプロトコルである。$(k,c)$-フラッディング問題（$k$ 個のイニシエータが $c$ ラウンド以内に情報を拡散できるかを判定する問題）がNP完全であることを証明し、二部グラフの補助的グラフ構成を新たに導入することで、終了時間の分析を簡素化し、二部グラフおよび非二部グラフの両方におけるラウンド複雑度のタイトな境界を可能にした。

ABSTRACT

The broadcast operation in distributed systems is used to spread information located at some nodes to all other nodes. This operation is often realized by flooding, where the source nodes send a message containing the information to all neighbors. Each node receiving the message for the first time forwards it to all other neighbors. A stateless variant of flooding for synchronous systems is called amnesiac flooding. In this case, every time a node receives a message, it forwards it to those neighbors, from which it did not receive the message in the current round. The algorithm is oblivious and therefore scales very well. Stateless protocols are advantageous in high volume applications, increasing performance by removing the load caused by retention of session information and by providing crash tolerance. In this paper we analyze the termination time of amnesiac flooding. We define the (k,c)-flooding problem, which aims at finding a set $S$ of size $k$, such that amnesiac flooding when started concurrently by all nodes of $S$ terminates in a minimal number of rounds. We prove that this problem is NP-complete. We provide sharp upper and lower bounds for the time complexity of amnesiac flooding and reveal a discrepancy between bipartite and non-bipartite graphs. All results are based on the insight, that for every non-bipartite graph there exists a bipartite graph such that the execution of amnesiac flooding on both graphs is strongly correlated. This construction considerably simplifies existing proofs for amnesiac flooding and allows to analyze the (k,c)-flooding problem.

研究の動機と目的

• 複数のソースが同時にメッセージ拡散を開始する状況における、マルチソースアンネジアックフラッディングの未解決問題に取り組むこと。
• 特に非二部グラフにおける $k$ 個のノードが同時に開始する場合のアンネジアックフラッディングの終了時間を分析すること。
• 非二部グラフにおけるアンネジアックフラッディングと、それに対応する二部補助グラフとの間の明確な形式的関係を確立し、分析を簡素化すること。
• $(k,c)$-フラッディング問題のNP完全性を定義・証明し、$k$-センター問題と関連付けること。
• 二部グラフおよび非二部グラフの両方におけるアンネジアックフラッディングのラウンド複雑度について、鋭い上界および下界を導出すること。

提案手法

• 任意のイニシエータ集合 $S$ に対して、$G$ と ${\cal G}(S)$ におけるアンネジアックフラッディングの実行および終了挙動が同一となるような、新しい二部補助グラフ ${\cal G}(S)$ の構成を導入する。
• 補助グラフを用いることで、マルチソースアンネジアックフラッディングの分析を単一ソースのより単純なケースに還元し、よりタイトな複雑度境界を得られるようにする。
• 非二部グラフの場合、単一ノードが開始する場合、アンネジアックフラッディングの終了時間は $\epsilon_G(v_0)+1$ から $\epsilon_G(v_0)+\text{Diam}(G)+1$ ラウンドの間で有界であることを証明する。
• $k$ 個のイニシエータへの分析を拡張するため、$k$-ソース問題を $k$-センター問題に関連付け、全支配集合への還元を構築してNP完全性を証明する。
• 終了時間の特徴付けに、eccentricity $\epsilon_G(v)$、radius $\text{Rad}(G)$、距離 $d_G(v,u)$ などのグラフ理論的道具を用いる。
• 非二部グラフにおけるアンネジアックフラッディングの終了時間は、関連する二部補助グラフを分析することで特定でき、メッセージ伝搬の核心的ダイナミクスを捉えている。

実験結果

リサーチクエスチョン

• RQ1 $k$ 個のノードが分散システムで同時に開始する場合、アンネジアックフラッディングの終了時間は何か？
• RQ2 グラフの構造、特にそれが二部グラフか非二部グラフかという点が、アンネジアックフラッディングの終了時間にどのように影響するか？
• RQ3 $(k,c)$-フラッディング問題（$k$ 個のイニシエータが $c$ ラウンド以内に情報を拡散できるかを問う問題）は、計算的に扱いやすいか？
• RQ4 非二部グラフにおけるアンネジアックフラッディングの実行を、同値な問題に還元して、二部グラフ上で分析を簡素化できるか？
• RQ5 $(k,c)$-フラッディング問題と、$k$-センター問題や全支配集合問題といった古典的グラフ問題との関係は何か？

主な発見

• $(k,c)$-フラッディング問題がNP完全であることが証明され、一般のグラフにおいて計算の困難性が確立された。
• 任意の非二部グラフ $G$ および $k$ 個のイニシエータ集合 $S$ に対して、アンネジアックフラッディングが $G$ と ${\cal G}(S)$ で同一の終了時間および実行パターンを示すような二部補助グラフ ${\cal G}(S)$ が存在する。
• 単一ノードが開始する場合、非二部グラフにおけるアンネジアックフラッディングの終了時間は $\epsilon_G(v_0)+1$ から $\epsilon_G(v_0)+\text{Diam}(G)+1$ ラウンドの間で有界である。
• 二部グラフでは、単一ノードが開始する場合、アンネジアックフラッディングの終了時間は正確に $\epsilon_G(v_0)$ ラウンドであり、古典的なマーカーに基づくフラッディングアルゴリズムと一致する。
• 本稿では、下界 $k \cdot \text{Flood}_k(G) \geq \text{Rad}(G) + k - 1$ がタイトであるという予想を提示し、等号を達成する96ノードの構築例によって裏付けられている。
• 補助グラフの構成により、従来のアンネジアックフラッディングの証明が簡素化され、これまでに知られていたものよりも鋭いラウンド複雑度の境界が導出可能になった。