[論文レビュー] Modeling and Analysis of Time-Varying Graphs

Prithwish Basu, Amotz Bar-Noy+2 more|arXiv (Cornell University)|Dec 1, 2010

Opportunistic and Delay-Tolerant Networks参考文献 19被引用数 30

ひとこと要約

本稿では、時変ネットワークにおける到達可能性とルーティング遅延を、ストア・オア・アドバンスおよびカットスルー遅延モデルを用いて分析する、時系列的グラフモデルであるTemporal Graphletsを導入する。動的ランダムグラフにおけるメッセージ伝播時間の正確な確率分布を提供し、期待伝播時間を最小化するための適応型ルーティングアルゴリズムを提案する。主な貢献は、確率的解析と精度と効率のトレードオフに向けたグラフスラッシング（graph smashing）である。

ABSTRACT

We live in a world increasingly dominated by networks -- communications, social, information, biological etc. A central attribute of many of these networks is that they are dynamic, that is, they exhibit structural changes over time. While the practice of dynamic networks has proliferated, we lag behind in the fundamental, mathematical understanding of network dynamism. Existing research on time-varying graphs ranges from preliminary algorithmic studies (e.g., Ferreira's work on evolving graphs) to analysis of specific properties such as flooding time in dynamic random graphs. A popular model for studying dynamic graphs is a sequence of graphs arranged by increasing snapshots of time. In this paper, we study the fundamental property of reachability in a time-varying graph over time and characterize the latency with respect to two metrics, namely store-or-advance latency and cut-through latency. Instead of expected value analysis, we concentrate on characterizing the exact probability distribution of routing latency along a randomly intermittent path in two popular dynamic random graph models. Using this analysis, we characterize the loss of accuracy (in a probabilistic setting) between multiple temporal graph models, ranging from one that preserves all the temporal ordering information for the purpose of computing temporal graph properties to one that collapses various snapshots into one graph (an operation called smashing), with multiple intermediate variants. We also show how some other traditional graph theoretic properties can be extended to the temporal domain. Finally, we propose algorithms for controlling the progress of a packet in single-copy adaptive routing schemes in various dynamic random graphs.

研究の動機と目的

• 時変グラフの理論的基盤を構築し、ネットワークの動的特性に関する根本的理解の欠如を解消すること。
• 動的ネットワークを静的グラフスナップショットの系列としてモデル化（Temporal Graphlets）し、到達可能性や接続性といった標準的グラフ特性を時間的領域へと拡張すること。
• 時系列的順序の喪失（グラフスラッシングによって）が、動的ランダムグラフにおける到達可能性確率に与える影響を分析すること。
• 間欠的接続性を示す時変ランダムグラフモデルにおいて、期待伝播時間を最小化する適応型ルーティングアルゴリズムを設計すること。
• 中間のm-スラッシンググラフモデルを導入することで、計算効率と精度のトレードオフを探索すること。

提案手法

• 時変グラフを静的グラフスナップショットの系列としてモデル化し、時間的進化を表すために有向スタックドグラフを構築する。
• 2つの遅延モデルを導入する：ストア・オア・アドバンス（メッセージは完全受信後のみ転送）とカットスルー（任意の到達可能ノードへ即時転送）。
• 確率的解析を適用し、2つの動的ランダムグラフモデル（独立確率的および2段階マルコフ連鎖モデル）におけるメッセージ伝播時間の正確な分布を導出する。
• 各ステップで利用可能な最良のエッジを選択するメモリレス方策に基づく適応型ルーティングアルゴリズムを提案し、目的地への期待時間の最小化を図る。
• m-スラッシングという概念を導入し、選択されたグラフレットを部分的な時間的構造を保持したまま1つのグラフに統合することで、効率性と精度のトレードオフを可能にする。
• 動的プログラミングを用いて経路存在確率を計算し、METT（Minimum Expected Time to Target）値を用いてルーティング意思決定を最適化する。

実験結果

リサーチクエスチョン

• RQ1 グラフスラッシングによる時間的順序の喪失は、時変ランダムグラフにおける到達可能性確率にどのように影響するか？
• RQ2 ストア・オア・アドバンスおよびカットスルーモデル下での動的ランダムパスにおけるメッセージ伝播遅延の正確な確率分布は何か？
• RQ3 間欠的接続性を示す時変グラフにおいて、適応型ルーティング戦略はどのように期待伝播時間を最小化できるか？
• RQ4 異なるレベルのグラフスラッシング（例：m-スラッシング）は、到達可能性といった時間的グラフ特性の正確性にどのような影響を及ぼすか？
• RQ5 彩色数や支配集合といった従来のグラフ特性を、時間的領域に意味的に拡張できるか？

主な発見

• 本稿では、動的ランダムパスにおけるメッセージ遅延の正確な確率分布を導出しており、一次モーメント近似の範囲を越える。
• ストア・オア・アドバンスおよびカットスルー遅延モデルは、カットスルーが到達可能ノードへ即時転送することで、より高速なルーティングを可能にするという、異なる伝播ダイナミクスを示す。
• 提案された適応型ルーティングアルゴリズムは、優先度ベースのextract-minアプローチを用いて、ストア・オア・アドバンスモデル下でMETT（Minimum Expected Time to Target）値を正しく計算する。
• m-スラッシングモデルにより、計算効率と正確性の間で制御可能なトレードオフが可能となり、決定論的シーケンスでは非一様スラッシングが性能向上に寄与する可能性がある。
• カットスルーモデルは、隣接ノード集合を到達可能ノード集合に置き換えることで適応可能であり、多項式時間のオракルサポートがある限り、アルゴリズムの正しさは保たれる。
• 理論的結果により、帰納法の下でアルゴリズムの正しさが維持され、隣接ノードの値が既知で、期待時間の順に処理される場合、METT値は正確に計算可能であることが示された。