[論文レビュー] Lower Bounds on Information Dissemination in Dynamic Networks

Bernhard Haeupler, Fabian Kühn|arXiv (Cornell University)|Aug 29, 2012

Opportunistic and Delay-Tolerant Networks参考文献 17被引用数 14

ひとこと要約

本稿は、さまざまな悪意ある条件下における動的ネットワークにおける情報拡散の新たな下界を確立する。ランダム化および決定的トークン転送アルゴリズムが、各ラウンドで複数のトークンを送信できる場合、$c$-頂点連結性、または$T$-インターバル連結性がある場合でも、それぞれ$\tilde{\bigOmega}(n + nk/(b^2 \text{log } n \text{log log } n))$、$\Omega(nk/(c \text{log}^{3/2}n))$、および$\Omega(n + nk/(T^2 \text{log } n))$ラウンドを要することが証明され、既知の上界にほぼ一致する。

ABSTRACT

We study lower bounds on information dissemination in adversarial dynamic networks. Initially, k pieces of information (henceforth called tokens) are distributed among n nodes. The tokens need to be broadcast to all nodes through a synchronous network in which the topology can change arbitrarily from round to round provided that some connectivity requirements are satisfied. If the network is guaranteed to be connected in every round and each node can broadcast a single token per round to its neighbors, there is a simple token dissemination algorithm that manages to deliver all k tokens to all the nodes in O(nk) rounds. Interestingly, in a recent paper, Dutta et al. proved an almost matching Omega(n + nk/log n) lower bound for deterministic token-forwarding algorithms that are not allowed to combine, split, or change tokens in any way. In the present paper, we extend this bound in different ways. If nodes are allowed to forward b < k tokens instead of only one token in every round, a straight-forward extension of the O(nk) algorithm disseminates all k tokens in time O(nk/b). We show that for any randomized token-forwarding algorithm, Omega(n + nk/(b^2 log n log log n)) rounds are necessary. If nodes can only send a single token per round, but we are guaranteed that the network graph is c-vertex connected in every round, we show a lower bound of Omega(nk/(c log^{3/2} n)), which almost matches the currently best O(nk/c) upper bound. Further, if the network is T-interval connected, a notion that captures connection stability over time, we prove that Omega(n + nk/(T^2 log n)) rounds are needed. The best known upper bound in this case manages to solve the problem in O(n + nk/T) rounds. Finally, we show that even if each node only needs to obtain a delta-fraction of all the tokens for some delta in [0,1], Omega(nk delta^3 log n) are still required.

研究の動機と目的

• 各ラウンドで任意に変化するトポロジーを示す悪意ある動的ネットワークにおける情報拡散に要する時間のタイトな下界を確立すること。
• 各ラウンドにおける$c$-頂点連結性、$T$-インターバル連結性、および1ラウンドあたりの複数トークン送信といったネットワーク制約が拡散複雑性に与える影響を分析すること。
• 従来の決定的下界をランダム化アルゴリズムおよびより一般化されたネットワークモデルに拡張し、根本的な限界を包括的に理解すること。
• すべてのトークンの$\delta$-部分が拡散されれば十分な場合でさえも、最小時間が必要となることを定量的に示し、複雑性が依然として高いことを示すこと。

提案手法

• 悪意あるネットワーク構成における1ラウンドあたりに学習可能な新しいトークン数を制限するために、ポテンシャル関数の議論と確率的解析を組み合わせる。
• 最悪の拡散シナリオをモデル化するため、各ノードが各トークンを確率$1/2$で独立に初期割り当てることで、ランダムな初期トークン割り当てを適用する。
• 2段階の解析を採用する：まず、カットの両側のノード間に十分なトークンの重複があることを保証する。次に、自由なエッジが存在しても、1ラウンドあたりに学習可能な新しいトークン数が制限されることを証明する。
• 集中不等式を用いて、連結性またはトークンカバレッジを達成するために必要な追加エッジまたはトークン数を制限する技術を導入する。
• すべての可能なノード集合$S$およびトークン割り当てに対して和集合の不等式を適用し、正の確率で境界が成り立つことを保証する。
• 既知の上界（例：$O(nk/c)$）を応用することで、導出された下界がさまざまなネットワーク仮定のもとでほぼタイトであることを示す。

実験結果

リサーチクエスチョン

• RQ1 1ラウンドあたり$b$個のトークンを送信できるランダム化トークン転送アルゴリズムが、$n$ノードすべてに$k$個のトークンを拡散するのに必要な最小ラウンド数はいかほどか？
• RQ2 各ラウンドにおける$c$-頂点連結性が、悪意ある動的ネットワークにおける拡散時間の下界にどのように影響するか？
• RQ3 $T$-インターバル連結（すなわち、$T$ラウンドごとに連結する）ネットワークでは、情報拡散の根本的限界は何か？
• RQ4 各ノードがすべてのトークンの$\delta$-部分のみを必要とする部分的拡散は、完全拡散よりも速く達成可能か？
• RQ5 強い適応的アドバーシャリーのもとで、決定的アルゴリズムの下界はランダム化アルゴリズムへどのように拡張されるか？

主な発見

• 1ラウンドあたり$b$個のトークンを送信できるランダム化トークン転送アルゴリズムでは、下界が$\Omega(n + nk/(b^2 \text{log } n \text{log log } n))$ラウンドに達し、$O(nk/b)$の上界にほぼ一致する。
• $c$-頂点連結ネットワークでは、下界が$\Omega(nk/(c \text{log}^{3/2}n))$に達し、既知の$O(nk/c)$の上界とほぼタイトである。
• $T$-インターバル連結ネットワークでは、下界が$\Omega(n + nk/(T^2 \text{log } n))$に達し、既存の最良の$O(n + nk/T)$の上界に密接に一致する。
• すべての$k$個のトークンの$\delta$-部分が拡散されれば十分な場合でも、下界は依然$\Omega(nk\delta^3/\text{log } n)$に達し、部分的拡散が複雑性を著しく低下させないことを示す。
• 強い適応的アドバーシャリーのもとで、決定的およびランダム化アルゴリズムの両方の下界が成立し、さまざまな悪意あるモデルにわたる堅牢性を示す。
• 初期条件が有利であっても、1ラウンドあたりに学習可能な新しいトークン数が$O(\text{log } n)$に制限されることを示すために、確率的構成を用いた新しいポテンシャル関数の議論を用いる。