[論文レビュー] Information Spreading in Dynamic Networks

Chinmoy Dutta, Gopal Pandurangan+2 more|arXiv (Cornell University)|Dec 2, 2011

Distributed systems and fault tolerance参考文献 38被引用数 10

ひとこと要約

本稿は、適応的敵対的アドバーシャーが存在する動的ネットワークにおいて、k-ゴシップを解くために任意の決定的オンライントークン転送アルゴリズムが必要とするラウンド数に、Ω(nk/log n)の下界を確立し、既知のO(nk)の上界と対数的要因の範囲内で一致する。さらに、部分的2次時間の効率的オフライントークン転送アルゴリズムを提示しており、O(n^ε)-近似解法を用いることで、1ラウンドあたりのエッジあたりのトークン送信数がO(log n)に抑えられる。

ABSTRACT

We study the fundamental problem of information spreading (also known as gossip) in dynamic networks. In gossip, or more generally, $k$-gossip, there are $k$ pieces of information (or tokens) that are initially present in some nodes and the problem is to disseminate the $k$ tokens to all nodes. The goal is to accomplish the task in as few rounds of distributed computation as possible. The problem is especially challenging in dynamic networks where the network topology can change from round to round and can be controlled by an on-line adversary. The focus of this paper is on the power of token-forwarding algorithms, which do not manipulate tokens in any way other than storing and forwarding them. We first consider a worst-case adversarial model first studied by Kuhn, Lynch, and Oshman~\cite{kuhn+lo:dynamic} in which the communication links for each round are chosen by an adversary, and nodes do not know who their neighbors for the current round are before they broadcast their messages. Our main result is an $Ω(nk/\log n)$ lower bound on the number of rounds needed for any deterministic token-forwarding algorithm to solve $k$-gossip. This resolves an open problem raised in~\cite{kuhn+lo:dynamic}, improving their lower bound of $Ω(n \log k)$, and matching their upper bound of $O(nk)$ to within a logarithmic factor. We next show that token-forwarding algorithms can achieve subquadratic time in the offline version of the problem where the adversary has to commit all the topology changes in advance at the beginning of the computation, and present two polynomial-time offline token-forwarding algorithms. Our results are a step towards understanding the power and limitation of token-forwarding algorithms in dynamic networks.

研究の動機と目的

• トポロジがラウンドごとに敵対的に変化する動的ネットワークにおけるトークン転送アルゴリズムの根本的限界を理解すること。
• Kuhn, Lynch, および Oshman の敵対的モデルにおける、決定的オンライントークン転送アルゴリズムの最適ラウンド複雑性を特定する未解決問題を解明すること。
• 敵対的アドバーシャーがすべてのトポロジ変更を事前にコミットするオフライン設定における、トークン転送の能力を調査すること。
• オフライン動的ネットワークにおけるk-ゴシップのための、部分的2次時間複雑性を達成する効率的アルゴリズムを設計すること。
• オフライントークン転送アルゴリズムにおける、ラウンド複雑性と通信コスト（1エッジあたりのトークン送信数）のトレードオフを分析すること。

提案手法

• 適応的アドバーシャーが各ラウンドにおけるランダムネスを観測できる状況において、任意の決定的オンライントークン転送アルゴリズムに対してΩ(nk/log n)ラウンドの下界を証明する。
• 中央集権的かつグローバルな知識に基づく議論を用いて、トークン分布を完全に可視化できても下界が成立することを示す。
• 通信スケジュールを表すためにスタインヤー木の系列を用いるオフラインアルゴリズムを提案し、線形計画法の緩和と確率的丸めによって構築する。
• F(P)という集合被覆に類似した問題に対してO(n^ε)-近似アルゴリズムを適用し、スケジュール内のラウンド数を削減する。
• チェルノフの不等式を用いて、確率的に高い確率で、各ラウンドにおける任意のエッジがO(log n)を超えるトークンを送信しないことを示す。
• 得られたスタインヤー木の集合を、既知の変換法（補題10）を用いて有効なトークン配布スケジュールに変換する。

実験結果

リサーチクエスチョン

• RQ1 適応的アドバーシャーの下で、動的ネットワークにおけるk-ゴシップのための決定的オンライントークン転送アルゴリズムの最適ラウンド複雑性は何か？
• RQ2 敵対的アドバーシャーが各ラウンドにおけるアルゴリズムのランダム選択を事前に知ることができる状況で、確率的オンライントークン転送アルゴリズムは部分的2次時間複雑性を達成できるか？
• RQ3 オフライントークン転送アルゴリズムにおける、ラウンド複雑性と通信コスト（1エッジあたりのトークン数）の最良のトレードオフは何か？
• RQ4 敵対的アドバーシャーがすべてのトポロジ変更を事前にコミットする場合、効率的オフライントークン転送アルゴリズムはk-ゴシップにおいて部分的2次時間複雑性を達成できるか？
• RQ5 動的ネットワークにおけるトークン転送の理論的限界は、ネットワークコーディングのそれと比べてどう異なるか？

主な発見

• 本稿は、Kuhn, Lynch, および Oshman が提起した未解決問題を解決し、敵対的モデル下で任意の決定的オンライントークン転送アルゴリズムがk-ゴシップを解くために必要なラウンド数に、タイトなΩ(nk/log n)の下界を確立した。
• この下界は、既知のO(nk)の上界と対数的要因の範囲内で一致しており、オンライン敵対的設定下ではトークン転送アルゴリズムが著しく部分的2次時間性能を達成できないことを示している。
• この下界は、敵対的アドバーシャーが各ラウンドにおけるランダムネスを観測できる場合の確率的アルゴリズムに対しても成立する。
• オフライントークン転送アルゴリズムは、O(min{nk, n√(k log n)})ラウンドで動作し、トポロジ変更が事前に分かっている場合に部分的2次時間の達成が可能であることを示している。
• O(n^ε L)ラウンド（任意のε > 0）で実行され、高確率で1エッジあたりO(log n)のトークン送信数を保証するバイクリテリア近似アルゴリズムを提示した。ここでLは最適なラウンド数を表す。
• オフラインアルゴリズムで用いられる確率的丸め技術により、任意のエッジがO(log n)を超えるトークンを送信する確率が1/n^{log log n}以下であることが保証され、通信コストに対する高確率の境界が得られる。