빠른 방향성 단일 출발점 최단 경로 알고리즘

초록

이 논문은 실수 가중치를 갖는 비음수 방향 그래프에서 단일 출발점 최단 경로(SSSP)를 해결하기 위한 새로운 결정적 알고리즘을 제시한다. 실행 시간은 (O(m\sqrt{\log n}+\sqrt{mn\log n\log\log n}))이며, 희소 그래프에서는 (O(m\sqrt{\log n\log\log n}))로 개선된다. 이는 2025년 발표된 (O(m\log^{2/3} n)) 알고리즘보다 빠르다.

상세 분석

본 논문은 기존의 Dijkstra‑기반 방법과 최신의 BMSSP(Bounded Multi‑Source Shortest Path) 프레임워크를 결합하여, 전통적인 (\Omega(n\log n)) 정렬 장벽을 뛰어넘는 새로운 접근법을 제시한다. 핵심 아이디어는 ‘프론티어’ 집합 (S)와 ‘경계’ (B)를 이용해 아직 완전하지 않은 정점들의 집합 (e_U(B,S))를 정의하고, 이 집합을 단계적으로 완전하게 만드는 것이다. 기존 DMM+25 알고리즘은 프론티어를 축소하기 위해 Bellman‑Ford를 (k)번 반복했지만, 이는 각 정점당 (\Omega(k)) 비용이 발생한다. 저자들은 이를 ‘피벗 트리’를 명시적으로 찾는 대신, 프론티어 (S)를 로컬 Dijkstra 탐색으로 연결한 뒤, 크기 (\Theta(k))인 서로 겹치지 않는 서브트리들로 분할한다. 이 과정은 DLWX18의 SSBP 기법을 차용해 피벗 찾기 비용을 (O(\log k))로 낮춘다. 각 서브트리에서는 최소 거리 라벨을 가진 정점만을 ‘피벗’으로 유지하고, 나머지 정점들은 정렬 없이 범위 검사만으로 처리한다. 이렇게 하면 프론티어에 삽입되는 정점들의 비용이 서브트리 크기에 비례해 균등하게 분산되어 전체 복잡도가 (O(m\sqrt{\log n}))에 수렴한다.

또한, 알고리즘은 동적으로 생성되는 경계 (B)에 따라 부분 실행과 전체 실행을 구분한다. 경계가 너무 작아 (e_U)가 과도하게 커지면 부분 실행을 수행하고, 해당 정점들을 다시 프론티어에 삽입한다. 이때 삽입·삭제 연산은 서브트리 단위로 아모티즈되므로, 재귀 호출이 겹치더라도 전체 시간 복잡도에 큰 영향을 주지 않는다.

기술적 세부 사항으로는 (1) 그래프 전처리 단계에서 최대 차수를 (\delta = O(\log\log n)) 이하로 제한하기 위해 정점 분할과 0‑가중치 사이클 삽입을 수행하고, (2) 비교‑덧셈 모델 하에서 거리 라벨을 (\langle\text{길이},\text{에지수},\text{현재 정점},\text{전임자}\rangle) 4‑튜플로 표현해 동등 라벨 간의 순서를 명확히 정의한다. 이러한 튜플 기반 비교는 알고리즘 전반에 걸쳐 정렬·우선순위 큐 연산을 최소화하고, 정점 완전성 판단을 정확히 수행하도록 돕는다.

복잡도 분석에서는 파라미터 (t \approx \sqrt{\log n})와 (k = \lceil t/\log t\rceil)를 선택해, 전체 실행 시간은
\