[논문 리뷰] Testing Temporal Connectivity in Sparse Dynamic Graphs

Matthieu Barjon, Arnaud Casteigts외 3명|arXiv (Cornell University)|2014. 04. 30.

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.

연구 동기 및 목표

• 동적 그래프가 시간에 따라 모든 노드 쌍 간에 여정이 존재하는지 테스트하기 위한 효율적인 알고리즘을 개발하는 것, 즉 시간적 연결성이 존재하는지 확인하는 것.
• 희박한 동적 그래프에서 엄격한 여정(시간 단계당 한 개의 간선)과 비엄격한 여정(시간 단계당 무제한의 간선)을 모두 다루는 것.
• 스트리밍 처리를 활용하고 전체 시간적 연결성이 확인되면 즉시 종료하는 조기 종료 기능을 통해 계산 비용을 최소화하는 것.
• 다양한 그래프 파라미터에서 기존 솔루션, 특히 [3]에서 제시한 최초 도착 여정 기반 접근법과의 복잡도를 비교하는 것.
• 비엄격한 여정의 전이 폐쇄 계산이 엄격한 여정 계산만큼 더 복잡하지 않음을 입증하는 것, 이는 저비용 전처리 단계 덕분이다.

제안 방법

• 알고리즘은 각 시간 단계 Gi를 순차적으로 처리하면서 엄격한 여정의 전이 폐쇄 G*_{st}를 점진적으로 구축한다. 이 과정에서 노드 간 도달 가능성 정보를 유지한다.
• 비엄격한 여정의 경우, 각 Gi의 정적 전이 폐쇄 Gi*를 BFS 또는 DFS를 통해 각 노드에서 시작하여 계산한다. 이 단계는 시간 복잡도가 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(누적 밀도)와 같은 파라미터들이 두 알고리즘 간 상대적 성능에 미치는 영향은 어떠한가?
• RQ4 실제 희박한 이동 시나리오에서 조기 종료가 실제 실행 시간에 어떤 영향을 미치는가?
• RQ5 μ ≪ m일 경우, 제안된 알고리즘이 기존 솔루션을 초월하는 파라미터 영역는 어디인가?

주요 결과

• 제안된 알고리즘은 엄격한 여정과 비엄격한 여정의 전이 폐쇄를 모두 O(kμn) 시간에 계산한다. 비엄격한 경우는 추가적인 O(kμn) 전처리 단계만 필요하다.
• μ가 m에 비해 작을 경우, 특히 μ = O(n)이고 m = Θ(n²), k = Θ(n)일 때, [3]의 변형보다 알고리즘이 성능이 뛰어나다.
• k가 클 경우, k 대 log k 요소의 영향으로 인해 알고리즘이 [3]보다 점근적으로 더 효율적이다. 특히 k = Ω(n) 또는 k = Ω(n²)일 경우 두드러진다.
• 표 분석 결과, 60개의 테스트 파라미터 조합 중 12개에서 제안된 알고리즘이 더 효율적이며, μ ≪ m일수록 이 우월성이 커진다.
• 조기 종료를 지원하여 실제로 실행 시간을 크게 단축시키며, 특히 시간적 연결성이 조기에 확립될 경우 두드러진다.
• 전이 폐쇄 구조 G*_{st}와 G*는 점진적으로 계산되며, 단순한 인접성 테스트를 통해 빠른 후속 시간적 연결성 쿼리가 가능하다.