[논문 리뷰] Exploiting Automorphisms of Temporal Graphs for Fast Exploration and Rendezvous

Konstantinos Dogeas, Thomas Erlebach외 3명|arXiv (Cornell University)|2023. 12. 12.

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 다른 프로그램을 가진 두 에이전트가 시간적 그래프에서 정점 레이블이 일관되지 않더라도 만날 데 필요한 최소 시간은 얼마인가?
• RQ3 어떻게 하면 주어진 자동형사 궤도의 모든 정점을 높은 확률과 낮은 실행 시간으로 방문하는 시간적 보행을 구성할 수 있는가?
• RQ4 궤도 수 r로 매개변수화할 때, 시간적 탐색과 만남에 대해 가장 날카로운 상한과 하한은 무엇인가?
• RQ5 자동형사 궤도의 구조적 대칭성을 활용하여 동적 그래프 알고리즘에서 스크래치 평가 횟수를 줄일 수 있는가?

주요 결과

• 궤도 수 r을 가진 연결된 시간적 그래프의 시간적 탐색은 임의의 고정된 ϵ > 0에 대해 O(rn^{1+ϵ}) 시간 단계 내에 달성 가능하며, 이는 일반적인 Θ(n²) 최악의 경우 상한보다 향상된 것이다.
• r = O(n^c)이며 c < 1일 경우, 탐색 시간은 일반적인 Θ(n²) 상한보다 크게 빠르게 된다.
• r = O(1)인 일부 입력에 대해 Ω(n log n) 시간 단계의 하한이 확립되어, 대칭성만으로도 이 임계값 이하로 상한을 낮출 수는 없음을 보여준다.
• 두 에이전트는 정점 레이블이 일관되지 않더라도 임의의 고정된 ϵ > 0에 대해 O(n^{1+ϵ}) 시간 단계 내에 만남을 이룰 수 있다.
• 랜덤 알고리즘이 주어진 궤도의 모든 정점을 1−ϵ 이상의 확률로 방문하는 시간적 보행을 O((n^{5/3} + rn) log n) 시간 단계 내에 구성하며, O(n^{1/3} log(n/ϵ))회의 선형 시간 스크래치 평가를 수행한다.
• 다른 알고리즘은 동일한 커버리지를 1의 확률로 달성하며, O(n^{1/3})회의 기대 선형 시간 스크래치 평가를 사용한다.