[論文レビュー] Deploying Wireless Networks with Beeps

Alejandro Cornejo, Fabian Kühn|arXiv (Cornell University)|May 14, 2010

Mobile Ad Hoc Networks参考文献 21被引用数 27

ひとこと要約

本論文は、同期化やネットワーク知識なしに、ノードがキャリアセンシングを用いて通信する、離散ビーピングモデルを無線ネットワークに導入する。ノードがT時間単位ごとに繰り返されるサイズΩ(T/Δ)の区間を割り当てるO(log n)-時間のラスベガスアルゴリズムを提示し、現実的な制約下で定数次数のグラフにおいて漸近的に最適な結果を達成する。

ABSTRACT

We present the \emph{discrete beeping} communication model, which assumes nodes have minimal knowledge about their environment and severely limited communication capabilities. Specifically, nodes have no information regarding the local or global structure of the network, don't have access to synchronized clocks and are woken up by an adversary. Moreover, instead on communicating through messages they rely solely on carrier sensing to exchange information. We study the problem of \emph{interval coloring}, a variant of vertex coloring specially suited for the studied beeping model. Given a set of resources, the goal of interval coloring is to assign every node a large contiguous fraction of the resources, such that neighboring nodes share no resources. To highlight the importance of the discreteness of the model, we contrast it against a continuous variant described in [17]. We present an O(1$ time algorithm that terminates with probability 1 and assigns an interval of size $Ω(T/Δ)$ that repeats every $T$ time units to every node of the network. This improves an $O(\log n)$ time algorithm with the same guarantees presented in \cite{infocom09}, and accentuates the unrealistic assumptions of the continuous model. Under the more realistic discrete model, we present a Las Vegas algorithm that solves $Ω(T/Δ)$-interval coloring in $O(\log n)$ time with high probability and describe how to adapt the algorithm for dynamic networks where nodes may join or leave. For constant degree graphs we prove a lower bound of $Ω(\log n)$ on the time required to solve interval coloring for this model against randomized algorithms. This lower bound implies that our algorithm is asymptotically optimal for constant degree graphs.

研究の動機と目的

• 最小限の通信および調整能力を持つ現実的な無線ネットワークをモデル化すること。
• グローバルな知識がなく、時計がなく、敵対的な起動が行われるネットワークにおけるリソース割り当ての課題に取り組むこと。
• 隣接ノードがリソースを共有しないことを保証する分散アルゴリズムを設計すること。
• 離散ビーピングモデルにおける確率的アルゴリズムの時間計算量の下界を確立すること。
• ノードの参加や退出が可能な動的ネットワークに適応するためのアルゴリズムを設計すること。

提案手法

• ノードがメッセージ送信ではなくキャリアセンシングを用い、同期化やネットワーク知識なしに通信する離散ビーピングモデルを提案する。
• 区間彩色を、各ノードが連続するリソース区間を割り当てる頂点彩色の一種として定義し、隣接ノードとの競合を回避する。
• 高確率でO(log n)時間で終了するラスベガスアルゴリズムを設計し、Ω(T/Δ)のサイズの区間を割り当てる。
• 確率的バックオフとキャリアセンシングを用いて競合を解決し、リソース割り当ての公平性を確保する。
• 定数次数のグラフにおける確率的アルゴリズムの時間にΩ(log n)の下界を証明し、漸近的に最適であることを示す。
• ノードの参加や退出に応じて再構成可能な仕組みを導入することで、アルゴリズムを動的ネットワークに適応させる。

実験結果

リサーチクエスチョン

• RQ1 分散型無線ネットワークにおけるノードは、最小限の通信とグローバルな知識なしに、重複しない連続するリソース区間をどのように割り当てることができるか？
• RQ2 離散ビーピングモデルと確率的アルゴリズムを用いた場合、区間彩色を解くために必要な最小時間は何か？
• RQ3 現実性を考慮した場合、連続的バージョンと比較して、離散ビーピングモデルは実現可能性と効率性においてどのように異なるか？
• RQ4 このアルゴリズムは、ノードの参加や退出といったネットワークの動的変化に対応できるか？
• RQ5 この最小限のモデルにおける区間彩色の時間計算量の理論的限界は何か？

主な発見

• 提案されたラスベガスアルゴリズムは、高確率でO(log n)時間でΩ(T/Δ)-区間彩色を解き、先行研究のO(log n)時間アルゴリズムを改善する。
• 各ノードにΩ(T/Δ)の区間サイズを達成し、連続するリソースの大きな割合を割り当てることを保証する。
• 定数次数のグラフにおける確率的アルゴリズムに対してΩ(log n)の下界を証明し、アルゴリズムが漸近的に最適であることを示した。
• 離散ビーピングモデルは、現実的でない仮定に依存する連続的バージョンよりも現実的であることが示された。
• ノードの参加や退出に対応できる再構成機能を備えたため、動的ネットワークへの適応が可能である。
• 結果から、離散時間とキャリアセンシングが、無線ネットワークにおける実用的な分散アルゴリズム設計において重要な役割を果たすことが明らかになった。