[논문 리뷰] A Faster Deterministic Distributed Algorithm for Weighted APSP Through Pipelining.

Udit Agarwal, Vijaya Ramachandran|arXiv (Cornell University)|2018. 07. 23.

Complexity and Algorithms in Graphs인용 수 5

한 줄 요약

이 논문은 가중 방향 그래프에서 모든 정점 쌍 간 최단 경로(APSP)를 계산하기 위한 새로운 파ipel린드 결정적 분산 알고리즘을 제안한다. 파이프라인 기반 최적화를 통해 가보우의 스케일링 알고리즘을 개선하여, $ ilde{O}(n^{3/2})$라운드 복잡도를 달성하였고, 이후 [ARKP18]에서 수정된 알고리즘과 통합함으로써 $ ilde{O}(n^{4/3})$라운드로 향상시켰다. 이는 이전의 $ ilde{O}(n^{3/2})$ 경계를 뛰어넘는 중대한 향상이다.

ABSTRACT

We present a new approach to computing all pairs shortest paths (APSP) in a weighted directed graph in the Congest model in the distributed setting. Our approach gives a simple but nontrivial deterministic distributed APSP algorithm that runs in $ ilde{O}(n^{3/2})$ rounds. This bound matches a recent deterministic distributed algorithm in [ARKP18]. We then combine our new distributed APSP algorithm with a modified version of the algorithm in [ARKP18] to obtain an $ ilde{O}(n^{4/3})$ round deterministic distributed APSP algorithm in the Congest model, improving the previous best bound of $ ilde{O}(n^{3/2})$ rounds. We have a similar improvement in the bound for the problem of computing shortest path trees for k given sources. For this latter problem our deterministic distributed algorithm runs in $ ilde{O}(n \cdot k^{1/3})$ rounds. Our new approach in the $ ilde{O}(n^{3/2})$ round APSP algorithm is a pipelined strategy that computes each stage of Gabow's scaling algorithm in less than $2n^{3/2} + 2n$ rounds. While this algorithm has a simple description, it has some novel features and a nontrivial analysis.

연구 동기 및 목표

• 가중 방향 그래프에서 Congest 모델 하에서 더 빠른 결정적 분산 APSP 알고리즘을 설계하는 것.
• 이전까지 결정적 APSP 알고리즘의 라운드 복잡도 장벽이었던 $\tilde{O}(n^{3/2})$를 극복하는 것.
• 향상된 복잡도를 k-소스 최단 경로 트리 문제로 확장하여 $\tilde{O}(n \cdot k^{1/3})$라운드를 달성하는 것.
• 가보우의 스케일링 알고리즘 단계를 효율적으로 처리하기 위해 하위선형 시간 내에 각 단계를 계산하는 파이프라인 전략을 도입하는 것.

제안 방법

• 알고리즘은 가보우의 스케일링 알고리즘의 각 단계를 $2n^{3/2} + 2n$라운드 이내로 계산하기 위해 파이프라인 전략을 활용한다.
• 파이프라인된 APSP 접근 방식과 결합하기 위해 [ARKP18] 알고리즘의 수정된 버전을 활용하여 더 낮은 라운드 복잡도를 달성한다.
• 파이프라인 기법을 통해 여러 단계 간의 계산과 통신을 겹치게 하여 전체 지연을 감소시킨다.
• 구조화된 메시지 전파를 통해 정확성을 유지하면서 무작위화를 피함으로써 결정성을 확보한다.
• 에지 가중치를 처리하기 위해 스케일링 기반 접근 방식을 사용하며, 단계별로 최단 경로 추정치를 점진적으로 정밀화한다.
• 각 노드가 라운드당 $O(\log n)$비트를 전송할 수 있는 제한된 대역폭을 가진 Congest 모델에서 효율적으로 작동하도록 설계되었다.

실험 결과

연구 질문

• RQ1 Congest 모델에서 $n^{3/2}$ 이하의 라운드 복잡도를 갖는 결정적 분산 APSP 알고리즘을 설계할 수 있는가?
• RQ2 가보우의 스케일링 알고리즘 단계에 파이프라인을 효과적으로 적용하여 통신 및 계산 오버헤드를 줄일 수 있는가?
• RQ3 Congest 모델 하에서 결정적 APSP의 라운드 복잡도 이론적 한계는 무엇인가?
• RQ4 향상된 APSP 복잡도를 유사한 라운드 경계로 k-소스 최단 경로 트리 문제로 확장할 수 있는가?
• RQ5 가보우 알고리즘의 어떤 새로운 구조적 성질이 분산 환경에서 효율적인 파이프라인을 가능하게 하는가?

주요 결과

• 제안된 알고리즘은 결정적 분산 APSP에 대해 $ ilde{O}(n^{3/2})$라운드 복잡도를 달성하였으며, 이는 이전의 최고 성능과 동일하지만 더 단순하고 모듈화된 설계를 제공한다.
• 파이프라인된 APSP 알고리즘과 수정된 [ARKP18] 접근 방식을 조합함으로써, 라운드 복잡도가 $ ilde{O}(n^{4/3})$로 향상되었으며, 이는 이전의 $ ilde{O}(n^{3/2})$ 장벽을 돌파한 것이다.
• k-소스 최단 경로 트리 문제에 대해서는 $ ilde{O}(n \cdot k^{1/3})$라운드 내에서 실행되며, 이는 이전의 결정적 방법에 비해 중대한 향상이다.
• 파이프라인 전략은 가보우의 스케일링 알고리즘의 각 단계를 $2n^{3/2} + 2n$라운드 이내로 계산할 수 있게 하여, 효율적인 로드 밸런싱과 통신을 보장한다.
• 알고리즘은 결정적이며 표준 Congest 모델에서 작동하므로, 제한된 대역폭을 가진 실용적 분산 시스템에 적합하다.
• 분석을 통해 가보우 알고리즘의 비트리비어한 구조적 성질이 파이프라인을 통한 효율적인 분산 구현을 가능하게 한다는 것이 드러났다.