[논문 리뷰] Fully Dynamic All Pairs All Shortest Paths

Matteo Pontecorvi, Vijaya Ramachandran|arXiv (Cornell University)|2014. 12. 11.

Complex Network Analysis Techniques참고 문헌 13인용 수 5

한 줄 요약

이 논문은 양방향 간선 가중치를 갖는 방향성 그래프에서 모든 정점 쌍 간 최단경로(APASP)를 유지하기 위한 완전 동적 알고리즘을 제시한다. 이는 간선 가중치 증가와 감소를 모두 지원하며, 업데이트당 평균 시간 복잡도를 $O({u^{*}}^{2}/\log^{3}n)$로 달성하여 유일한 최단경로에 대해 알려진 최고의 복잡도와 일치한다. 또한 동일한 효율성으로 완전 동적 중심성 중심도를 확장한다.

ABSTRACT

We consider the all pairs all shortest paths (APASP) problem, which maintains all of the multiple shortest paths for every vertex pair in a directed graph $G=(V,E)$ with a positive real weight on each edge. We present two fully dynamic algorithms for this problem in which an update supports either weight increases or weight decreases on a subset of edges incident to a vertex. Our first algorithm runs in amortized $O({ν^*}^2 \cdot \log^3 n)$ time per update, where $n = |V|$, and $ν^*$ bounds the number of edges that lie on shortest paths through any single vertex. Our APASP algorithm leads to the same amortized bound for the fully dynamic computation of betweenness centrality (BC), which is a parameter widely used in the analysis of large complex networks. Our method is a generalization and a variant of the fully dynamic algorithm of Demetrescu and Italiano [DI04] for unique shortest path, and it builds on our recent decremental APASP [NPR14]. Our second (faster) algorithm reduces the amortized cost per operation by a logarithmic factor, and uses new data structures and techniques that are extensions of methods in a fully dynamic algorithm by Thorup.

연구 동기 및 목표

• 양방향 간선 가중치를 갖는 방향성 그래프에서 모든 정점 쌍 간 최단경로를 유지하기 위한 완전 동적 알고리즘을 개발한다.
• 가중치 증가와 감소를 모두 지원하는 완전 동적 업데이트를 구현하며, 이는 이전 연구에서 감소 전용 또는 증가 전용으로 국한된 것을 확장한다.
• 모든 정점 쌍에 대해 다중 최단경로를 유지하여 동적 네트워크에서 중심성 중심도의 정확한 계산을 가능하게 한다.
• 기존의 완전 동적 APSP 알고리즘보다 또는 그와 동일한 평균 시간 복잡도를 달성하며, 다중 최단경로가 존재하는 경우에도 성능을 유지를 한다.
• 새로운 '더미 시퀀스' 메커니즘을 도입하여 Demetrescu–Italiano 알고리즘에 대한 새로운 평균 분석을 제공한다.

제안 방법

• Demetrescu와 Italiano(DI)의 완전 동적 APSP 알고리즘을 다중 최단경로를 처리할 수 있도록 일반화하기 위해 데이터 구조와 업데이트 절차를 확장한다.
• 로컬 및 글로벌 구성 요소를 갖는 계층적 데이터 구조를 사용하여 왼쪽 최단경로 확장(LHP)과 오른쪽 최단경로 확장(RHP) 및 그 수를 유지한다.
• 경로의 가중치와 종점 $[wt, x, y]$를 키로 사용하는 우선순위 큐 $H_f$를 사용하여 중간 정점을 통과하는 경로 $(xa, by)$를 처리한다.
• 기존 DI 시퀀스를 대체하기 위해 '더미 시퀀스'를 도입하여 다중 최단경로 환경에 적용 가능한 새로운 평균 분석을 가능하게 한다.
• Thorup의 빠른 APSP 알고리즘에서 유래한 기법을 활용하여 고급 경로 수세기 및 확장 기법을 사용해 평균 복잡도를 로그 인자만큼 감소시킨다.
• 계층적 구조($P(x,y)$, $P^*$, $dict_j$)와 제어 비트($\beta$)를 사용해 경로 수를 유지하며, 업데이트 중에 새로 발견된 경로를 추적하고 정확성을 보장한다.

실험 결과

연구 질문

• RQ1 완전 동적 APASP 알고리즘을 설계할 수 있는가? 이는 간선 가중치 증가와 감소 모두에 대해 다중 최단경로를 정확히 유지할 수 있어야 한다.
• RQ2 다중 경로가 존재하는 경우에도 기존 Demetrescu–Italiano 알고리즘의 유일한 최단경로에 대한 복잡도와 동일한 평균 시간 복잡도를 달성할 수 있는가?
• RQ3 Thorup의 빠른 APSP 알고리즘에서 유래한 기법을 다중 경로 환경에 적응시켜 업데이트 시간에 $\log n$ 요소의 향상을 달성할 수 있는가?
• RQ4 제안된 APASP 알고리즘을 사용해 중심성 중심도를 동일한 평균 복잡도로 동적으로 유지할 수 있는가?
• RQ5 기존 DI 알고리즘의 원래 시퀀스를 '더미 시퀀스'로 대체함으로써 다중 경로 환경에서 정확성과 효율성을 보장하는 새로운 평균 분석을 제공할 수 있는가?

주요 결과

• 기본 알고리즘은 $O({\nu^{*}}^{2}\\nolimits\log^{3}n)$의 평균 업데이트 시간을 달성하며, $\nu^*$가 작을 경우 DI 알고리즘의 유일한 최단경로에 대한 복잡도와 일치한다.
• 가중치 증가와 감소 모두에 대해 모든 정점 쌍에 대한 다중 최단경로를 정확히 유지하며, 이는 이전의 감소 전용 또는 증가 전용 방법을 확장한 것이다.
• Thorup의 방법에서 영감을 얻은 고급 데이터 구조를 통합함으로써, 평균 시간 복잡도를 $O({\nu^{*}}^{2}\nolimits\log^{2}n)$로 향상시킨 빠른 변형이 존재한다.
• APASP 알고리즘은 직접적으로 동일한 평균 복잡도를 갖는 완전 동적 중심성 중심도 계산을 가능하게 하여 동적 복잡 네트워크에서 효율적인 업데이트를 지원한다.
• 논문은 다중 경로 환경에서 정확성과 효율성을 보장하는 '더미 시퀀스'를 도입하여 Demetrescu–Italiano 알고리즘에 대한 새로운 평균 분석을 제공한다.
• 알고리즘의 정확성은 루프 불변성을 통해 증명되며, 이는 업데이트 중에 모든 최단경로와 그 수가 데이터 구조 내에서 정확히 유지됨을 보장한다.