[논문 리뷰] Fast Partial Distance Estimation and Applications

Christoph Lenzen, Boaz Patt-Shamir|arXiv (Cornell University)|2014. 12. 26.

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

한 줄 요약

이 논문은 대규모 네트워크에서 대역폭 제약 조건 하에 근사 전쌍 최단경로(APSP)를 위한 빠른 분산 알고리즘을 제시한다. 이 알고리즘은 거의 최적의 라운드 복잡도와 근사적인 라우팅 테이블을 달성한다. 결정론적 및 확률적 방법을 도입하여 계층적 클러스터링, 레이블 전파, 효율적인 부분 거리 추정을 조합함으로써 (1+o(1))-근사 APSP를 Õ(n)라운드 내에, O(k)-근사 APSP를 Õ(n^{1/2+1/k} + D)라운드 내에 계산한다. 이때 라벨 크기는 O(log n)-비트, 라우팅 테이블 크기는 O(n^{1/k})이다.

ABSTRACT

We study approximate distributed solutions to the weighted {\it all-pairs-shortest-paths} (APSP) problem in the CONGEST model. We obtain the following results. $1.$ A deterministic $(1+o(1))$-approximation to APSP in $ ilde{O}(n)$ rounds. This improves over the best previously known algorithm, by both derandomizing it and by reducing the running time by a $Θ(\log n)$ factor. In many cases, routing schemes involve relabeling, i.e., assigning new names to nodes and require that these names are used in distance and routing queries. It is known that relabeling is necessary to achieve running times of $o(n/\log n)$. In the relabeling model, we obtain the following results. $2.$ A randomized $O(k)$-approximation to APSP, for any integer $k>1$, running in $ ilde{O}(n^{1/2+1/k}+D)$ rounds, where $D$ is the hop diameter of the network. This algorithm simplifies the best previously known result and reduces its approximation ratio from $O(k\log k)$ to $O(k)$. Also, the new algorithm uses uses labels of asymptotically optimal size, namely $O(\log n)$ bits. $3.$ A randomized $O(k)$-approximation to APSP, for any integer $k>1$, running in time $ ilde{O}((nD)^{1/2}\cdot n^{1/k}+D)$ and producing {\it compact routing tables} of size $ ilde{O}(n^{1/k})$. The node lables consist of $O(k\log n)$ bits. This improves on the approximation ratio of $Θ(k^2)$ for tables of that size achieved by the best previously known algorithm, which terminates faster, in $ ilde{O}(n^{1/2+1/k}+D)$ rounds.

연구 동기 및 목표

• 대규모 네트워크에서 대역폭 제약 조건 하에 근사 전쌍 최단경로(APSP)를 위한 효율적인 분산 알고리즘을 설계하는 것.
• congest 모델에서 APSP 계산의 라운드 복잡도를 줄이되, 높은 근사 품질을 유지하는 것.
• 확장성과 실용적 구현에 있어 필수적인 근사적인 라우팅 테이블과 작은 노드 레이블을 가능하게 하는 것.
• 재레이블링과 근사 저장 제약 조건이 존재할 때, 근사 비율, 라우팅 테이블 크기, 레이블 길이, 실행 시간 간의 상호 상충 관계를 탐색하는 것.

제안 방법

• 무작위 표본 추출과 레이블 전파를 사용하여 네트워크의 계층적 클러스터링을 구축함으로써 효율적인 부분 거리 추정을 가능하게 한다.
• 각 노드가 하위 트리와 부모 노드에 대한 레이블을 유지하는 다수준 트리 기반의 레이블링 체계를 활용하여 신속한 라우팅 결정을 가능하게 한다.
• BFS 트리 위에서 파이프라인 통신을 사용하여 중심 집중식 근사 알고리즘의 라운드를 분산 환경에서 시뮬레이션한다.
• 확률적 표본 추출을 적용하여 근사 거리를 높은 확률로 유지하는 희소 스파너 유사 부분그래프를 구축한다.
• 계층의 여러 수준에서의 결과를 통합하며, 총 실행 시간을 최소화하기 위해 깊이와 너비 사이의 최선의 트레이드오프를 사용한다.
• 각 노드가 총 O(n^{2/k})번 이내로 전송하기만 하므로, 네트워크 전반에 걸쳐 효율적인 통신 스케줄링이 가능하다는 점에 의존한다.

실험 결과

연구 질문

• RQ1 무작위화에 의존하지 않고 Õ(n)라운드 내에 (1+o(1))-근사 APSP를 달성할 수 있는가?
• RQ2 O(n^{1/k})-크기의 라우팅 테이블과 O(k log n)-비트 레이블을 사용할 때 도달 가능한 최고의 근사 비율은 무엇인가?
• RQ3 congest 모델에서 근사 데이터 구조를 유지하면서 통신 라운드 수를 최소화할 수 있는가?
• RQ4 재레이블링이 허용될 경우, 실행 시간, 근사 비율, 테이블 크기 간의 최적 트레이드오프는 무엇인가?
• RQ5 낮은 라운드 복잡도, 작은 레이블, 그리고 근사적인 라우팅 테이블을 동시에 달성할 수 있는 분산 알고리즘을 설계할 수 있는가?

주요 결과

• Õ(n)라운드 내에 결정론적 (1+o(1))-근사 APSP가 계산되며, 이는 이전의 확률적 알고리즘을 비결정론적으로 전환함과 동시에 실행 시간을 Θ(log n) 요소만큼 감소시켜 향상시켰다.
• Õ(n^{1/2+1/k} + D)라운드 내에 확률적 O(k)-근사 APSP가 O(log n)-비트 레이블과 O(n^{1/k})-크기의 라우팅 테이블을 사용하여 달성되었으며, 근사 비율을 이전의 O(k log k)에서 O(k)로 향상시켰다.
• 다른 알고리즘은 O(k)-근사를 Õ((nD)^{1/2}·n^{1/k} + D)라운드 내에 달성하며, O(n^{1/k})-크기 테이블과 O(k log n)-비트 레이블을 사용한다. 이 경우 테이블 크기에 대해 근사 비율을 이전의 Θ(k²)에서 O(k)로 향상시켰다.
• 네트워크 직경 D에 기반하여 계층 수준 l₀를 적응적으로 선택함으로써 실행 시간을 최적화할 수 있으며, 높은 확률로 Õ(min{(nD)^{1/2}·n^{1/k}, n^{2/3+2/(3k)}} + D)라운드의 최소값을 달성할 수 있다.
• 제안된 체계는 라우팅과 거리 추정에 대해 스트레치 4k−3+o(1)를 달성하며, 라우팅 테이블 크기는 Õ(n^{1/k})이고 레이블 크기는 O(k log n)이다. 이는 근사 테이블에 대해 알려진 하한값과 일치한다.
• 알고리즘은 상태가 없는 것으로, 각 라운드당 O(log n)-비트 메시지만 사용하므로, congest 모델 하에서 대규모 네트워크에 대해 효율적이고 실용적이다.