최소 방향 트리 커버 근사화

초록

본 논문은 방향 그래프에서 모든 원래 간선을 헤드 혹은 테일 중 하나라도 포함하는 최소 비용의 루트 트리를 찾는 문제(DTCP)를 연구한다. 무게가 있는 집합 커버 문제를 DTCP의 특수 사례로 귀환함으로써 NP‑hard임을 재확인하고, 최대 외향 차수 (D^{+})에 따라 (\max{2,\ln D^{+}})의 근사 비율을 갖는 순수 조합적 알고리즘을 제시한다.

상세 분석

논문은 먼저 최소 방향 트리 커버 문제(DTCP)의 정의를 명확히 한다. 주어진 비음수 비용을 가진 유향 그래프 (G=(V,A))와 루트 (r)가 정해지면, 트리 (T)는 (r)를 루트로 하는 방향 트리이며, (G)의 모든 아크 ((u,v))에 대해 (u) 혹은 (v)가 (T)에 포함되어야 한다는 ‘커버’ 조건을 만족한다. 이때 (T)의 비용은 포함된 아크들의 가중치 합으로 정의된다.

문제의 난이도는 기존 연구에서 NP‑hard임이 알려져 있었지만, 저자들은 가중 집합 커버 문제(SCP)를 DTCP의 특수 경우로 변환함으로써 강한 하드니스 결과를 다시 한 번 강조한다. 구체적으로, SCP의 원소 집합을 그래프의 정점으로, 각 집합을 하나의 아크와 연결된 서브트리 구조로 매핑한다. 이 변환은 비용 보존성을 유지하므로, SCP에 대한 (\ln n)‑근사 한계가 DTCP에도 그대로 적용된다. 따라서 DTCP는 이론적으로 (\ln D^{+})보다 나은 근사 비율을 기대하기 어렵다.

알고리즘 설계 부분에서는 ‘그리디 기반 프라임‑듀얼’ 접근을 채택한다. 초기에는 모든 정점을 미방문 상태로 두고, 루트에서 시작해 아직 커버되지 않은 아크들을 최소 추가 비용으로 포함시키는 과정을 반복한다. 각 단계에서 선택되는 아크는 현재 남아 있는 아크 집합에 대해 가장 높은 ‘커버 효율’(비용 대비 새롭게 커버되는 아크 수)을 가진다. 이때 선택된 아크와 그에 연결된 정점들을 트리에 삽입하고, 새롭게 커버된 아크들을 제거한다.

근사 비율 분석은 두 가지 경우로 나뉜다. 첫째, 그래프의 최대 외향 차수 (D^{+})가 작아 (\ln D^{+} < 2)인 경우, 알고리즘이 매 단계마다 최소 비용의 1/2 이하를 초과하지 않는다는 점을 이용해 전체 비용이 최적해의 두 배 이하임을 증명한다. 둘째, (D^{+})가 커서 (\ln D^{+} \ge 2)인 경우, 그리디 선택이 집합 커버의 전형적인 로그‑근사 분석과 동일하게 진행되므로 전체 비용이 최적해의 (\ln D^{+})배 이내에 머무른다. 따라서 최종 근사 비율은 (\max{2,\ln D^{+}})가 된다.

시간 복잡도는 각 반복에서 남은 아크들을 스캔하고 효율을 계산하는 과정이 O(|A|)이며, 최악의 경우 O(|A|·|V|)가 된다. 이는 기존의 LP‑기반 근사법보다 구현이 간단하고, 실제 대규모 네트워크 설계 문제에 적용하기에 실용적이다.

이 논문의 주요 기여는 (1) DTCP와 SCP 사이의 정확한 귀환 관계를 밝힘으로써 하드니스 경계를 명확히 제시하고, (2) 최대 외향 차수에 의존하는 로그‑근사 비율을 달성하는 순수 조합적 알고리즘을 제안한 점이다. 특히, 차수가 제한된 네트워크(예: 통신 토폴로지, 전력망)의 경우 2‑근사라는 강력한 보장을 제공한다는 점이 실무적 의미가 크다. 다만, 알고리즘이 그래프의 구조에 따라 최악의 로그 비율에 머무를 수 있다는 점과, 근사 비율을 더 개선하기 위해서는 추가적인 구조적 가정이나 고급 LP‑라운드업 기법이 필요하다는 한계도 존재한다.