[논문 리뷰] Computing the diameter polynomially faster than APSP

Raphael Yuster|arXiv (Cornell University)|2010. 11. 29.

Complexity and Algorithms in Graphs참고 문헌 14인용 수 16

한 줄 요약

이 논문은 정수 간선 가중치를 가진 방향성 그래프의 지름을 기존의 모든 정점 쌍 최단 경로(APSP) 알고리즘보다 다항적으로 빠르게 계산하는 최초의 랜덤화 알고리즘을 제시한다. 거리 d 이내의 모든 정점 쌍을 보고하는 새로운 '임계값 APSP 문제'를 도입함으로써, 다항식에 대한 행렬 콘볼루션과 빠른 행렬 곱셈을 사용하여, {−M,…,M} 범위의 가중치에 대해 Õ(M^{ω/(ω+1)}n^{(ω²+3)/(ω+1)})의 실행 시간을 달성한다. 이는 유한한 M에 대해 즈윅의 APSP 알고리즘보다 빠르다.

ABSTRACT

We present a new randomized algorithm for computing the diameter of a weighted directed graph. The algorithm runs in $\Ot(M^{\w/(\w+1)}n^{(\w^2+3)/(\w+1)})$ time, where $\w < 2.376$ is the exponent of fast matrix multiplication, $n$ is the number of vertices of the graph, and the edge weights are integers in $\{-M,...,0,...,M\}$. For bounded integer weights the running time is $O(n^{2.561})$ and if $\w=2+o(1)$ it is $\Ot(n^{7/3})$. This is the first algorithm that computes the diameter of an integer weighted directed graph polynomially faster than any known All-Pairs Shortest Paths (APSP) algorithm. For bounded integer weights, the fastest algorithm for APSP runs in $O(n^{2.575})$ time for the present value of $\w$ and runs in $\Ot(n^{2.5})$ time if $\w=2+o(1)$. For directed graphs with {\em positive} integer weights in $\{1,...,M\}$ we obtain a deterministic algorithm that computes the diameter in $\Ot(Mn^\w)$ time. This extends a simple $\Ot(n^\w)$ algorithm for computing the diameter of an {\em unweighted} directed graph to the positive integer weighted setting and is the first algorithm in this setting whose time complexity matches that of the fastest known Diameter algorithm for {\em undirected} graphs. The diameter algorithms are consequences of a more general result. We construct algorithms that for any given integer $d$, report all ordered pairs of vertices having distance {\em at most} $d$. The diameter can therefore be computed using binary search for the smallest $d$ for which all pairs are reported.

연구 동기 및 목표

• 기존의 모든 정점 쌍 최단 경로(APSP) 알고리즘보다 정수 간선 가중치를 가진 방향성 그래프의 지름을 더 빠르게 계산하는 알고리즘을 개발하는 것.
• 정수 가중치가 부여된 방향성 그래프에서 지름이 APSP보다 점근적으로 더 빠르게 계산될 수 있는지 여부라는 열린 문제를 다루는 것.
• 비방향성 그래프에서의 Õ(n^ω) 알고리즘을 양의 정수 가중치가 있는 경우로 확장하여, 최상의 비방향성 그래프 알고리즘과 동일한 성능을 달성하는 것.
• 지름 계산의 핵심 원리가 되는 '임계값 APSP 문제'(거리 d 이내의 모든 정점 쌍을 보고하는 문제)를 도입하고 해결하는 것.

제안 방법

• 임계값 APSP 문제 도입: 주어진 임계값 d에 대해 거리가 d 이내인 모든 순서쌍 정점 쌍을 보고하는 것.
• 지름을 계산하기 위해 d에 대해 이진 탐색을 수행함으로써, 지름 문제를 다수의 임계값 APSP 문제 인스턴스로 환원하는 것.
• 가중치가 {−M,…,M}에 속할 경우, 거리의 수준에 따른 재귀적 분해를 사용하여, k ∈ 구간 L(d,M,j)에 속하는 행렬 A_k를 그룹화하는 것.
• 다중 거리 행렬 A_k를 단일 다항식 행렬 B의 계수로 인코딩함: B[u,v] = Σ_{q=0}^{s-1} A_{q+t}[u,v] x^q.
• 다항식 환에서 C = B²를 계산하여 계수 추출을 통해 A_k를 복원함으로써, 다항식에 대한 빠른 행렬 곱셈을 활용하는 것.
• 기저 치환(예: x = n+1)을 사용하여 다항식 곱셈을 정수 산술로 시뮬레이션함. O(M)개의 계수로 인해 Õ(M n^ω) 시간 내에 수행 가능함.

실험 결과

연구 질문

• RQ1 정수 간선 가중치를 가진 방향성 그래프의 지름은 기존의 알려진 APSP 알고리즘보다 더 빠르게 계산될 수 있는가?
• RQ2 전체 APSP보다 더 쉬운 문제 유형(임계값 APSP)을 통해 지름을 계산할 수 있는 방법이 존재하는가?
• RQ3 비방향성 그래프에서의 Õ(n^ω) 알고리즘은 양의 정수 가중치가 있는 그래프로 확장되어 동일한 점근적 복잡도를 달성할 수 있는가?
• RQ4 빠른 행렬 곱셈을 사용한 지름 계산에서, 가중치 범위 M과 그래프 크기 n 사이의 최적의 트레이드오프는 무엇인가?

주요 결과

• 이 알고리즘은 {−M,…,M} 범위의 정수 가중치를 가진 방향성 그래프의 지름을 Õ(M^{ω/(ω+1)}n^{(ω²+3)/(ω+1)}) 시간에 계산하며, 이는 유한한 M에 대해 즈윅의 APSP 알고리즘보다 다항적으로 빠르다.
• 유한한 정수 가중치(M = O(1))의 경우, ω < 2.376일 때 실행 시간은 O(n^{2.561})이며, 기존에 알려진 최고의 APSP 알고리즘의 O(n^{2.575})보다 향상된다.
• ω = 2 + o(1)일 때, 알고리즘은 Õ(n^{7/3}) 시간에 실행되며, 비방향성 그래프에서의 최고의 부분 세제곱 시간과 일치한다.
• 양의 정수 가중치 {1,…,M}의 경우, 결정론적 알고리즘이 Õ(M n^ω) 시간에 지름을 계산하며, 비방향성 그래프에서의 최고 알려진 복잡도와 일치한다.
• 알고리즘은 다항식 행렬 콘볼루션을 사용하여 다수의 거리 행렬을 동시에 계산함으로써, 비용을 O(M²n^ω)에서 Õ(M n^ω)로 감소시킨다.
• 해결책은 거리 범위의 계층적 분해와 효율적인 다항식 표현을 기반으로 하며, 구조화된 계수 집합에 대한 빠른 행렬 곱셈을 가능하게 한다.