플래너 그래프에서 다중 출발·다중 도착 최대 유량을 n1.5 로그 n 시간에 구하기

초록

본 논문은 용량이 부여된 방향성 플래너 그래프와 여러 개의 출발점·도착점 집합이 주어졌을 때, 전체 흐름을 최대로 만드는 알고리즘을 제시한다. 기존의 단일 출발·단일 도착 알고리즘을 확장하여, 그래프 분할·정복 기법과 평면 이중성, 사이클 분리자를 활용함으로써 시간 복잡도를 O(n1.5 로그 n) 으로 달성한다.

상세 분석

이 연구는 플래너 그래프에서 다중-다중 최대 유량 문제를 해결하기 위해 세 가지 핵심 아이디어를 결합한다. 첫째, 평면 그래프의 이중성(dual graph)을 이용해 흐름과 절단(cut) 사이의 관계를 명시적으로 표현한다. 기존에 단일 s‑t 흐름을 O(n log n) 에 해결할 수 있던 Hassin‑Johnson 알고리즘을, 다중 출발·다중 도착 상황에서도 적용 가능하도록 일반화한다는 점이 혁신적이다. 둘째, Lipton‑Tarjan 사이클 분리자를 사용해 그래프를 O(√n) 크기의 경계 사이클과 두 개의 서브그래프로 나눈다. 이때 경계에 포함된 모든 출발점·도착점을 “가상” 슈퍼 소스·슈퍼 싱크와 연결하되, 평면성을 유지하도록 특별히 설계된 가중치 조정을 수행한다. 이렇게 하면 각 서브문제는 원래 문제와 동일한 형태를 유지하면서도 크기가 현저히 감소한다. 셋째, 재귀적 분할 과정에서 발생하는 경계 흐름을 효율적으로 합치기 위해 동적 트리와 전위‑후위 라벨링을 활용한다. 경계에 존재하는 흐름은 제한된 수의 경로에만 집중되므로, 이를 선형 시간에 정리할 수 있다. 전체 알고리즘은 재귀 깊이가 O(√n) 이고, 각 레벨에서 O(n log n) 의 작업을 수행하므로 최종 복잡도는 O(n1.5 로그 n) 이 된다. 또한, 메모리 사용량은 선형 수준이며, 구현상의 세부 사항으로는 정점의 임베딩을 사전 계산하고, 역방향 그래프에서의 용량 보존을 위한 보조 구조를 두는 것이 포함된다. 이와 같은 설계는 플래너 그래프의 특수한 구조를 최대한 활용하면서도, 다중-다중 흐름이라는 일반적인 요구를 충족한다는 점에서 학문적·실용적 의의가 크다.