Okamura Seymour 그래프 최소 멀티컷을 스테이너 포레스트로 변환하여 2배 근사 구현

이 논문은 평면 그래프에서 모든 단말이 외부면 경계에 놓이는 특수한 경우, 즉 Okamura‑Seymour 인스턴스에 대한 최소 멀티컷 문제를 다룬다. 먼저 최소 멀티컷 문제를 정의하고, 일반 그래프에서 이 문제가 NP‑hard이며 APX‑hard임을 언급한다. 특히 트리에서도 2‑근사 이상의 개선이 불가능하다는 점을 강조한다. 이후 Okamura와 Seymour 이 제시한 정리를 인용하여, 단말이 외부면에 있을 때 다중 흐름과 경로 분할 문제에 대한 강력한 구조적 특성을 소개한다. 그러나 이러한 구조적 특성이 최소 멀티컷 문제에 직접 적용되지는 않았으며, 기존 연구에서는 이중 문제에 대한 해법이 부재했다는 점을 지적한다. 본 연구의 핵심 기여는 이러한 Okamura‑Seymour 인스턴스를 새로운 이중 그래프 Gᵈ 로 변환함으로써 최소 멀티컷 문제를 최소 비용 스테이너 포레스트 문제에 정확히 대응시키는 것이다. 변환 과정은 다섯 단계로 이루어지며, 각 단계마다 정점과 간선, 그리고 비용을 어떻게 배정하는지를 상세히 설명한다. 특히 단말 쌍 (s_i, t_i) 에 대해 외부면에 두 개의 이중 정점 u_i, v_i 를 두고, 이들을 경계 구간