[論文レビュー] Exploiting Automorphisms of Temporal Graphs for Fast Exploration and Rendezvous

Konstantinos Dogeas, Thomas Erlebach+3 more|arXiv (Cornell University)|Dec 12, 2023

Opportunistic and Delay-Tolerant Networks被引用数 1

ひとこと要約

本稿では、時間的グラフにおけるグラフ自己同型と頂点軌道の利用を提案し、より高速な探索と合流を実現する。時間的探索が O(rn^{1+ϵ}) 時間ステップで完了することを証明しており、一般の連結時間的グラフにおける Θ(n²) の境界と比較して顕著な改善がなされている。本研究ではまた、高速な合流プロトコルと、与えられた軌道のすべての頂点を高確率で訪問する時間的ウォークを構築する確率的アルゴリズムを確立している。

ABSTRACT

Temporal graphs are graphs where the edge set can change in each time step, and the vertex set stays the same. Exploration of temporal graphs whose snapshot in each time step is a connected graph, called connected temporal graphs, has been widely studied. We extend the concept of graph automorphisms from static graphs to temporal graphs and show that symmetries enable faster exploration: We prove that a connected temporal graph with $n$ vertices and orbit number $r$ (i.e., $r$ is the number of automorphism orbits) can be explored in $O(r n^{1+ε})$ time steps, for any fixed $ε>0$. For $r=O(n^c)$ for constant $c<1$, this is a significant improvement over the known tight worst-case bound of $Θ(n^2)$ time steps for arbitrary connected temporal graphs. We also give two lower bounds for exploration, showing that $Ω(n \log n)$ time steps are required for some inputs with $r=O(1)$ and that $Ω(rn)$ time steps are required for some inputs for any $r$ with $1\le r\le n$. The techniques we develop for fast exploration are used to derive the following result for rendezvous in connected temporal graphs: Two agents are placed by an adversary at arbitrary vertices and given full information about the temporal graph, except that they do not have consistent vertex labels. The agents can meet at a common vertex after $O(n^{1+ε})$ time steps, for any $ε>0$. For some connected temporal graphs with constant orbit number we present a complementary lower bound of $Ω(n\log n)$ time steps. Finally, we give a randomized algorithm to construct a temporal walk $W$ that visits all vertices of a given orbit with probability at least $1-ε$ for any $0<ε<1$ such that $W$ spans $O((n^{5/3}+rn)\log n)$ time steps. The runtime of this algorithm consists of $O(n^{1/3} \log (n/ε))$ linear-time scans of the snapshots that exist in this time span.

研究の動機と目的

• 通信不能かつ頂点ラベルが一貫しない異種のエージェントに対する時間的合流問題（trp）を形式化し、分析すること。
• グラフ自己同型と頂点軌道を活用して、時間的探索と合流のよりタイトな上界と下界を導出すること。
• 与えられた軌道のすべての頂点を高確率で訪問する効率的な時間的ウォークを構築する確率的アルゴリズムを設計すること。
• 時間的グラフにおける構造的対称性を活用することで、探索および合流の上界と下界のギャップを埋めること。

提案手法

• 時間的グラフにおける自己同型軌道の概念を導入し、構造的パラメータとしての軌道数 r を定義する。
• 目標頂点集合を高確率で探索する時間的ウォークをサンプリングするために (S, T, t, k)-ランダムウォークを用いる。
• メルカトル級数を適用して、失敗確率に対数的依存性を持つランダムウォークのサンプル数を制限する。
• フェーズベースのアプローチを用いて時間区間ごとに時間的ウォークを構築し、各フェーズで確率的サンプリングを用いてカバー率を保証する。
• 軌道の対称性を活用して探索の複雑度を低減し、n に依存するのではなく r に依存するように置き換える。
• 高確率保証付きと期待実行時間付きの両方のアルゴリズムを設計し、両者とも線形時間のスナップショット処理を用いる。

実験結果

リサーチクエスチョン

• RQ1 時間的グラフにおけるグラフ自己同型は、既知の最悪ケース境界よりも高速な時間的探索を達成するために利用可能か？
• RQ2 異なるプログラムを実行し、ラベルが一貫しない2つのエージェントが時間的グラフ内で合流するのに必要な最小時間は何か？
• RQ3 与えられた自己同型軌道のすべての頂点を高確率で訪問し、かつ低実行時間で達成できる時間的ウォークはどのように構築できるか？
• RQ4 軌道数 r でパrameter化した場合、時間的探索と合流の最もタイトな上界と下界は何か？
• RQ5 自己同型軌道の構造的対称性を活用することで、動的グラフアルゴリズムにおけるスナップショット評価回数を削減できるか？

主な発見

• 軌道数 r を持つ連結時間的グラフの時間的探索は、任意の固定 ϵ > 0 に対して O(rn^{1+ϵ}) 時間ステップで達成可能であり、一般の Θ(n²) の最悪ケース境界を改善している。
• r = O(n^c) かつ c < 1 の場合、探索時間は一般の Θ(n²) の境界よりも顕著に高速である。
• r = O(1) の入力に対して Ω(n log n) 時間ステップの下界が確立され、対称性だけではこの下限を下回ることはできないことが示された。
• 2つのエージェントは、頂点ラベルが一貫しなくても、任意の固定 ϵ > 0 に対して O(n^{1+ϵ}) 時間ステップで合流を達成できる。
• 確率的アルゴリズムにより、与えられた軌道のすべての頂点を確率 1−ϵ 以上で訪問する時間的ウォークが、O((n^{5/3} + rn) log n) 時間ステップで構築可能であり、O(n^{1/3} log(n/ϵ)) 回の線形時間スナップショット評価を要する。
• 代替アルゴリズムにより、確率 1 で同じカバレッジを達成でき、期待値として O(n^{1/3}) 回の線形時間スナップショット評価で実現可能である。