[论文解读] Beeping a Maximal Independent Set

Yehuda Afek, Noga Alon+4 more|arXiv (Cornell University)|Jun 1, 2012

Mobile Ad Hoc Networks参考文献 20被引用 4

一句话总结

本文提出了一种在仅具备载波侦测、无同步机制且存在对抗性唤醒的严苛鸣叫无线电网络模型下计算最大独立集（MIS）的分布式算法。该文证明了次多项式时间的下界，并引入了四种松弛条件——已知网络规模上界、鸣叫唤醒、发送端冲突检测以及同步时钟——每种条件均能实现多项式对数时间内的MIS计算，其中最快情形下可达到O(log²n)轮次，条件理想时表现最优。

ABSTRACT

We consider the problem of computing a maximal independent set (MIS) in an extremely harsh broadcast model that relies only on carrier sensing. The model consists of an anonymous broadcast network in which nodes have no knowledge about the topology of the network or even an upper bound on its size. Furthermore, it is assumed that an adversary chooses at which time slot each node wakes up. At each time slot a node can either beep, that is, emit a signal, or be silent. At a particular time slot, beeping nodes receive no feedback, while silent nodes can only differentiate between none of its neighbors beeping, or at least one of its neighbors beeping. We start by proving a lower bound that shows that in this model, it is not possible to locally converge to an MIS in sub-polynomial time. We then study four different relaxations of the model which allow us to circumvent the lower bound and find an MIS in polylogarithmic time. First, we show that if a polynomial upper bound on the network size is known, it is possible to find an MIS in O(log^3 n) time. Second, if we assume sleeping nodes are awoken by neighboring beeps, then we can also find an MIS in O(log^3 n) time. Third, if in addition to this wakeup assumption we allow sender-side collision detection, that is, beeping nodes can distinguish whether at least one neighboring node is beeping concurrently or not, we can find an MIS in O(log^2 n) time. Finally, if instead we endow nodes with synchronous clocks, it is also possible to find an MIS in O(log^2 n) time.

研究动机与目标

• 为解决在无协调机制、无网络规模信息且节点唤醒时间具有对抗性的最小化鸣叫模型中计算MIS的挑战。
• 通过证明下界，确立基本模型下次多项式时间收敛不可能的理论极限。
• 探索可实现高效、多项式对数时间MIS计算的模型松弛条件。
• 证明即使仅通过鸣叫和载波侦测进行有限通信，只要在适度假设下，仍可高效求解MIS等非平凡分布式任务。
• 在理论分布式计算与无线传感器网络及果蝇SOP选择等生物系统等实际应用之间建立桥梁。

提出的方法

• 提出一种基于Luby的MIS算法的随机化、分布式算法，针对仅具载波侦测的鸣叫模型进行适配，利用参数k对节点优先级进行本地估计。
• 采用分层的、以2为倍增基数的机制来设定k值，使节点能够自我估计其相对优先级并避免冲突。
• 使用两种信号：一种为“重启位”用于传播k值更新，另一种为“竞争位”用于检测冲突并触发k值增加。
• 依赖高概率浓度界，确保k值能快速稳定，且任意两个邻居不会同时进入MIS。
• 利用局部性论证：若某节点的O(log n)邻域行为类似于同步的Luby实例，则该节点可快速稳定。
• 引入四种模型松弛条件：(1) 已知网络规模的多项式上界，(2) 鸣叫唤醒（节点在听到鸣叫时被唤醒），(3) 发送端冲突检测，(4) 同步时钟，每种条件均可实现更快收敛。

实验结果

研究问题

• RQ1 能否在仅具备载波侦测、无同步机制且存在对抗性唤醒的鸣叫模型中设计出分布式MIS算法？
• RQ2 在如此最小化的模型中，求解MIS的时间复杂度是否存在根本性限制？
• RQ3 哪些最小化假设（如网络规模上界、鸣叫唤醒、冲突检测、时钟同步）可实现多项式对数时间的MIS计算？
• RQ4 在缺乏全局协调和有限反馈的条件下，所提出的算法如何确保正确性与收敛性？
• RQ5 在多大程度上可利用鸣叫模型对生物系统与无线网络模型进行抽象，以支持分布式计算？

主要发现

• 证明了在具有对抗性唤醒的基本鸣叫模型下，任何随机化算法计算MIS的下界为Ω(√(n/log n))轮次，即使在更强的具备冲突检测的无线电网络模型中亦成立。
• 在已知网络规模多项式上界条件下，该算法以高概率在O(log³n)轮次内计算出MIS。
• 在鸣叫唤醒假设下（节点在听到鸣叫时被唤醒），该算法在无发送端冲突检测条件下运行时间为O(log³n)轮次。
• 在同时具备鸣叫唤醒与发送端冲突检测的条件下，该算法以高概率实现O(log²n)轮次的收敛。
• 在具备同步时钟（即使无鸣叫唤醒）的条件下，该算法以高概率在O(log²n)轮次内计算出MIS。
• 在与先前工作相同的假设下，该算法对节点崩溃具有鲁棒性，能以高概率保持正确性。