H마이너 자유 그래프 부정 가중치 최단 경로 가속화

초록

**
본 논문은 고정된 마이너 H를 제외한 모든 그래프에서 정수 가중치와 음수 사이클이 없는 경우, 소스 s 로부터의 최단 경로 트리를 ˜O(n⁴ᐟ³ log L) 시간에 계산하는 알고리즘을 제시한다. 기존 최선의 ˜O(n¹·³⁹² log L) 결과를 개선했으며, 이는 평면 그래프에 대한 이전 최적 결과와 일치한다. 핵심은 H‑마이너 자유 그래프에 대해 더 빠른 (r, p)‑분할을 구성하는 새로운 분할 기법을 도입한 것이다.

**

상세 분석

**
이 연구는 두 가지 주요 기술적 진보를 결합한다. 첫 번째는 H‑마이너 자유 그래프에 적용 가능한 가변 γ‑값을 이용한 개선된 분리정리이다. 기존 연구(Yuster)는 고정된 γ값을 사용해 O(n^{1+γ}) 시간에 (r, p)‑분할을 얻었지만, 이 논문은 재귀 단계마다 그래프 크기에 따라 γ를 작게 잡았다가 하위 단계로 갈수록 점진적으로 γ를 증가시키는 전략을 채택한다. 이렇게 하면 큰 서브그래프에서는 작은 분리자를 찾는 비용을 줄이고, 작은 서브그래프에서는 더 정밀한 분리자를 적용해 전체 경계 정점 수를 효과적으로 억제한다.

두 번째 핵심은 이러한 가변 γ‑분할을 이용해 Yuster의 SSSP 프레임워크에 삽입함으로써 전체 복잡도를 최적화한 점이다. Yuster의 알고리즘은 T(n, γ) = O(n^{1+γ})인 분할을 전제로 하여 최종 시간 복잡도가 max{T(n, γ), n^{13−2γ}·log L}이 되었다. 논문은 새로 만든 분할이 O(n r^{γ}) 시간에 수행됨을 증명하고, r을 n^{3/(4+γ)} 로 설정하면 T(n, γ) = O(n^{(4+4γ)/(4+γ)}) 가 된다. γ를 ½ 로 잡으면 (4+4·½)/(4+½)=4/3 이 되어 최종 복잡도가 ˜O(n^{4/3} log L) 로 수렴한다.

또한, 약한 (r, p)‑분할에서 강한 (r, p)‑분할로 변환하는 과정도 상세히 다루었다. 경계 정점이 과도하게 많은 영역에 대해 추가적인 분리를 수행하고, 각 분리 단계마다 O(r^{1+γ}) 시간만 소요되도록 설계했다. 이 변환 단계는 전체 O(n r^{γ}) 시간 안에 마무리되며, 최종 분할이 요구하는 경계 정점 수 O(p·n/r) 를 만족한다.

이러한 일련의 기법은 H‑마이너 자유 그래프가 희소(m=O(n))라는 특성을 활용한다. Lipton‑Tarjan 및 Alon‑Seymour‑Thomas의 분리정리를 일반화한 Reed‑Wood 정리를 기반으로, 분리자의 크기 O(n^{(2−γ)/3})와 찾는 시간 O(n^{1+γ}) 사이의 트레이드오프를 조절한다. 논문은 γ∈