[論文レビュー] Beeping a Maximal Independent Set

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

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

ひとこと要約

本稿は、送信者衝突検出機能なし、同期なし、敵対的ウェイクアップを伴う過酷なビープ音ラジオネットワークモデルにおいて、最大独立集合（MIS）を計算する分散アルゴリズムを提示する。サブ多項式時間の下界を証明し、4つの緩和条件——既知のネットワークサイズ、ビープ音によるウェイクアップ、送信側衝突検出、同期時計——を導入。それぞれが多対数時間の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を用いて局所的にノードの優先度を推定するように適応。
• kの階層的、2のべき乗による倍増メカニズムを用い、ノードが自分自身の相対的優先度を自己推定可能にし、競合を回避する。
• 2種類の信号を用いる：kの更新を伝搬するための「リスタート・ビット」と、競合を検出・k値の増加をトリガーする「競合ビット」。
• 高確率の集中不等式を用いて、k値が素早く安定し、かつ2つの隣接ノードが同時にMISに参加しないことを保証。
• 局所性の議論を活用：ノードのO(log n)近傍が適切に同期されたLubyインスタンスのように振る舞えば、ノードは素早く安定化する。
• 4つのモデル緩和条件を導入：(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を計算する。
• 従来の研究と同様の仮定のもとで、ノードの障害にも耐性があり、高確率で正しさを保つ。