[论文解读] 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$-间隔连通性以及每轮多个令牌传输）对传播复杂度的影响。
• 将先前的确定性下界扩展至随机化算法和更一般的网络模型，全面理解基本限制。
• 量化即使仅需部分传播（$\delta$-比例的令牌）时的最短时间，表明复杂度依然很高。

提出的方法

• 使用势函数论证结合概率分析，以限制在对抗性网络配置中每轮新学习到的令牌数量。
• 采用随机初始令牌分配（每个节点独立以概率 $1/2$ 获得每个令牌）来模拟最坏情况的传播场景。
• 采用两阶段分析：首先确保在割的两侧节点之间存在足够的令牌重叠；其次证明即使存在免费边，每轮新学习的令牌数量仍受限制。
• 引入一种技术，利用集中不等式来限制实现连通性或令牌覆盖所需的额外边或令牌数量。
• 对所有可能的节点集合 $S$ 和令牌分配应用并集界，以确保界在正概率下成立。
• 利用已知上界（如 $O(nk/c)$）表明，在各种网络假设下，所推导的下界几乎紧致。

实验结果

研究问题

• RQ1 在每轮可传输 $b$ 个令牌的动态网络中，随机化令牌转发算法将 $k$ 个令牌传播至所有 $n$ 个节点所需的最少轮数是多少？
• RQ2 每轮的 $c$-顶点连通性如何影响对抗性动态网络中传播时间的下界？
• RQ3 当网络为 $T$-间隔连通时（即在 $T$ 轮的区间内连通），信息传播的基本限制是什么？
• RQ4 当每个节点仅需获得全部 $k$ 个令牌中的 $\delta$-比例时，是否可以比完全传播更快实现？
• RQ5 在强自适应敌手下，确定性算法的下界如何推广至随机化算法？

主要发现

• 对于每轮允许 $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)$，表明部分传播不会显著降低复杂度。
• 这些下界在强自适应敌手下对确定性和随机化算法均成立，表明在各种敌手模型下具有鲁棒性。
• 分析使用了一种新颖的势函数论证结合概率构造，表明即使在有利初始条件下，每轮新学习的令牌数量仍受 $O(\text{log } n)$ 限制。