[論文レビュー] On ad hoc routing with guaranteed delivery

Mark Braverman|ArXiv.org|Apr 5, 2008

Mobile Ad Hoc Networks参考文献 7被引用数 5

ひとこと要約

本稿では、普遍的探索列を用いて、静的で未知のネットワークトポロジーにおいて、保証された配信を達成する多項式時間・対数空間のアドホックルーティングアルゴリズムを提示する。対数空間の確率的非決定的化により構築された決定的普遍的探索列を活用することで、アルゴリズムは、到達可能な任意のノードへのメッセージ配信、または到達不能な場合の障害検出を保証する。すべての処理は、|Cs|の多項式時間および各ノードでO(log n)の記憶領域内で完了し、ネットワークサイズの事前知識が不要である。

ABSTRACT

We point out a simple poly-time log-space routing algorithm in ad hoc networks with guaranteed delivery using universal exploration sequences.

研究の動機と目的

• ノードのメモリ制限とネットワークトポロジーの事前知識なしに、保証されたメッセージ配信を達成する課題に対処すること。
• ソースの連結成分サイズに相対的な多項式時間で動作するルーティングアルゴリズムを設計すること。グローバルなネットワーク知識を必要としないこと。
• 確率的成功に依存しないようにし、決定的普遍的探索列を用いて停止性と正しさを保証すること。
• 中間ノードが状態を保持せず、最小限のメモリオーバーヘッド（O(log n)）でルーティングとブロードキャストを可能にすること。
• 事前に連結成分のサイズを知る必要を排除し、未知のネットワーク規模に完全に適応可能なアルゴリズムを実現すること。

提案手法

• 任意のグラフにおいて多項式ステップ内にすべてのノードを決定的に訪問する普遍的探索列（Tn）を用い、トポロジーに依存せずカバーを保証する。
• 次数削減を適用して任意のグラフを3正則グラフに変換し、接続性を保持するとともに、ラベル付きエッジ方向を用いた均一な走査を可能にする。
• メッセージヘッダーに、送信元、宛先、方向（前進／後退）、ステータス（成功／失敗）、および普遍的探索列Tn内のインデックスiを含め、状態の追跡を可能にする。
• 前進走査で探索を行い、後退走査で確認または障害を報告する、前後往復走査を実装する。
• 各ノードが現在のインデックスiと普遍的探索列Tnを用いて次ホップを計算する再帰的探索メカニズムを採用し、O(log n)のローカル状態のみを維持する。
• T1, T2, T4, ..., T2kを用いたカウント手順により、訪問済みノードのすべての隣接ノードがウォークに含まれるかをチェックすることで、連結成分のサイズ|Cs|を動的に推定する。

実験結果

リサーチクエスチョン

• RQ1 ノードあたりO(log n)のメモリを用い、ネットワークサイズの事前知識なしに、保証された配信が達成可能か？
• RQ2 任意の3次元ネットワークトポロジーにおいても、保証された配信を達成する決定的で多項式時間のルーティングアルゴリズムを設計可能か？
• RQ3 普遍的探索列をどのように活用すれば、ランダムウォークに代えて非停止性や失敗リスクを排除できるか？
• RQ4 対数空間と普遍的探索列のみを用いて、連結成分のサイズを実行時中に計算可能か？
• RQ5 高い成功確率を持つ確率的ルーティングアルゴリズムを、定数倍の遅延増加で決定的かつ保証された成功を達成するアルゴリズムに変換可能か？

主な発見

• 提案されたアルゴリズムは、ソースの連結成分サイズ|Cs|に多項式時間で配信または障害検出を保証し、|Cs|の事前知識が不要である。
• アルゴリズムはノードあたりO(log n)のメモリとO(log n)のメッセージヘッダーのオーバーヘッドしか使用せず、リソース制限のあるアドホックネットワークに適している。
• 対数空間の非決定的化により構築された普遍的探索列により、連結成分内のすべてのノードが多項式ステップ内に決定的に訪問される。
• アルゴリズムは、Lnステップ後に普遍的探索列に沿ってバックトラックすることで、到達不能な宛先を正しく同定し、ソースに「失敗」を返す。
• T2k列を用いた動的カウント手順により、ソースは|Cs|を多項式時間（poly(|Cs|)）およびO(log |Cs|)の空間で計算可能となり、未知のネットワークサイズに自己適応可能である。
• 本手法により、任意の高成功率確率的ルーティングアルゴリズムを、期待実行時間に定数倍の増加で、保証された成功を達成する決定的アルゴリズムに変換可能である。