작은 절단 커버 문제에서 프라임 듀얼 알고리즘의 5배 근사 한계가 실제로 타이트함을 입증한 사례

초록

**
본 논문은 Small Cuts Cover 문제에 대해 Williamson‑Goemans‑Mihail‑Vazirani 프라임‑듀얼 알고리즘이 5배 근사비율을 달성한다는 기존 결과가 최적임을 보이는 구성 예시를 제시한다. 파라미터 q, p, k를 이용해 4p+3개의 정점으로 이루어진 그래프를 만들고, 알고리즘이 선택하는 적색 링크 집합의 비용은 5p, 최적 해의 비용은 p+2가 되어 비율이 5p/(p+2)→5에 수렴한다.

**

상세 분석

**
본 연구는 Small Cuts Cover 문제의 근사 알고리즘 성능 한계를 정확히 규명한다는 점에서 이론적 의의가 크다. 먼저 문제 정의를 살펴보면, 그래프 G=(V,E)와 비용이 부여된 링크 집합 L이 주어질 때, 절단 S⊂V에 대해 |δ(S)|<k인 ‘작은 절단’들을 모두 커버하도록 최소 비용의 링크 집합 J⊆L을 찾는 것이 목표다. 기존 연구에서는 이 문제를 일반적인 플리어블(set‑family) 커버 문제로 모델링하고, Williamson·Goemans·Mihail·Vazirani가 제시한 프라임‑듀얼 알고리즘을 적용해 5배 근사비율을 얻었다. 그러나 그 비율이 실제로 최악의 경우에 도달하는지 여부는 미해결이었다.

논문은 이를 해결하기 위해 두 단계로 구성된 인스턴스를 만든다. 첫 단계는 q≥1, p≥2, k≥2pq+1이라는 정수 파라미터를 선택하고, 기본 인스턴스(그림 1)의 구조를 p번 복제한다. 복제된 각 인스턴스는 정점 t_i, a_i, x_i, y_i 등을 포함하고, ‘빨간’ 링크 t_i‑x_i, a_i‑y_i, y_i‑r와 ‘파란’ 링크 t_i‑b, r‑z를 갖는다. 여기서 비용은 비흰색 정점(white가 아닌 정점) 수에 비례하도록 정의한다(대부분 2, 일부는 1). 복제된 인스턴스들의 r, b, z 정점을 하나로 합쳐 축(axial) 정점들을 만든 뒤, 다중 에지의 용량을 조정해 전체 그래프 G를 완성한다.

핵심은 이 구성에서 프라임‑듀얼 알고리즘이 Phase 1에서 모든 코어(코어는 최소 작은 절단) {r}, {t_1},…, {t_p}, C에 대해 이중 변수 y_S를 1까지 올리면, 모든 ‘빨간’ 링크가 동시에 타이트가 되어 선택된다. 반면 ‘파란’ 링크는 Phase 2(역삭제 단계)에서 모두 제거된다. 결과적으로 알고리즘이 반환하는 해는 비용 5p(빨간 링크 p개·각 2와 1의 조합)이다. 그러나 최적 해는 파란 링크 집합 {t_1‑b,…,t_p‑b, r‑z}을 선택하면 비용 p+2가 된다(각 t_i‑b는 비용 1, r‑z는 비용 2). 따라서 알고리즘이 만든 해와 최적 해의 비율은

\