[논문 리뷰] Parallel Graph Decompositions Using Random Shifts

Gary L. Miller, Richard Peng외 1명|arXiv (Cornell University)|2013. 07. 14.

Graph Theory and Algorithms참고 문헌 16인용 수 15

한 줄 요약

이 논문은 무방향 무가중치 그래프를 저강도 직경 부분그래프로 분해하기 위한 간단하고 효율적인 병렬 알고리즘을 제시한다. 이 알고리즘은 이격된 최단 경로를 통해 병렬 볼 성장 과정을 유도하기 위해 무작위 이동을 사용함으로써, (β, O(log n / β)) 분해에 대해 O(log²n / β)의 깊이와 O(m)의 작업량을 달성한다. 이는 최고의 순차적 성능 보장을 그대로 유지하면서도 단순성이 향상되었다.

ABSTRACT

We show an improved parallel algorithm for decomposing an undirected unweighted graph into small diameter pieces with a small fraction of the edges in between. These decompositions form critical subroutines in a number of graph algorithms. Our algorithm builds upon the shifted shortest path approach introduced in [Blelloch, Gupta, Koutis, Miller, Peng, Tangwongsan, SPAA 2011]. By combining various stages of the previous algorithm, we obtain a significantly simpler algorithm with the same asymptotic guarantees as the best sequential algorithm.

연구 동기 및 목표

• 무방향 무가중치 그래프에서 저강도 직경 분해를 위한 더 단순하고 작업 효율적인 병렬 알고리즘을 설계하기.
• 기존 볼 성장 방법의 순차적 병목 현상을 극복하기 위해 무작위 이동을 활용해 병렬 조각 생성을 가능하게 하기.
• 최고의 순차적 알고리즘과 비슷한 점근적 성능을 달성하면서도 다항로그 깊이와 거의 선형 작업량을 유지하기.
• 기초 분해 서브루틴을 향상시켜 대칭 대각선 지배(SDD) 선형 시스템의 더 빠른 병렬 해법기를 지원하기.

제안 방법

• 각 정점 u에 대해 독립적인 무작위 이동 δu를 사용하며, 이는 이격된 거리 dist−δ(u,v) = dist(u,v) − δv를 정의하는 데 사용된다.
• 모든 중심으로부터의 최소 이격 거리에 따라 정점들이 클러스터에 할당되며, 이는 병렬 최단 경로 계산을 통해 분할을 형성한다.
• 이격된 최단 경로 계산은 PRAM 모델을 활용하여 병렬 BFS로 구현되며, 깊이 O(log²n / β)와 작업량 O(m)을 달성한다.
• 무작위 이동 덕분에 각 클러스터의 강한 직경이 높은 확률로 O(log n / β) 이하로 제한된다.
• 갈림길 처리는 δu의 분수 부분을 통해 이루어지며, 부동소수점 산술을 피하기 위해 랜덤 순열로 모방할 수 있다.
• 유효한 (β, O(log n / β)) 분해가 얻어질 때까지 반복되며, 높은 성공 확률로 인해 기대 반복 수는 상수이다.

실험 결과

연구 질문

• RQ1 최고의 순차적 방법의 이론적 보장을 그대로 유지하면서도 더 단순한 병렬 그래프 분해 알고리즘을 설계할 수 있는가?
• RQ2 볼 성장 과정의 순차적 의존성을 어떻게 제거하여 효율적인 병렬화를 달성할 수 있는가?
• RQ3 무작위 이동이 낮은 강한 직경과 제한된 클러스터 간 간선 수를 보장하는 데 어떤 역할을 하는가?
• RQ4 이 새로운 방법으로 기존 분해 서브루틴을 교체함으로써 SDD 선형 시스템 해법기의 성능을 향상시킬 수 있는가?
• RQ5 이론적 보장을 저하시키지 않고도 무작위 이동을 랜덤 순열로 대체할 수 있는 정도는 어느 정도인가?

주요 결과

• 알고리즘은 O(log²n / β)의 깊이와 O(m)의 작업량으로 (β, O(log n / β)) 분해를 계산하며, 최고의 순차적 보장과 일치한다.
• 각 반복의 성공 확률이 상수이므로 기대 반복 수는 O(1)이며, 이로 인해 기대 작업량과 깊이 한계가 유도된다.
• 이격된 최단 경로 거리의 성질 덕분에 각 클러스터의 강한 직경은 높은 확률로 O(log n / β) 이하로 제한된다.
• 간선 경계에 대한 농도 한계를 통해 클러스터 간 간선 수는 높은 확률로 βm 이하임을 보였다.
• PRAM 모델에서 병렬 BFS를 사용하여 O(m)의 작업량과 O(log²n / β)의 깊이로 효율적으로 구현할 수 있다.
• 무작위 이동의 사용은 랜덤 순열로 대체될 수 있으며, 이는 이론적 보장을 유지하면서도 계산 비용을 낮출 수 있는 실용적 대안을 제공한다.