[论文解读] Investigating the Cost of Anonymity on Dynamic Networks

Giuseppe Antonio Di Luna, Roberto Baldoni|arXiv (Cornell University)|May 13, 2015

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

一句话总结

本文建立了在具有广播和无限带宽的匿名动态网络中，计算节点数量所需时间的理论下限。证明即使动态直径 D 为常数，由于匿名性，仍需额外 Ω(log |V|) 轮才能完成计数，揭示了此类系统中匿名性的显著代价。

ABSTRACT

In this paper we study the difficulty of counting nodes in a synchronous dynamic network where nodes share the same identifier, they communicate by using a broadcast with unlimited bandwidth and, at each synchronous round, network topology may change. To count in such setting, it has been shown that the presence of a leader is necessary. We focus on a particularly interesting subset of dynamic networks, namely extit{Persistent Distance} - ${\cal G}($PD$)_{h}$, in which each node has a fixed distance from the leader across rounds and such distance is at most $h$. In these networks the dynamic diameter $D$ is at most $2h$. We prove the number of rounds for counting in ${\cal G}($PD$)_{2}$ is at least logarithmic with respect to the network size $|V|$. Thanks to this result, we show that counting on any dynamic anonymous network with $D$ constant w.r.t. $|V|$ takes at least $D+ Ω( ext{log}\, |V| )$ rounds where $Ω( ext{log}\, |V|)$ represents the additional cost to be payed for handling anonymity. At the best of our knowledge this is the fist non trivial, i.e. different from $Ω(D)$, lower bounds on counting in anonymous interval connected networks with broadcast and unlimited bandwith.

研究动机与目标

• 研究在节点不可区分且通过广播通信的动态网络中，匿名性所带来的计算代价。
• 确定在匿名动态网络中，领导者正确计算网络规模 |V| 所需的最少轮数。
• 识别并分析一类特定的动态网络 G(PD)h，其中节点到领导者之间的距离在各轮中保持稳定。
• 建立一个严格大于动态直径 D 的非平凡计数复杂度下限，凸显匿名性的影响。

提出的方法

• 引入网络族 G(PD)h，其中每个节点在各轮中与领导者保持固定的距离 h。
• 分析 G(PD)2 子类，其中距离领导者为 2 的节点通过动态变化的路径相连。
• 使用线性代数技术建模领导者状态的演化，将消息表示为向量，消息传播表示为矩阵乘法。
• 定义核向量 k_r 以表示导致相同领导者状态的不可区分消息模式，并证明此类模式必须线性相关。
• 通过构造矛盾，表明不同的网络规模（n 和 n+1）可能产生相同的领导者状态，从而导致输出错误。
• 利用界限 log₃(2|W|+1) 推导出动态多重图中计数的 Ω(log |V|) 下限。

实验结果

研究问题

• RQ1 在动态直径恒定的匿名动态网络中，领导者计算节点数量所需的最少轮数是多少？
• RQ2 与具有唯一标识符的网络相比，匿名性的存在如何影响计数的时间复杂度？
• RQ3 能否建立一个严格大于动态直径 D 的计数复杂度的非平凡下限？
• RQ4 动态路径的结构（例如，从距离为 2 的节点出发的多条路径）在增加计数复杂度方面起什么作用？

主要发现

• 在 G(PD)2 网络类中，任何计数算法都至少需要 Ω(log |V|) 轮才能正确计算网络规模。
• 该下限通过证明不可区分的消息模式（核向量）可能在不同网络规模下导致相同的领导者状态，从而违反正确性而得出。
• 该结果意味着，在动态直径 D 恒定的匿名动态网络中，计数需要 D + Ω(log |V|) 轮，其中 Ω(log |V|) 项即为匿名性带来的代价。
• 这是首个针对具有广播和无限带宽的匿名区间连通网络中计数问题的非平凡下限。
• 即使动态直径 D 相对于 |V| 为常数，该下限依然成立，表明匿名性始终带来持续的时间代价。
• 若节点在每轮开始时已知自身的度数，则匿名性带来的代价可被消除，表明最小程度的本地知识可显著降低复杂度。