[論文レビュー] An Introduction to Temporal Graphs: An Algorithmic Perspective

Othon Michail|arXiv (Cornell University)|Mar 1, 2015

Opportunistic and Delay-Tolerant Networks被引用数 3

ひとこと要約

本稿では、時間的に変化するエッジの可用性を伴う動的ネットワークとしての時系列グラフを導入し、時系列的接続性および直径を分析するためのアルゴリズムフレームワークを提案する。ランダムな時系列完全グラフ（寿命 r=n）において、時系列的直径が高確率で O(log n) であることを確立し、前進・後退のフロント拡張アルゴリズムを用いて効率的に旅程を構築している。

ABSTRACT

A \emph{temporal graph} is, informally speaking, a graph that changes with time. When time is discrete and only the relationships between the participating entities may change and not the entities themselves, a temporal graph may be viewed as a sequence $G_1,G_2\ldots,G_l$ of static graphs over the same (static) set of nodes $V$. Though static graphs have been extensively studied, for their temporal generalization we are still far from having a concrete set of structural and algorithmic principles. Recent research shows that many graph properties and problems become radically different and usually substantially more difficult when an extra time dimension in added to them. Moreover, there is already a rich and rapidly growing set of modern systems and applications that can be naturally modeled and studied via temporal graphs. This, further motivates the need for the development of a temporal extension of graph theory. We survey here recent results on temporal graphs and temporal graph problems that have appeared in the Computer Science community.

研究の動機と目的

• 時系列グラフのための基礎的でアルゴリズム的なフレームワークを構築すること。これは、静的グラフ理論の動的拡張版である。
• エッジが特定の時刻にのみ存在するネットワークにおける時系列的接続性および旅程の存在という課題に取り組むこと。
• ランダムな時系列グラフの時系列的直径を分析し、到達可能性に関するタイトな境界を確立すること。
• 時間とともに変化する通信、社会的、交通ネットワークなどの現実世界のシステムをモデル化すること。
• 動的で敵対的なネットワークトポロジーにおいて、効率的な情報拡散のためのアルゴリズム的ツールを提供すること。

提案手法

• 時系列グラフを同一のノード集合 V を持つ静的グラフの系列 G₁, G₂, ..., Gₗ としてモデル化し、エッジは特定の時刻ステップでのみ存在するものとする。
• 接続性の閾値を分析するために、Erdős-Rényi 確率的グラフモデル G(n,p) を時系列部分グラフに適用する。
• 前進・後退のフロント拡張アルゴリズムを用いる：出発点 s からの前進フロントと到着点 t からの後退フロントを、長さ c₂ の時間間隔ごとに拡張する。
• 確率的解析を用いて、両方のフロントが高確率で O(log n) ステップ以内に Θ(√n) 個のノードにまで成長することを示す。
• 最終的な s のフロントと t のフロントの間に接続エッジが存在することを証明することで、時系列的接続性を確立する。
• 集中不等式を適用して、任意のノードペアの失敗確率が 3/n 以下であることを示し、時系列的直径に対する高確率の境界を得る。

実験結果

リサーチクエスチョン

• RQ1 各エッジが独立にランダムな時刻に出現するランダムな時系列完全グラフの時系列的直径は何か？
• RQ2 任意の時間変動するトポロジーを持つ動的ネットワークにおいて、効率的な旅程をどのように構築できるか？
• RQ3 時系列的直径が高確率で O(log n) となるように保証するための最小の寿命 r は何か？
• RQ4 時系列的直径はノード数 n とエッジの可用性寿命 r に対してどのようにスケーリングするか？
• RQ5 ランダムな時系列グラフにおいて、すべてのノードペア間での到達可能性を保証する際のランダムネスの代償は何か？

主な発見

• エッジの寿命 r=n のランダムな時系列完全グラフの時系列的直径は、高確率で O(log n) である。
• r=Ω(n) の場合、ほとんどすべての時系列グラフが時系列的直径 ω(log n) を示すため、この値の周辺に鋭い閾値が存在することが示唆される。
• 前進・後退のフロント拡張アルゴリズムは、任意の固定されたペア s,t に対して、確率 1−3/n³ 以上で s-t 間の旅程を O(log n) の期間で構築できる。
• s の最終フロントと t の最終フロントは、それぞれ高確率で Θ(√n) 個のノードから構成され、高い確率で接続可能である。
• s の最終フロントと t の最終フロントの間に接続エッジが存在することは、高確率で保証され、旅程の完了が可能である。
• 全体の時系列的直径は、確率 1−3/n 以上で O(log n) であることが確認され、このようなネットワークにおける高速な情報拡散が裏付けられる。