평면 그래프에서 다중 출처 다중 도착점 최대 유량 알고리즘

초록

본 논문은 평면 그래프에서 여러 출처와 여러 도착점을 갖는 최대 유량 문제를 O(n³⁄² log² n) 시간에 해결하는 알고리즘을 제시한다. 기존의 단일 출처·단일 도착점 전용 플래너 알고리즘을 확장하면서도 그래프의 평면성을 유지하는 새로운 변환과 분할 정복 기법을 도입하였다.

상세 분석

이 연구는 평면 그래프에서 다중‑소스·다중‑싱크(maximum flow) 문제를 효율적으로 해결한다는 점에서 이론적·실용적 의미가 크다. 평면 그래프는 분리 정리(separator theorem)를 이용해 O(√n) 크기의 경계로 그래프를 두 부분으로 나눌 수 있다. 기존의 단일‑소스·싱크 플래너 최대 유량 알고리즘은 이 분리를 활용해 재귀적으로 문제를 해결하고, 각 단계에서 듀얼 그래프를 이용해 최소 컷을 찾는 방식으로 O(n log n) 혹은 O(n log² n) 시간을 달성했다. 그러나 다중‑소스·싱크 상황에서는 단순히 슈퍼 소스와 슈퍼 싱크를 추가하면 평면성이 깨져 기존 기법을 그대로 적용할 수 없다.

논문은 이 난관을 두 가지 핵심 아이디어로 극복한다. 첫째, “가상 경계(virtual boundary)”를 도입해 다중 소스·싱크를 평면 내에 삽입하면서도 그래프의 임베딩을 보존한다. 구체적으로, 모든 소스와 싱크를 외부 얼굴에 배치하고, 이들을 순환 흐름(circulation) 형태로 연결한다. 이렇게 하면 원래 그래프와 동등한 흐름 조건을 유지하면서도 평면성을 잃지 않는다. 둘째, 흐름을 “가능한 순환(feasible circulation)” 문제로 변환하고, 이를 다시 “최소 비용 흐름(min‑cost flow)” 혹은 “전역 최소 컷(global min‑cut)” 문제와 연결한다. 이때 사용되는 주요 도구는 듀얼 그래프에서의 라우팅과, 경계에 대한 “전달 함수(transfer function)”를 사전 계산해 두는 것이다.

알고리즘은 다음과 같은 단계로 진행된다. (1) 입력 그래프에 평면 임베딩을 확보하고, 분리 정리를 적용해 O(√n) 크기의 경계 집합 B를 찾는다. (2) B를 기준으로 그래프를 내부 서브그래프 G_in과 외부 서브그래프 G_out으로 분할하고, 각각에 대해 재귀적으로 다중‑소스·싱크 흐름을 계산한다. (3) 재귀 호출이 끝난 후, B 위에서 흐름을 “병합(merge)”한다. 병합 과정에서는 B에 대한 흐름을 하나의 네트워크로 축소하고, 이 네트워크에 대해 선형 시간에 해결 가능한 “경계 흐름 문제(boundary flow problem)”를 푼다. 여기서 핵심은 B에 연결된 모든 소스·싱크의 잉여량(surplus)을 정확히 파악하고, 이를 최소 비용으로 재분배하는 것이다. (4) 최종적으로 전체 그래프에 대한 최대 유량을 얻는다.

시간 복잡도 분석은 각 레벨에서 O(n) 크기의 서브그래프가 O(√n) 개의 경계 정점에 대해 O(log n) 번의 라우팅 연산을 수행한다는 점에 기반한다. 재귀 깊이는 O(log n)이며, 각 레벨의 작업량은 O(n log n)이다. 따라서 전체 복잡도는 O(n^{3/2} log² n)으로, 기존에 알려진 O(n²) 혹은 O(n^{3/2} log n) 수준의 알고리즘보다 약간 높은 로그 팩터를 갖지만, “정점 수에만 의존하는” 최초의 다중‑소스·싱크 플래너 알고리즘이라는 점에서 의미가 크다.

또한 논문은 알고리즘의 정확성을 보장하기 위해 두 가지 주요 정리를 제시한다. 첫째, 가상 경계 변환이 원래 흐름 문제와 동등함을 보이는 “동형성 정리”. 둘째, 경계 흐름 병합 단계에서 발생할 수 있는 “흐름 충돌(conflict)”이 없음을 보이는 “병합 보존 정리”. 이 정리들은 모두 평면 그래프의 듀얼 구조와 오일러 회로 성질을 활용해 증명된다.

마지막으로, 저자들은 이 알고리즘이 실제 네트워크 설계, 전력 흐름 최적화, 이미지 분할 등 평면 구조가 자연스럽게 나타나는 분야에 적용 가능함을 언급한다. 특히, 다중 출처·다중 도착점이 동시에 존재하는 교통 흐름 모델이나 전자 회로 설계에서 기존 단일‑소스·싱크 접근법보다 훨씬 유연하게 사용할 수 있다. 향후 연구 과제로는 로그 팩터를 제거해 O(n^{3/2}) 시간에 도달하거나, 동적 그래프 상황에서 업데이트를 효율적으로 처리하는 확장판을 제시하고 있다.