일반화 스테이너 트리 문제에 대한 3/2 근사 알고리즘

초록

본 논문은 거리값이 1과 2만 존재하는 메트릭에서 일반화 스테이너 트리(GST) 문제를 해결하기 위해 3/2 비율의 근사 알고리즘을 제시한다. 이는 기존 2 이하의 근사 한계를 깨는 최초의 다항시간 알고리즘이며, 비기하학적 메트릭에서도 적용 가능함을 증명한다.

상세 분석

논문은 먼저 일반화 스테이너 트리 문제를 정의하고, 거리 1·2 메트릭이 갖는 구조적 특성을 분석한다. 거리 1은 동일 그룹 내의 정점들을 직접 연결할 수 있음을 의미하고, 거리 2는 서로 다른 그룹 사이의 최소 연결 비용을 제공한다. 이러한 이진 거리 구조는 전통적인 스테이너 트리 근사 기법이 적용되기 어려운 비유클리드 환경에서도 그래프 이론적 접근을 가능하게 만든다. 저자들은 기존의 2‑approximation 알고리즘이 사용하는 최소 비용 매칭과 최소 스패닝 트리(MST) 결합 방식을 재구성한다. 핵심 아이디어는 “쌍별 합병(pairwise merging)” 단계에서 거리 1인 정점 쌍을 우선적으로 묶어 클러스터를 형성하고, 이후 거리 2인 엣지를 이용해 클러스터 간 연결을 최소화하는 것이다. 이 과정에서 저자들은 “가중치 보정(weight adjustment)” 기법을 도입해 각 클러스터의 내부 비용을 정확히 추정하고, 전체 트리 비용이 최적값의 1.5배를 초과하지 않도록 증명한다. 특히, 증명 과정에서는 라그랑주 이완과 프루프 바이 컨터터프랙션(Proof by Contradiction) 기법을 활용해, 가정된 최적 해보다 비용이 더 큰 경우가 발생하면 모순이 도출된다는 점을 보인다. 알고리즘의 시간 복잡도는 O(n³) 수준으로, 입력 그래프의 정점 수 n에 대해 다항시간 내에 실행 가능하다. 또한, 실험적 평가를 통해 무작위 및 실세계 데이터셋에서 평균 1.48배의 근사 비율을 기록, 이론적 상한인 1.5에 근접함을 확인한다. 이러한 결과는 거리 1·2 메트릭이 제한된 상황에서도 일반화 스테이너 트리 문제에 대해 실용적인 해결책을 제공한다는 점에서 의미가 크다.