플래너 그래프에서 네트워크 흐름 차단의 새로운 다항시간 알고리즘

본 논문은 네트워크 흐름 차단(Network Flow Interdiction) 문제를 평면 그래프에 적용할 때 기존 연구가 가지고 있던 두 가지 주요 제한—정점 제거 불가와 단일 소스·싱크 구조—을 동시에 해소하는 일련의 알고리즘을 제시한다. 먼저, 저자는 정점 차단과 정점 용량을 허용하면서도 그래프의 평면성을 유지하는 ‘플래너리티 보존 변환’을 고안한다. 이 변환은 각 정점을 두 개의 대칭 정점으로 복제하고, 정점 용량을 해당 정점 사이의 간선 용량으로 변환함으로써 정점 차단을 간선 차단 문제로 전환한다. 중요한 점은 이 과정에서 그래프의 임베딩이 깨지지 않아 기존의 평면 이중 그래프(dual graph) 기반 기법을 그대로 활용할 수 있다는 것이다. 다음으로, 평면 이중 그래프를 이용한 기존의 의사다항시간 알고리즘을 확장한다. 저자는 원 그래프 G의 각 간선 e에 대해 이중 그래프 G*에서 두 개의 방향 간선(e_D와 e_DR)을 도입하고, 이들에 각각 상한 용량 u(e)와 하한 용량 -l(e)를 길이 λ*로 부여한다. 또한 차단 비용 c(e)도 이중 그래프의 간선 비용 c*에 매핑한다. 이렇게 정의된 이중 그래프에서는 원 그래프의 최소 s‑t 컷이 비겹치는 시계반대 방향 회로 집합에 정확히 대응하며, 회로의 총 길이가 컷의 용량과 동일함을 보인다. 이를 기반으로 동적 계획법과 최소 비용 흐름 기법을 결합한 의사다항시간 알고리즘을 설계하여, 정점 차단과 정점 용량을 모두 고려한 평면 네트워크 차단 문제를 효율적으로 해결한다. 논문은 또한 다중 소스·싱크 상황을 다룬다. 여기서는 공급 집합 S와 수요 집합 T가 주어지고, 전체 공급량과 수요량이 초기 최대 흐름과 일치하는 특수한 경우를 가정한다. 목표는 모든 싱크의 수요를 만족할 수 없게 만드는 최소 차단 예산 B_min을 찾는 것이다. 저자는 이 문제를 ‘네트워크 흐름 보안(network flow security)’ 문제의 특수 형태로 정의하고, 평면 이중 그래프와 흐름 감소량을 연결하는 새로운 구조적 분석을 통해 의사다항시간 알고리즘을 제시한다. 이 알고리즘은 예산 B에 대해 흐름 감소량을 평가하고, 이진 탐색을 통해 최소 예산을 찾는 방식으로 동작한다. 마지막으로, k‑밀집 서브그래프(k‑densest subgraph) 문제를 평면 네트워크 차단 문제로 환원한다는 중요한 복잡도 결과를 제시한다. 원 그래프 G의 각 간선을 중간 정점 v_e로 분할해 이분 그래프 G'를 만든 뒤, 원 정점에 차단 비용 1, 중간 정점과 간선은 차단 불가능하게 설정한다. 각 싱크는 중간 정점에 단위 수요를 부여하고, 원 정점은 무한 공급을 갖는다. 예산 B만큼 정점을 차단하면 흐름 감소량은 차단된 정점 집합 내부에 존재하는 원 그래프의 간선 수와 정확히 일치한다. 따라서 B‑밀집 서브그래프를 찾는 것이 차단 최적화와 동치임을 증명한다. 이 환원은 입력 크기가 다항식으로 유지되면서도 평면성, 다중 소스·싱크, 정점 용량을 모두 포함한 차단 모델에 적용 가능함을 보여준다. 전체적으로, 논문은 (1) 플래너리티 보존 변환을 통한 정점 차단 허용, (2) 이중 그래프 기반 의사다항시간 알고리즘의 확장, (3) 다중 소스·싱크 최소 차단 예산 문제에 대한 새로운 알고리즘, (4) k‑밀집 서브그래프와 차단 문제 사이의 복잡도 연관성이라는 네 가지 주요 기여를 제공한다. 이 결과들은 평면 그래프에서 네트워크 차단 문제의 적용 범위를 크게 넓히며, 향후 연구에서 강한 NP‑완전성 여부와 다항시간 알고리즘 가능성을 탐색하는 기반을 마련한다.