최소 가중치 이중 트리 단축법의 최악 근사 비율

본 논문은 메트릭 여행 판매원 문제(Metric TSP)에서 널리 사용되는 이중 트리(double‑tree) 단축 기법에 대한 최악 근사 비율을 조사한다. 이중 트리 방법은 먼저 입력 점 집합의 최소 신장 트리(MST)를 구하고, 그 모든 간선을 두 배로 복제해 오일러 그래프를 만든 뒤, 그 오일러 투어를 단축(shortcut)하여 해밀턴 사이클을 얻는다. 일반적인 경우 이 과정에서 얻는 투어는 최적 해의 2배 이하라는 보장을 갖지만, 동일한 오일러 그래프에 대해 가능한 단축 순서는 지수적으로 많아 실제 최적에 가장 근접한 투어를 찾는 것이 어려운 문제이다. 저자들은 “최소 가중치 이중 트리 단축” 문제를 정의하고, 이전 연구에서 이를 효율적으로 해결하는 O(4^d n^2) 알고리즘을 제시했으며, 이번 연구에서는 그 알고리즘이 최악 상황에서 어떤 근사 비율을 보이는지를 분석한다. 논문은 세 가지 메트릭 공간에 대해 하한을 제시한다. 1. **이산 최단 경로 메트릭** - 구성: n개의 정점을 갖는 이진 트리 T_n을 두 개 복제하고, 루트 간에 가중치 1인 간선을 추가한다. 비루트 정점 쌍을 가중치 1+ε인 교차 간선으로 연결한다(ε=o(1)). - MST 가중치 ≈ 2n, 이중 트리 가중치 ≈ 4n. - 어떤 단축을 수행하더라도 두 복제 트리 사이를 오가는 교차 간선을 최소 한 번씩 포함해야 하므로 최종 해밀턴 사이클의 가중치는 ≈4n에 수렴한다. - 따라서 최악 근사 비율은 2이며, 이는 일반 메트릭에서 알려진 상한 2와 정확히 일치한다(타이트함). 2. **평면 유클리드 메트릭** - 구성: 6n+1개의 점을 사용한다. 중앙에 대칭적인 3‑방향 별(star)을 두고, 각 끝에서 길이 1씩 증가하는 3개의 직선 행을 뻗는다. - MST 가중치 ≈ 6n. - 최소 가중치 이중 트리 단축 투어는 중앙 별과 행들을 연결하는 경로를 포함해 가중치 ≈ (8+√3)n이 된다. - 절대 최적 투어는 별의 중심과 교차 간선만을 이용해 가중치 ≈ 6n. - 따라서 근사 비율은 (8+√3)/6 ≈ 1.622. 이는 기존 2보다 현저히 낮으며, 유클리드 평면에서 이중 트리 히어리스트릭이 실제로 더 좋은 성능을 보일 가능성을 시사한다. 3. **평면 Minkowski 메트릭(정육각형 노름)** - 동일한 점 배치를 사용하되 거리 측정 방식을 정육각형 단위 원에 맞춘다. - 이 경우 최소 가중치 이중 트리 단축 투어의 가중치는 ≈10n이 된다(정육각형 노름 특성상 경로가 더 길어짐). - 최적 투어는 여전히 ≈6n이므로 근사 비율은 10/6 ≈ 1.666. 논문은 위 세 가지 하한을 통해, 특히 유클리드와 Minkowski 메트릭에서 기존 2‑근사 보증이 과도하게 보수적일 수 있음을 강조한다. 저자들은 제시된 하한이 실제 최악 사례에 가깝다고 추측하며, 특히 유클리드 경우 1.622‑근사 비율이 타이트하다고 conjecture한다. 결론적으로, 이 연구는 최소 가중치 이중 트리 단축법의 이론적 한계를 정량화하고, 특정 메트릭에서 더 강력한 근사 비율을 제공함으로써 향후 알고리즘 설계와 분석에 중요한 기준을 제공한다.