강연결 네트워크에서 실현 가능한 흐름 찾기

초록

본 논문은 공급량과 수요량이 동일하고 모든 간선의 최소 용량이 그 합계 이상인 강연결 네트워크에서, 단일 상품 흐름을 찾는 선형 시간 알고리즘을 제시한다. 기존의 Goldberg‑Rao 최대 흐름 방법의 최악 시간 상수를 개선하고, Erlebach‑Hagerup의 선형 시간 알고리즘보다 구현이 간단한 절차를 제공한다.

상세 요약

문제 설정은 다음과 같다. 방향 그래프 G=(V,E)가 강연결이며, 각 정점 v에 공급 s(v) 혹은 수요 d(v) 값이 주어진다. 전체 공급량 Σ⁺s(v)와 전체 수요량 Σ⁻d(v)는 동일하고, 모든 간선 e∈E의 용량 c(e)는 최소값 c_min ≥ Σ⁺s(v) 를 만족한다. 이러한 전제 하에, 각 간선에 흐름 f(e)를 할당하여 보존식과 용량 제한을 동시에 만족시키는 ‘실현 가능한 흐름(feasible flow)’을 찾는 것이 목표이다.

Goldberg‑Rao 알고리즘은 최대 흐름을 구하기 위해 복잡한 레이어드 네트워크와 스케일링 기법을 사용해 O(m√n) 시간 복잡도를 보인다. 그러나 실현 가능한 흐름만 필요할 경우, 전체 용량이 충분히 크므로 더 간단한 절차가 가능하다. Erlebach와 Hagerup은 O(m) 시간에 흐름을 구성하는 방법을 제시했지만, 그 구현은 복합적인 자료구조와 여러 단계의 전처리를 요구한다.

본 논문이 제안하는 알고리즘은 크게 두 단계로 구성된다. 첫 번째 단계에서는 임의의 정점을 루트로 하여 깊이 우선 탐색(DFS)으로 강연결 그래프의 스패닝 트리를 구축한다. 트리의 각 간선은 ‘기본 흐름’으로 초기화되며, 트리 외부의 비트리 간선은 ‘보조 간선’으로 분류된다. 두 번째 단계에서는 각 비트리 간선을 순회하면서, 해당 간선이 연결하는 두 정점 사이에 존재하는 트리 경로와 함께 하나의 사이클을 형성한다는 점을 이용한다. 사이클 전체에 걸쳐 동일한 양의 흐름을 추가함으로써, 공급 정점에서 출발한 초과 흐름을 수요 정점으로 전달한다. 이때 흐름의 양은 해당 사이클에 포함된 간선들의 남은 용량 중 최소값으로 제한되며, 최소 용량이 전체 공급량 이상이므로 언제든 충분히 큰 흐름을 보낼 수 있다.

핵심 통찰은 “강연결성 + 충분한 최소 용량”이라는 조건이 사이클을 통한 흐름 재분배를 언제나 가능하게 만든다는 점이다. 따라서 복잡한 레이어드 네트워크를 구성하거나, 용량 스케일링을 반복할 필요가 없으며, 단순히 트리와 사이클 구조만으로 전체 흐름을 완성할 수 있다. 알고리즘은 각 간선을 상수 횟수만 방문하므로 시간 복잡도는 O(m)이며, 추가적인 메모리 사용도 O(n) 수준에 머문다.

정확성 증명은 두 부분으로 나뉜다. 첫째, 트리 기반 초기 흐름이 모든 정점의 초과/부족량을 정확히 기록한다는 것을 보인다. 둘째, 사이클을 따라 흐름을 이동시킬 때마다 보존식이 유지되고, 용량 제한을 위반하지 않음이 보장된다. 모든 비트리 간선을 처리한 후에는 모든 정점의 초과량이 0이 되므로, 최종 흐름이 실현 가능한 흐름임이 증명된다.

이 알고리즘은 구현이 직관적이며, 기존 선형 시간 알고리즘에 비해 코드 라인이 크게 감소한다는 실용적 장점도 갖는다. 또한, 강연결성 가정이 완화되면 동일한 아이디어를 부분 그래프별로 적용하거나, 가상 초과/부족 정점을 도입해 일반 네트워크에도 확장할 수 있다.