[논문 리뷰] A Faster Algorithm for Fully Dynamic Betweenness Centrality

Matteo Pontecorvi, Vijaya Ramachandran|arXiv (Cornell University)|2015. 06. 18.

Complex Network Analysis Techniques참고 문헌 23인용 수 6

한 줄 요약

이 논문은 방향 가중 그래프에서 중심성 중심성(BC)을 유지하기 위한 더 빠른 완전 동적 알고리즘을 제시한다. 각 업데이트에 대해 평균 시간 복잡도가 $ O({u^{*}}^{2} \bullet \log^{2}n) $이며, 이는 $ \nu^{*} $가 어떤 정점을 통과하는 최단 경로상의 고유한 간선 수를 상한으로 제한한다. 이 방법은 토르업의 완전 동적 APSP 접근법을 확장하여 다수의 최단 경로를 효율적으로 표현하는 새로운 데이터 구조를 사용하며, 이전의 정확한 동적 BC 알고리즘보다 로그 인자만큼 향상된다.

ABSTRACT

We present a new fully dynamic algorithm for maintaining betweenness centrality (BC) of vertices in a directed graph $G=(V,E)$ with positive edge weights. BC is a widely used parameter in the analysis of large complex networks. We achieve an amortized $O((ν^*)^2 \log^2 n)$ time per update, where $n = |V| $ and $ν^*$ bounds the number of distinct edges that lie on shortest paths through any single vertex. This result improves on the amortized bound for fully dynamic BC in [Pontecorvi-Ramachandran2015] by a logarithmic factor. Our algorithm uses new data structures and techniques that are extensions of the method in the fully dynamic algorithm in Thorup [Thorup2004] for APSP in graphs with unique shortest paths. For graphs with $ν^* = O(n)$, our algorithm matches the fully dynamic APSP bound in [Thorup2004], which holds for graphs with $ν^* = n-1$, since it assumes unique shortest paths.

연구 동기 및 목표

• 방향 가중 그래프에서 완전 동적 중심성 중심성에 대해 증명 가능하게 더 빠른 정확한 알고리즘을 개발하는 것.
• 이전까지의 최고 평균 복잡도인 $ O({\nu^{*}}^{2} \cdot \log^{3}n) $보다 로그 인자를 줄여 완전 동적 BC에 대한 개선된 복잡도를 달성하는 것.
• 토르업의 완전 동적 APSP 기법을 다수의 최단 경로를 처리할 수 있도록 일반화하여 효율적인 BC 유지 기능을 가능하게 하는 것.
• 모든 최단 경로를 간결하게 표현하면서도 동적 업데이트와 경로 수 계산을 효율적으로 지원하는 새로운 데이터 구조를 설계하는 것.
• 특히 고유한 최단 경로를 갖는 그래프에서 $ \nu^{*} = O(n) $일 경우, 토르업의 완전 동적 APSP 복잡도에 도달하는 것.

제안 방법

• 최단 경로의 다수 표현을 위한 일반화된 튜플 시스템을 사용하여, 토르업의 완전 동적 APSP 프레임워크를 다수의 최단 경로를 가진 정점 쌍을 지원하도록 확장한다.
• 레벨별 집합 $ L_j^*, R_j^*, LC_j^*, RC_j^* $를 갖는 계층적 데이터 구조를 도입하여, 다양한 레벨에서 최단 경로의 왼쪽 및 오른쪽 연장선을 추적한다.
• 중요도 우선순위 큐 $ H_f $ 를 사용하여 $ (xa, by) $ 형식의 삼중항을 처리하며, 관련된 가중치와 수를 포함하여 새로운 또는 업데이트된 경로만 처리되도록 보장한다.
• 마킹된 튜플과 제어 비트를 사용하여 동적 변경 동안 경로 업데이트를 추적하고, 레벨 간의 불변성을 유지한다.
• 유효한 왼쪽 및 오른쪽 연장선을 통해 경로 수를 복구하고 전파하는 'ff-fixup' 절차를 활용하여, 모든 최단 경로가 정확히 유지되도록 보장한다.
• 토르업의 고유 경로 모델에서 유도된 레벨 그래프 개념을 다중 경로 환경으로 일반화하여, 여러 경로 계층 간의 업데이트를 효율적으로 전파할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 이전의 $ O({\nu^{*}}^{2} \cdot \log^{3}n) $ 방법보다 더 나은 평균 시간 복잡도를 갖는 완전 동적 중심성 중심성 알고리즘을 설계할 수 있는가?
• RQ2 원래 고유한 최단 경로를 대상으로 한 토르업의 완전 동적 APSP 알고리즘을 다수의 최단 경로를 효율적으로 처리할 수 있도록 일반화할 수 있는가?
• RQ3 경로 표현을 위한 데이터 구조를 동적 업데이트를 지원하도록 확장할 수 있으며, 정확성과 로그 성능 오버헤드를 유지할 수 있는가?
• RQ4 새로운 알고리즘이 $ \nu^{*} = O(n) $일 경우, 특히 고유한 최단 경로를 갖는 그래프에서 토르업의 APSP 알고리즘과 동일한 점근적 복잡도를 달성하는가?
• RQ5 정점을 통과하는 최단 경로상의 고유 간선 수($ \nu^{*} $)를 복잡도 평가의 매개변수로 사용하여 동적 BC 계산의 복잡도를 제한할 수 있는가?

주요 결과

• 제안된 알고리즘은 각 업데이트에 대해 평균 시간 복잡도 $ O({\nu^{*}}^{2} \cdot \log^{2}n) $를 달성하며, 이는 이전 최고 성능보다 로그 인자만큼 향상된다.
• 특히 $ \nu^{*} = O(n) $인 그래프에서는 알고리즘이 토르업의 완전 동적 APSP 복잡도를 충족하며, 이는 고유한 최단 경로를 가정한다.
• 새로운 튜플 시스템과 계층적 데이터 구조를 사용하여 동적 업데이트 중에도 중심성 중심성 점수와 모든 정점 쌍 간 최단 경로의 정확성을 유지한다.
• 이 방법은 다수의 최단 경로를 가진 정점 쌍을 지원하기 위해 토르업의 레벨 그래프 기법을 일반화하여 효율적인 경로 수 계산과 전파를 가능하게 한다.
• 제어 비트와 마킹된 튜플을 통해 경로 수를 정확히 유지하며, 각 업데이트 시 새로 발견되거나 업데이트된 경로만 처리되도록 보장한다.
• ff-fixup 절차는 모든 최단 경로가 레벨 간에 정확히 복구되고 연장되도록 보장하여, 모든 유효한 경로가 계산에 포함됨을 유지하는 불변성을 확보한다.