다중소스·단일싱크 플로우를 플래너 그래프에서 O(n¹·⁵ log n) 시간에 해결하기

초록

이 논문은 방향성 플래너 그래프에서 여러 소스와 하나의 싱크 사이의 최대 흐름을 O(n¹·⁵ log n) 시간에 구하는 최초의 강다항식 알고리즘을 제시한다. 기존에는 O(n² log n) 정도의 일반 그래프 알고리즘에 의존했으며, 본 연구는 플래너 구조를 활용해 서브쿼드라틱 시간 복잡도를 달성한다.

상세 분석

본 연구는 플래너 그래프의 임베딩 특성을 이용해 흐름 문제를 재귀적으로 분할한다. 핵심 아이디어는 Miller의 균형 잡힌 조던 분리자를 사용해 그래프를 O(√n) 크기의 경계와 O(2/3 n) 이하의 내부·외부 부분으로 나누는 것이다. 각 분할 단계에서 ‘외부 면’ Cᵢ를 인위적인 싱크 t₀와 무한 용량의 인접 에지를 추가함으로써, 해당 서브그래프 Hᵢ에 대해 다중소스‑싱크 흐름을 제한된 단일소스 max‑flow 서브루틴으로 해결한다. 이때 사용되는 제한된 max‑flow 서브루틴은 기존의 O(n log n) planar st‑flow 알고리즘을 그대로 적용할 수 있다.

알고리즘은 다음과 같은 흐름을 가진다. 먼저 입력 그래프에 0 용량 에지를 삽입해 삼각화하고, while 루프 안에서 현재 그래프가 일정 크기 이하가 될 때까지 조던 분리자를 찾는다. 찾은 분리자 Sᵢ에 의해 둘러싸인 서브그래프 Hᵢ를 정의하고, Hᵢ의 외부 면 Cᵢ를 인공 싱크 t₀와 연결한다. 이후 재귀적으로 MultipleSourceMaxPreFlow(Hᵢ, t₀)를 호출해 Hᵢ 내부의 최대 전유량(preflow)을 구한다. 전유량이 계산된 뒤에는 무한 용량 에지를 제거하고, 남은 그래프 Gᵢ를 Sᵢ 바깥쪽 부분으로 갱신한다. 루프가 종료되면 남은 모든 사이클 Cⱼ에 대해 각 정점 v에서 실제 싱크 t까지 제한된 max‑flow을 수행해 최종 흐름을 완성한다.

정당성 증명은 ‘허용 경로(admissible path)’ 개념을 도입해, 각 단계에서 허용 경로가 더 이상 존재하지 않게 함으로써 흐름이 최적임을 보인다. Lemma 3.2‑3.5는 재귀 호출과 제한된 흐름 단계가 진행될 때마다 허용 경로가 소멸함을 보이며, 최종적으로 전유량(preflow)이 보존 조건을 만족하면서도 더 이상 증강 경로가 없으므로 최대 흐름이 된다.

시간 복잡도 분석에서는 각 사이클 Cⱼ가 최대 두 번만 등장한다는 Lemma 3.6을 이용해 재귀 호출의 총 비용을 T(n) = T(αn) + T((1‑α)n) + O(n log n) 형태의 재귀식으로 표현한다. 여기서 α≈2/3이며, 마스터 정리를 적용하면 T(n)=O(n¹·⁵ log n)임을 얻는다. 또한, 제한된 max‑flow 서브루틴이 O(n log n) 시간에 동작하므로 전체 복잡도에 영향을 주지 않는다.

이 알고리즘은 정수 용량이 제한된 경우에도 동일한 복잡도를 유지하며, 기존에 플래너 그래프에서 다중 소스‑싱크 흐름을 처리하기 위해 일반 그래프 알고리즘을 사용하던 비효율성을 크게 개선한다. 논문 말미에서는 Borradaile와 Wulff‑Nilsen이 독립적으로 동일한 결과를 얻었다는 언급도 포함한다.