정점 연결성 네트워크 설계의 새로운 근사 알고리즘

초록

본 논문은 정점 연결성 Survivable Network Design Problem(VC‑SNDP)에 대해 최대 요구도 k와 정점 수 n을 기준으로 O(k³ log n) 근사 비율을 달성하는 간단한 무작위 알고리즘을 제시한다. 또한 단일 소스 버전에서는 O(k² log n) 근사를 얻는 새로운 증명을 제공한다. 핵심 아이디어는 인스턴스를 여러 개의 element‑connectivity SNDP로 변환하고, 기존 2‑근사 알고리즘을 적용한 뒤 결과를 합치는 방식이다.

상세 분석

논문은 VC‑SNDP를 직접 다루는 대신, 문제를 element‑connectivity SNDP 인스턴스들의 집합으로 변환한다는 혁신적인 접근을 취한다. 먼저 전체 그래프의 복사본 G₁,…,G_p를 만든 뒤, 각 복사본에 대해 터미널 집합 T를 부분집합 T_i 로 무작위로 할당한다. 여기서 p는 O(k³ log n) 로 설정하고, 각 터미널은 q= p/(2k)=Θ(k² log n) 개의 인덱스를 균등하게 선택한다. 이렇게 구성된 {T_i} 가 “good family” 를 만족하면, 각 G_i 에 대해 기존의 2‑근사 알고리즘(요소 연결성 SNDP에 대한)을 적용해 얻은 해 E_i 를 모두 합친 E* 가 원래 VC‑SNDP의 모든 요구를 만족한다. Good family 의 존재와 높은 확률을 보이기 위해 두 종류의 나쁜 사건 E₁, E₂ 를 정의하고, Chernoff 경계와 조건부 확률을 이용해 각각의 발생 확률을 e^{‑Ω(k² log n)} 수준으로 억제한다. 합쳐서 전체 n² 가능한 소스‑싱크 쌍에 대해 union bound을 적용하면, 전체 실패 확률이 1/n 이하가 된다. 따라서 무작위 구성으로도 다항 시간 내에 원하는 근사 비율을 보장한다.

주요 기술적 기여는 다음과 같다. 첫째, VC‑SNDP와 element‑connectivity SNDP 사이의 구조적 연결 고리를 명시적으로 이용해, 기존에 알려진 2‑근사 알고리즘을 그대로 재사용한다는 점이다. 둘째, 터미널을 여러 복사본에 겹치게 배치함으로써 어떤 (s,t) 쌍과 그에 대한 최대 k‑1개의 차단 집합 X 가 존재하더라도, 적어도 하나의 복사본에서는 X 가 전혀 포함되지 않게 보장한다. 이는 “good family” 정의와 무작위 할당을 통해 확률적으로 증명된다. 셋째, 단일 소스 버전에서는 p=O(k² log n) 로 충분히 줄일 수 있음을 보여, 근사 비율을 O(k² log n) 로 개선한다. 마지막으로, 이 접근법이 set‑pair LP 이완의 정수성 격차를 O(k³ log n) 로 제한한다는 부수적인 결과도 제시한다. 전체적으로 알고리즘은 구현이 매우 단순하면서도 기존 최선의 근사 비율을 크게 향상시킨다.