[論文レビュー] Testing Temporal Connectivity in Sparse Dynamic Graphs

Matthieu Barjon, Arnaud Casteigts+3 more|arXiv (Cornell University)|Apr 30, 2014

Opportunistic and Delay-Tolerant Networks参考文献 11被引用数 14

ひとこと要約

本稿では、スパースな動的グラフにおける時間的結合性をテストする効率的なストリーミングアルゴリズムを提示する。時間的結合性の推移的閉包を、厳密な移動経路と非厳密な移動経路の両方について O(kμn) 時間で計算する。非厳密な移動経路の処理には、各時刻ステップごとに静的推移的閉包を計算する追加の O(kμn) 前処理ステップが必要となるが、この処理により非厳密ケースの計算コストは厳密ケースと同等の複雑さに保たれる。

ABSTRACT

We address the problem of testing whether a given dynamic graph is temporally connected, {\it i.e} a temporal path (also called a {\em journey}) exists between all pairs of vertices. We consider a discrete version of the problem, where the topology is given as an evolving graph ${\cal G}=\{G_1,G_2,...,G_{k}\}$ whose set of vertices is invariant and the set of (directed) edges varies over time. Two cases are studied, depending on whether a single edge or an unlimited number of edges can be crossed in a same $G_i$ (strict journeys {\it vs} non-strict journeys). In the case of {\em strict} journeys, a number of existing algorithms designed for more general problems can be adapted. We adapt one of them to the above formulation of the problem and characterize its running time complexity. The parameters of interest are the length of the graph sequence $k=|{\cal G}|$, the maximum {\em instant} density $μ=max(|E_i|)$, and the {\em cumulated} density $m=|\cup E_i|$. Our algorithm has a time complexity of $O(kμn)$, where $n$ is the number of nodes. This complexity is compared to that of the other solutions: one is always more costly (keep in mind that is solves a more general problem), the other one is more or less costly depending on the interplay between instant density and cumulated density. The length $k$ of the sequence also plays a role. We characterize the key values of $k, μ$ and $m$ for which either algorithm should be used. In the case of {\em non-strict} journeys, for which no algorithm is known, we show that some pre-processing of the input graph allows us to re-use the same algorithm than before. By chance, these operations happens to cost again $O(kμn)$ time, which implies that the second problem is not more difficult than the first.

研究の動機と目的

• 動的グラフが時間的結合的であるかどうか、すなわち時間経過とともにすべての頂点ペア間に移動経路が存在するかをテストするための効率的アルゴリズムの開発。
• スパースな動的グラフにおいて、1ステップごとに1本の辺しか通れない「厳密な移動経路」と、1ステップに複数の辺を通ることが可能な「非厳密な移動経路」の両方を扱う。
• ストリーミング処理と、時間的結合性が達成された時点で即座に終了する早期終了機能を活用して、計算コストを最小限に抑える。
• 提案アルゴリズムの計算量を、[3]で提示されたフォアモスト移動経路に基づく手法と比較し、さまざまなグラフパラメータ下での性能を評価する。
• 非厳密移動経路の推移的閉包計算が、厳密移動経路の計算と同等の複雑さで実現可能であることを示す。

提案手法

• アルゴリズムは、各時刻ステップ Gi を順次処理することで、厳密移動経路の推移的閉包 G*_{st} を段階的に構築し、頂点間の到達可能性情報を維持する。
• 非厳密移動経路の場合は、まず各 Gi について、BFS や DFS を用いて各頂点から出発する静的推移的閉包 Gi* を計算する。この処理は各ステップあたり O(μn) 時間を要する。
• 同じコアアルゴリズムを、変更された動的グラフ {Gi*} に適用することで、非厳密移動経路の推移的閉包 G* を効果的に計算する。
• アルゴリズムの実行時間は O(kμn) であり、非厳密移動経路の前処理コストが本アルゴリズムのコストと等価であるという鍵となる洞察が得られる。
• 早期終了をサポート：すべての k ステップを処理する前にも時間的結合性が達成された場合、アルゴリズムは直ちに停止する。
• 出力は、すべての可能な移動経路を表す静的有向グラフであり、単純な隣接関係の確認により、高速に時間的結合性クエリを実行可能である。

実験結果

リサーチクエスチョン

• RQ1 提案された O(kμn) アルゴリズムが、[3] の O(n(m log k + n log n)) アルゴリズムよりも効率的となる条件は何か？
• RQ2 非厳密移動経路の推移的閉包計算を、厳密移動経路計算と同等の計算量にまで低減できるか？
• RQ3 k（時系列長）、μ（瞬時密度）、m（累積密度）というパラメータが、2つのアルゴリズムの相対的性能に与える影響は何か？
• RQ4 現実的なスパースな移動シナリオにおいて、早期終了の影響が実際の実行時間に与える影響は何か？
• RQ5 どのようなパラメータ領域で、提案アルゴリズムが既存のソリューションを上回るか。特に μ ≪ m の場合に注目する。

主な発見

• 提案アルゴリズムは、厳密移動経路と非厳密移動経路の両方について、推移的閉包を O(kμn) 時間で計算可能であり、非厳密ケースでは追加の O(kμn) 前処理ステップのみが必要である。
• μ が m より小さい領域では、[3] の手法の変種よりも提案アルゴリズムが優れている。特に μ = O(n) かつ m = Θ(n²)、k = Θ(n) の場合に顕著である。
• k が大きい場合には、k と log k の要因の違いにより、提案アルゴリズムは [3] よりも漸近的に効率的である。特に k = Ω(n) または k = Ω(n²) の場合に顕著である。
• 表の分析から、60通りのパラメータ組み合わせのうち12通りで提案アルゴリズムが優れており、μ ≪ m の場合にその優位性がさらに大きくなる。
• 早期終了が実装されており、時間的結合性が早期に達成された場合には、実際の実行時間が著しく短縮される。
• G*_{st} および G* の推移的閉包構造は段階的に計算可能であり、単純な隣接関係テストにより、後続の時間的結合性クエリを高速に実行可能である。