[论文解读] A Bound on the Throughput of Radio Networks

Mohsen Ghaffari, Bernhard Haeupler+1 more|arXiv (Cornell University)|Feb 1, 2013

Cooperative Communication and Network Coding参考文献 3被引用 10

一句话总结

本文通過證明在半徑為2的某類無線網絡中，無論使用何種算法（包括網絡編碼），廣播k條訊息均需Ω(k log n)輪，從而確立了無線網絡吞吐量的根本下界。結果表明，無線網絡中可達最大廣播吞吐量為O(1/log n)，突顯了在二進制指數退避與載波偵測約束下多訊息傳播的固有局限性。

ABSTRACT

We consider the well-studied radio network model: a synchronous model with a graph G=(V,E) with |V|=n where in each round, each node either transmits a packet, with length B=Omega(log n) bits, or listens. Each node receives a packet iff it is listening and exactly one of its neighbors is transmitting. We consider the problem of k-message broadcast, where k messages, each with Theta(B) bits, are placed in an arbitrary nodes of the graph and the goal is to deliver all messages to all the nodes. We present a simple proof showing that there exist a radio network with radius 2 where for any k, broadcasting k messages requires at least Omega(k log n) rounds. That is, in this network, regardless of the algorithm, the maximum achievable broadcast throughput is O(1/log n).

研究动机与目标

• 建立半徑為2的無線網絡中廣播k條訊息所需時間的緊緻下界。
• 證明即使使用網絡編碼，無線網絡的吞吐量仍受拓撲與干擾約束的根本限制。
• 構造一種特定的二分無線網絡拓撲，使訊號傳遞在任何傳輸策略下均存在瓶頸。
• 使用機率方法與Chernoff不等式，提供Ω(k log n)下界的簡潔直接證明，避免複雜的歸約。

提出的方法

• 構造一類具有√n個發送節點與(n′ log n)/2個接收節點的二分無線網絡，接收節點分為log n/2個等級，每等級中節點度數為2^i。
• 採用隨機圖分佈：每個屬於第i等級的接收節點獨立隨機選擇2^i個發送節點連接。
• 分析當發送節點子集S′發送訊號時，預期有多少接收節點能收到訊號，使用超幾何機率界限。
• 應用Chernoff不等式，證明以高概率而言，任何發送節點子集均無法在單輪內使超過O(1/log n)比例的接收節點成功接收訊號。
• 通過將源節點連接至所有發送節點與虛擬節點，構造半徑為2的網絡H′，確保所有接收節點距離源節點距離為2。
• 證明由於每輪僅有O(1/log n)比例的接收節點可接收訊號，因此所有k條訊息傳播至所有節點至少需要Ω(k log n)輪。

实验结果

研究问题

• RQ1 無論使用何種算法，半徑為2的無線網絡中廣播k條訊息所需的最少輪數是多少？
• RQ2 網絡編碼或其他先進傳輸策略能否克服此類網絡中的根本吞吐量限制？
• RQ3 無線網絡的哪些結構特性會在最佳排程下仍導致訊息傳播瓶頸？
• RQ4 接收節點度數分佈如何影響單輪內可同時觸及的最大接收節點數？
• RQ5 是否存在某種網絡拓撲，使得吞吐量明確地被O(1/log n)所限制，且與訊息數量無關？

主要发现

• 存在一個半徑為2的無線網絡，其中廣播k條訊息至少需要Ω(k log n)輪，且此下界對所有算法均成立。
• 此類網絡中可達最大廣播吞吐量為O(1/log n)，即每輪傳播的訊息數量在漸近意義上受到限制。
• 在所構造的二分網絡中，任何發送節點子集在單輪內均無法使超過O(1/log n)比例的接收節點成功接收訊號。
• 證明使用度數分為2^i的隨機圖構造，並通過Chernoff不等式表明成功接收的期望數量以O(n′)為界，且以高概率成立。
• 即使對於網絡編碼算法，該下界依然成立，因為該界限適用於任何訊號傳輸策略，不僅限於路由。
• 該下界直接來自機率論論證，顯著簡化於以往基於歸約至群聊或單訊息廣播下界證明的複雜方法。