평면 그래프에서 격자와 최대 흐름 알고리즘

초록

본 논문은 평면 그래프의 s‑t 경로 집합에 정의된 좌/우 관계가 부분모듈라 격자를 형성함을 증명한다. 특히 그래프가 s‑t‑플래너이면 이 격자는 연속성을 만족한다. 이를 통해 포드‑풀커슨의 최상위 경로 알고리즘이 격자 다면체 위의 두 단계 탐욕 알고리즘의 특수 경우임을 보이며, 일반 평면 그래프에서는 부분모듈라와 연속성을 동시에 만족하는 순서를 만들 수 없다는 부정 결과를 제시한다.

상세 분석

논문은 먼저 평면 그래프 G와 두 특수 정점 s, t가 주어졌을 때, G의 모든 s‑t 경로를 정점으로 하는 집합 P에 ‘좌/우 관계’를 정의한다. 이는 두 경로가 공유하는 면을 기준으로 한 위상적 순서를 의미한다. 저자들은 이 관계가 반사적, 반대칭적, 전이적임을 보이며, 따라서 (P, ≤)는 부분 순서 집합이 된다. 핵심은 이 부분 순서가 부분모듈라 격자(submodular lattice) 를 형성한다는 점이다. 구체적으로, 임의의 두 경로 p, q에 대해 그들의 상한(supremum)과 하한(infimum)이 다시 P에 속하고, 격자 연산이 경로의 합집합·교집합 형태로 표현될 수 있음을 증명한다.

다음으로, 그래프가 s‑t‑플래너(s‑t‑planar) 일 경우, 즉 s와 t가 동일한 외부 면에 위치하는 경우, 위에서 정의한 격자는 연속성(consecutive) 을 만족한다. 연속성은 격자 내 임의의 두 원소 사이에 존재하는 모든 원소가 그 두 원소 사이의 “연속된” 구간에 포함된다는 성질로, 이는 경로들의 순서가 면의 순서와 일치함을 의미한다. 이 성질을 이용하면 포드와 풀커슨이 제시한 ‘최상위 경로(uppermost path)’ 알고리즘이 실제로는 격자 다면체 위에서 수행되는 두 단계 탐욕(two‑phase greedy) 알고리즘의 한 형태임을 확인할 수 있다. 즉, 첫 단계에서 상한을 반복적으로 선택하고, 두 번째 단계에서 하한을 선택함으로써 최대 흐름을 효율적으로 구한다.

마지막으로, 저자들은 일반 평면 그래프(즉, s와 t가 외부 면에 있지 않은 경우)에서는 부분모듈라와 연속성을 동시에 만족하는 어떠한 부분 순서도 존재하지 않음을 보인다. 이를 위해 반증 구조를 구성하고, 특정 교차 패턴을 가진 경로 집합이 이러한 격자 구조를 깨뜨린다는 것을 증명한다. 이 결과는 s‑t‑플래너 그래프가 바로 위에서 제시한 격자 기반 알고리즘이 적용될 수 있는 필수적이고 충분한 조건임을 의미한다. 전체적으로 논문은 그래프 이론, 격자 다면체, 그리고 흐름 알고리즘 사이의 깊은 연결 고리를 밝히며, 기존 알고리즘에 대한 구조적 이해를 한층 고도화한다.