빠른 최소 가중치 이중 트리 단축법, 최적은 충분한가

초록

본 논문은 메트릭 TSP에서 이중 트리 방법으로 생성되는 지수적인 해 공간 중, 최적에 가장 가까운 투어를 찾는 최소‑가중치 단축 문제를 다룬다. 기존 알고리즘의 시간·메모리 복잡도를 개선하여, 최대 차수 d가 작은 경우(특히 평면 유클리드 TSP에서 d≤4) O(4^d n²) 시간·O(4^d n) 메모리로 해결한다. 실험 결과, 이 방법이 시간‑품질 트레이드오프 측면에서 가장 우수한 투어 구성 휴리스틱 중 하나임을 보여준다.

상세 분석

이 논문은 메트릭 TSP의 유명한 2‑근사 알고리즘인 이중 트리(double‑tree) 방법을 심층적으로 재검토한다. 이중 트리 방법은 최소 신장 트리(MST)를 두 배로 복제해 만든 오일러 그래프에서 임의의 오일러 투어를 선택하고, 중복된 정점을 제거하는 ‘단축(shortcutting)’ 과정을 통해 투어를 얻는다. 이 과정에서 발생하는 모든 가능한 단축 결과는 지수적인 수(≈2^n) 만큼 존재하지만, 각각은 최적 투어와 2배 이내의 차이를 보인다. 따라서 “가장 좋은 단축”을 찾는 문제는 자연스럽게 최소‑가중치 이중 트리 단축(minimum‑weight double‑tree shortcutting) 문제로 정의된다.

Burkard et al. (1998)은 이 문제를 해결하기 위해 O(n³ + 2^d n²) 시간·O(2^d n²) 메모리 알고리즘을 제시했으며, 여기서 d는 루트가 지정된 MST의 최대 차수이다. 그러나 이 복잡도는 특히 n이 커질수록 실용적이지 않다. 저자들은 d가 작을 때(특히 평면 유클리드 TSP에서 d≤4) 동적 계획법을 새롭게 설계함으로써 복잡도를 크게 낮춘다. 핵심 아이디어는 ‘업스윕(upsweep)’ 단계에서 각 서브트리마다 모든 정점 쌍에 대한 최단 경로를 저장하는 대신, 루트에서 시작하는 단일 소스 최단 ‘스위핑(sweeping)’ 경로만을 계산하는 것이다. 이를 위해 각 노드 u와 그 자식 집합 V⊆C(u) 및 목적 정점 a∈T(V)에 대해 D_u^V(a)라는 값을 정의한다. D_u^V(a)는 u에서 시작해 서브트리 u∪T(V)를 연속적으로 방문하고 a에서 끝나는 최소 가중치 경로의 길이이다.

재귀적 관계식 (1)과 (2)를 이용해 D_u^V(a)를 효율적으로 계산한다. 식 (1)은 현재 서브트리와 자식 서브트리 사이의 연결 비용을 최소화하고, 식 (2)는 자식 v의 다양한 부분집합 W에 대한 최적 분할을 고려한다. 중요한 점은 각 단계에서 가능한 V와 W의 조합이 2^d 개 이하이며, 전체 트리에서 이러한 조합을 탐색하는 횟수가 O(4^d n²)로 제한된다는 것이다. 따라서 시간 복잡도는 O(4^d n²), 메모리 복잡도는 현재 활성 서브트리와 현재 노드에 대한 D값만 보관하면 되므로 O(2^d n)이다.

‘다운스윕(down‑sweep)’ 단계에서는 저장된 D값을 이용해 실제 최소‑가중치 해를 재구성한다. 여기서는 각 노드 u와 집합 V에 대해 최적 경로 P_u^V(a)를 찾고, 이를 레이어드 그래프와 최소 비용 흐름 문제로 변환한다. 각 레이어는 자식 집합의 가능한 이분 분할을 나타내며, 전체 그래프의 최단 경로가 최적 단축을 제공한다.

알고리즘 구현 시 저자들은 추가적인 휴리스틱(예: 초기 루트 선택 최적화, 메모리 압축, 병렬 처리)을 도입해 실험적 성능을 크게 향상시켰다. 실험 결과는 유클리드 평면 인스턴스와 무작위 메트릭 인스턴스 모두에서, 제안된 알고리즘이 기존 2‑근사 휴리스틱(예: Christofides, Nearest‑Insertion)보다 평균 약 1.1%~1.5% 더 좋은 비율을 보이며, 실행 시간도 경쟁력 있음을 보여준다. 특히 d≤4인 경우 메모리 사용량이 기존 방법의 수십 배에서 몇 배 수준으로 감소해, 수천에서 수만 개의 정점까지 확장 가능하다.

이 논문의 주요 기여는 다음과 같다. (1) 최소‑가중치 이중 트리 단축 문제에 대한 새로운 동적 계획법을 제시, 복잡도를 O(4^d n²)·O(2^d n)으로 개선. (2) 평면 유클리드 TSP에서 d≤4임을 이용해 실용적인 구현을 가능하게 함. (3) 광범위한 실험을 통해 이 방법이 현재 알려진 투어‑구성 휴리스틱 중 가장 우수한 시간‑품질 균형을 제공함을 입증.