최소 라우팅 비용 스패닝 트리의 병렬 근사 알고리즘

초록

본 논문은 최소 라우팅 비용 스패닝 트리(MRCT) 문제와 그 변형들에 대해 기존의 순차적 근사 알고리즘을 PRAM 모델 상에서 효율적으로 병렬화한다. 제시된 병렬 알고리즘은 동일한 근사 비율을 유지하면서도 로그-다항 시간 복잡도를 달성한다.

상세 분석

MRCT 문제는 그래프 G =(V,E) 에서 모든 정점 쌍 사이의 거리 합을 최소화하는 스패닝 트리를 찾는 NP‑hard 문제이다. 기존 연구에서는 2‑approximation 알고리즘(예: Kou‑Markowsky‑Berman)과 1.5‑approximation 알고리즘(예: Cai‑Zhang) 등이 순차적으로 제시되었지만, 대규모 네트워크에 적용하기엔 실행 시간이 제한적이었다. 본 논문은 이러한 알고리즘을 PRAM(동시 다중 프로세서) 모델에 맞게 재구성한다. 핵심 아이디어는 (1) 그래프의 저지름 분해(low‑diameter decomposition)를 병렬로 수행하여 클러스터를 형성하고, (2) 각 클러스터 내부에서 기존의 근사 알고리즘을 병렬적으로 적용한 뒤, (3) 클러스터 간 연결을 최소 비용 매칭 혹은 스패닝 포레스트 기법으로 결합하는 것이다. 저지름 분해 단계는 O(log n) 라운드와 O(m) 작업량을 필요로 하며, 이는 기존 순차적 O(n²) 시간에 비해 급격히 개선된다. 또한, 트리 합성 단계에서 사용되는 라우팅 비용 계산을 병렬 prefix‑sum과 거리 행렬 곱셈을 활용해 O(log n) 라운드 안에 수행한다. 결과적으로 전체 알고리즘은 O(log n) 라운드와 O(m log n) 작업량으로 2‑approximation을 보장한다. 변형 문제인 최소 평균 거리 트리와 최소 비용 Steiner 트리에도 동일한 프레임워크를 적용해 비슷한 복잡도와 근사 비율을 얻는다. 논문은 또한 실험을 통해 이론적 복잡도와 실제 실행 시간 사이의 일치를 확인하고, 병렬 구현이 대규모 그래프(수백만 정점)에서도 실용적임을 입증한다.