TSP 경로 8분의5 근사 알고리즘

초록

본 논문은 메트릭 {s,t}‑경로 TSP와 일반적인 최단 연결 T‑조인 문제에 대해 8/5 ≈ 1.6 의 근사비를 달성하는 알고리즘을 제시한다. 핵심은 최적 LP 해 x* 의 절반을 보완하여 각 스패닝 트리의 “패리티 보정” 비용을 정확히 커버하는 벡터를 명시적으로 구성하는 것이다. 기존의 An‑Kleinberg‑Shmoys(2012)와 Cheriyan‑Friggstad‑Gao(2012)의 접근을 단순화·강화해, 선형계획 없이도 8/5 보장을 얻는다. 또한 Best‑of‑Many Christofides 알고리즘이 최적 해와 동일한 경우에도 3/2 배보다 나은 해를 찾지 못할 수 있음을 예시로 보여준다.

상세 분석

이 논문은 메트릭 {s,t}‑경로 TSP(즉, 시작점 s와 종료점 t가 고정된 여행 판매원 문제)와, 더 일반적인 최단 연결 T‑조인 문제에 대한 새로운 근사 알고리즘을 제시한다. 기존 연구에서는 Hoogeveen(1991)의 5/3 ≈ 1.667 근사와 An‑Kleinberg‑Shmoys(2012)의 √5+1 / 2 ≈ 1.618 근사가 알려져 있었으며, Cheriyan‑Friggstad‑Gao(2012)는 |T|≥4인 경우 13/8 ≈ 1.625 근사를 달성했다. 본 논문은 이러한 결과들을 한 단계 끌어올려 8/5 = 1.6 이라는 더 강력한 비율을 증명한다.

핵심 아이디어는 “Best‑of‑Many Christofides” 프레임워크를 그대로 사용하면서, 최적 LP 해 x* 에 대한 절반인 x*/2 를 보완(completion)하는 방식을 새롭게 설계하는 것이다. 기존 방법은 x*/2 가 부족한 컷(cut)들을 보완하기 위해 전역적인 보정 벡터를 추가했지만, 이 논문은 각 부족한 컷마다 x* 에 내재된 명시적 벡터를 개별적으로 할당한다. 구체적으로, F_{>0} 에 포함된 각 스패닝 트리를 P (또는 T‑조인)과 그 보완 집합 C 으로 분할한다. 이 분할은 x* 를 x* = ½ · x* + Δ  형태로 표현하게 하며, Δ 는 각 컷에 대해 최소한의 비용으로 “패리티 보정”을 만족시키는 벡터이다.

이러한 보정 과정은 선형계획(LP)이나 복잡한 구조적 성질에 의존하지 않는다. 대신, x* 의 구성 요소를 직접 이용해 각 컷에 맞는 보정량을 계산한다. 결과적으로, 모든 스패닝 트리 T∈F_{>0} 에 대해 Christofides‑type 알고리즘이 생성하는 {s,t}‑투어의 비용이 OPT + (3/5)·OPT ≤ (8/5)·OPT 을 만족한다. 여기서 OPT 는 원 문제의 최적 정수 해이며, LP 이완의 최적값과도 일치한다.

논문은 또한 “Best‑of‑Many” 전략이 항상 최적 해보다 더 나은 결과를 내지는 못한다는 점을 강조한다. 구체적인 그래프 예시를 통해, 모든 후보 트리에서 얻어지는 투어가 동일하게 3/2·OPT 에 머물 수 있음을 보인다. 이는 알고리즘의 한계점을 명확히 제시하면서, 향후 개선 가능성을 탐색할 필요성을 제기한다.

이와 같이, 본 연구는 기존 근사 비율을 미세하게 개선함과 동시에, 복잡한 LP 기반 보정 대신 x* 의 구조적 정보를 활용한 직관적이고 효율적인 보정 메커니즘을 제공한다. 이는 이론적 의미뿐 아니라 실제 구현 시 계산 비용을 크게 절감할 수 있는 실용적 장점을 가진다.