비순환 평면 그래프에서의 서로 다른 경로 문제

초록

이 논문은 G가 비순환 평면 유향 그래프이고 요청·용량 함수 r·c의 합이 오일러ian인 경우, 정수 다중 흐름 문제를 O(f(R)^{k²} k³ n) 시간에 해결하는 알고리즘을 제시한다. 여기서 n은 정점 수, k는 요구 그래프 H의 간선 수, R은 최대 요청량이며 f는 다항식이다. k가 고정되면 동일한 가정 하에 호-불연속 경로 문제도 다항 시간에 해결된다.

상세 분석

본 연구는 평면 그래프에서의 경로 분리 문제, 특히 비순환(acyclic) 유향 그래프에 초점을 맞추었다. 전통적으로, 두 정점 사이에 서로 간선-불연속(arc‑disjoint) 혹은 정점‑불연속(vertex‑disjoint) 경로를 찾는 문제는 일반 그래프에서는 NP‑hard이며, 평면 그래프에서도 k가 변수일 경우 동일하게 어려운 것으로 알려져 있다. 그러나 그래프가 비순환이며, 요청·용량 함수 r과 c의 합이 오일러ian(모든 정점에서 들어오는 용량과 나가는 용량이 동일)이라는 추가 제약을 두면 구조적 특성을 활용할 수 있다.

논문은 먼저 G의 평면 임베딩을 이용해 이중 그래프(Dual graph)를 구성하고, 각 요청을 특정 면 사이의 흐름으로 변환한다. 오일러ian 조건 덕분에 전체 흐름을 보존하는 순환(circulation) 형태로 모델링할 수 있으며, 이는 정수 흐름 문제를 선형 계획법이 아닌 조합적 방법으로 접근하게 만든다. 핵심 아이디어는 “호모토피 클래스(homotopy class)”를 이용해 가능한 경로들의 종류를 제한하는 것이다. 비순환이라는 특성은 모든 경로가 위에서 아래로 흐르는 방향성을 부여하므로, 임베딩 상에서 경로가 교차할 수 있는 경우가 크게 제한된다.

알고리즘은 k개의 요청 간선에 대해 가능한 호모토피 클래스를 모두 열거하고, 각 클래스마다 최대 R개의 흐름을 배정한다. 이때 클래스 수는 O(f(R)^{k²}) 로, f는 다항식이며 R은 최대 요청량이다. 이후 동적 프로그래밍(DP) 테이블을 사용해 각 클래스 조합이 전체 그래프의 용량 제한을 만족하는지를 검증한다. DP 단계는 각 간선에 대해 k³의 복잡도를 갖는 연산을 수행하므로 전체 시간 복잡도는 O(f(R)^{k²} k³ n) 이 된다.

특히 k가 상수일 경우 f(R)^{k²} 은 R에 대한 다항식이 되므로, 전체 알고리즘은 입력 크기 n에 대해 다항 시간으로 실행된다. 이는 기존에 알려진 평면 그래프에서의 고정‑파라미터 알고리즘보다 더 일반적인 경우(비순환·오일러ian 조건)에도 적용 가능함을 의미한다. 또한, 정수 다중 흐름 문제를 해결함으로써, 요청량이 1인 특수 경우인 호‑불연속 경로 문제도 동일한 복잡도로 해결할 수 있다.

이 연구는 두 가지 중요한 기술적 공헌을 가진다. 첫째, 비순환 평면 다이그래프에서 오일러ian 조건을 활용해 흐름을 순환 형태로 변환하는 방법을 제시함으로써, 기존의 흐름‑분리 기법을 확장하였다. 둘째, 호모토피 클래스를 기반으로 한 조합적 열거와 DP 결합 기법을 통해, 요청 수 k에 대한 지수적 폭증을 제어하면서도 정확한 정수 해를 보장한다. 이러한 접근은 향후 평면 그래프의 다른 흐름‑분리 문제(예: 용량 제한이 비정수인 경우)에도 적용 가능성을 시사한다.