k 터미널을 포함하는 최소 비용 2 연결 서브그래프 근사 알고리즘

본 논문은 그래프 이론 및 네트워크 설계 분야에서 중요한 문제인 k‑2VC(k‑2 Vertex‑Connected) 문제에 대해 새로운 근사 알고리즘을 제시한다. k‑2VC는 무방향 가중 그래프 G와 비용 함수, 정수 k가 주어졌을 때, 최소 비용으로 2‑정점 연결성을 유지하면서 적어도 k개의 정점을 포함하는 서브그래프를 찾는 문제이다. 이 문제는 k‑MST(최소 비용 k‑정점 트리)와 유사하지만, 연결 요구가 2‑정점 연결(임의의 두 정점 사이에 두 개의 정점‑불연속 경로가 존재)으로 강화되어 더욱 어려운 NP‑hard 문제이며, 기존에는 k‑2EC(2‑간선 연결) 문제에 대해서만 다항 로그 근사 알고리즘이 알려져 있었다. 논문은 먼저 k‑2VC를 “루트 r이 지정된 rooted 버전”으로 변형한다. 루트 r에 대해 모든 선택된 터미널이 r와 2‑연결되어야 하므로, 서브그래프 H의 “밀도”를 비용/터미널 수(k(H))로 정의한다. 핵심 서브문제인 dens‑2VC는 최소 밀도의 2‑연결 서브그래프를 찾는 문제이며, 이는 LP 이완과 버킷팅·스케일링 기법을 이용해 O(log ℓ) 근사해를 얻을 수 있다. 여기서 ℓ은 전체 터미널 수이며, LP는 SNDP(생존 네트워크 설계 문제)에서 정점 연결 요구가 0,1,2인 경우에 대한 2배 적분 갭을 활용한다. 그리디 알고리즘은 빈 그래프 G′에 대해 while 루프를 돌며, 현재 남은 필요 터미널 수 k′에 대해 dens‑2VC 근사기를 호출한다. 반환된 서브그래프 H가 k′ 이하의 터미널을 포함하면 그대로 G′에 합치고 k′를 감소시킨다(증강 단계). 반대로 H가 k′보다 많이 포함하면, “가지치기(pruning)” 단계가 필요하다. k‑MST에서는 H가 트리이므로 가장 비싼 가장자리를 제거하면 되지만, 2‑연결 그래프에서는 구조가 복잡해 직접적인 제거가 2‑연결성을 깨뜨릴 수 있다. 이를 해결하기 위해 논문은 두 가지 새로운 도구를 도입한다. 첫 번째는 Theorem 1.3으로, 2‑연결 그래프 G와 터미널 집합 S가 주어지면, 전체 그래프의 밀도보다 작거나 같은 밀도를 갖는 “비자명 사이클”(두 개 이상의 터미널을 포함하는 사이클)을 다항시간에 찾을 수 있음을 보인다. 이 사이클을 이용해 최소 밀도 서브그래프를 구성하고, 필요에 따라 여러 사이클을 병합해 원하는 터미널 수를 정확히 맞춘다. 두 번째는 Theorem 2.3으로, 모든 정점이 루트 r에 대해 비용 ≤ L인 2‑정점 불연속 경로를 가지고, 현재 서브그래프의 밀도가 ρ라고 가정하면, O(log k)·ρ·k + 2L 비용 안에 정확히 k′개의 터미널을 포함하는 2‑연결 서브그래프를 찾을 수 있음을 증명한다. 여기서 L은 사전 처리 단계에서 각 정점에 대해 보장된 상한이며, O(log k)·ρ·k는 밀도 기반의 비용 상한이다. 전체 알고리즘의 비용 분석은 두 부분으로 나뉜다. 증강 단계에서 매 반복마다 O(log ℓ)·OPT·k′/k′ = O(log ℓ)·OPT 비용을 추가하고, 이러한 단계가 O(log k)번 수행되므로 총 O(log ℓ·log k)·OPT가 된다. 가지치기 단계는 Theorem 2.3에 의해 O(log ℓ·log k)·OPT + 2·OPT ≤ O(log ℓ·log k)·OPT 로 제한된다. 따라서 최종 근사 비율은 O(log ℓ·log k)이며, ℓ이 전체 터미널 수와 동일하면 O(log n·log k)와 동등한 결과를 얻는다. 논문은 기존 연구와의 차별점을 명확히 한다. 이전에 제시된