경로 포장 문제의 분수성: 오일러 네트워크에서 1 또는 2만 필요함

초록

본 논문은 무방향 그래프의 터미널 집합 T와 요구 집합 S(=안티클리크)로 정의되는 오일러 네트워크에서, 분수 경로 포장 문제의 최소 정수배 D(분수성)가 1 또는 2라는 카르자노프의 추측을 증명한다. 또한 약한 형태의 메트릭 ω(=W‑문제)에서도 동일한 결과가 성립함을 보인다.

상세 분석

논문은 먼저 “분수 멀티플로우”와 “분수 경로 포장(ω‑문제)”을 정의하고, 보상 함수 ω가 0‑1 값(즉, S‑문제)인 경우와 메트릭 형태(즉, W‑문제)인 경우를 구분한다. 카르자노프는 이전 연구에서 일반 네트워크에 대해 분수성이 무한일 수 있지만, 특정 구조(특히 비터미널 노드가 모두 짝수 차수를 갖는 오일러 네트워크)에서는 D≤4이며, 실제로는 1,2,4 중 하나라고 제시했다. 그는 D가 4가 되는 경우는 존재하지 않을 것이라는 추측을 남겼다.

저자는 이를 증명하기 위해 다음과 같은 핵심 아이디어를 전개한다.

1. K‑네트워크와 안티클리크 K‑플러터: S‑문제의 요구 집합 S를 안티클리크 K의 멤버들로 분할하고, 각 안티클리크가 서로 겹치지 않도록(조건 (1.3)) 구조화한다. 이렇게 하면 S‑문제와 W‑문제는 동일한 “공통 해”를 가질 수 있다(정리 1, Va 2007).
2. 경로 연산: 교차점 교환(switch), 3/2‑연산, h‑split 등 여러 변환을 정의해, 해의 크기와 가중치를 조절하면서 정수성(또는 반정수성) 해를 만들 수 있음을 보인다. 특히 3/2‑연산은 두 경로를 세 개의 경로로 바꾸어 전체 가중치를 ½만큼 증가시키면서 해의 “가치”(Θ) 를 유지한다.
3. 최소 반정수 해 존재 증명: K‑네트워크에서 가장 작은 크기의 W‑문제 해가 반정수(분모 2)임을 보이는 정리 4.1을 증명한다. 증명은 최소 반정수 해가 존재하지 않을 경우, 내부 정점의 분할(split)과 경로 교환을 통해 더 작은 해를 만들 수 있음을 귀류법으로 보여준다.
4. S‑문제에 대한 전이: W‑문제에 대한 반정수 해가 존재하면, 같은 네트워크에서 S‑문제 역시 반정수 해를 가질 수 있다. 이는 K‑플러터의 구조적 특성(각 안티클리크가 정확히 하나의 요구 쌍을 포함) 덕분에 가능한데, 저자는 이를 정리 4.2와 그 이후의 일련의 보조 명제(Claim 4.2~4.8)로 체계화한다.
5. 정수성 결론: 반정수 해가 존재함을 보였으므로, D는 2 이하임을 즉시 얻는다. 오일러 네트워크에서는 모든 비터미널 정점이 짝수 차수를 가지므로, 추가적인 정수성 강화(예: 1‑정수 해) 여부는 S‑문제의 특수 구조에 따라 결정된다. 저자는 기존 알려진 4‑사례가 실제로는 존재하지 않으며, 모든 경우에 D∈{1,2}임을 최종적으로 확정한다.

이러한 결과는 기존의 복잡도 이론과 네트워크 흐름 이론에 중요한 영향을 미친다. 특히, 오일러 네트워크에서 경로 포장 문제를 풀 때 정수형 해가 존재한다는 보장은 NP‑hard 문제의 근사 알고리즘 설계에 강력한 구조적 기반을 제공한다. 또한, 메트릭 ω를 이용한 W‑문제까지 확장함으로써, 다양한 실용적 응용(통신망 설계, VLSI 배선 등)에서 반정수 해만으로도 최적에 근접한 해를 얻을 수 있음을 시사한다.