[논문 리뷰] Eight-Fifth Approximation for TSP Paths

András Sebö|2012. 09. 16.

Vehicle Routing Optimization Methods참고 문헌 18인용 수 14

한 줄 요약

이 논문은 정밀하게 다듬어진 '다수 중 최고' 크리스토페일레스 알고리즘의 변형을 사용하여 거리 공간 {s,t}-경로 TSP에 대해 8/5-근사 알고리즘을 제시한다. 최적의 분수해 x*를 분해하고, x*/2에 맞춤형 벡터를 추가하여 이전 방법보다 더 낫게 조건을 충족시키며, 이는 이전까지의 최선 비율인 (1+√5)/2 ≈ 1.618을 초월한다.

ABSTRACT

We prove the approximation ratio 8/5 for the metric $\{s,t\}$-path-TSP problem, and more generally for shortest connected $T$-joins. The algorithm that achieves this ratio is the simple "Best of Many" version of Christofides' algorithm (1976), suggested by An, Kleinberg and Shmoys (2012), which consists in determining the best Christofides $\{s,t\}$-tour out of those constructed from a family $\Fscr_{>0}$ of trees having a convex combination dominated by an optimal solution $x^*$ of the fractional relaxation. They give the approximation guarantee $\frac{\sqrt{5}+1}{2}$ for such an $\{s,t\}$-tour, which is the first improvement after the 5/3 guarantee of Hoogeveen's Christofides type algorithm (1991). Cheriyan, Friggstad and Gao (2012) extended this result to a 13/8-approximation of shortest connected $T$-joins, for $|T|\ge 4$. The ratio 8/5 is proved by simplifying and improving the approach of An, Kleinberg and Shmoys that consists in completing $x^*/2$ in order to dominate the cost of "parity correction" for spanning trees. We partition the edge-set of each spanning tree in $\Fscr_{>0}$ into an $\{s,t\}$-path (or more generally, into a $T$-join) and its complement, which induces a decomposition of $x^*$. This decomposition can be refined and then efficiently used to complete $x^*/2$ without using linear programming or particular properties of $T$, but by adding to each cut deficient for $x^*/2$ an individually tailored explicitly given vector, inherent in $x^*$. A simple example shows that the Best of Many Christofides algorithm may not find a shorter $\{s,t\}$-tour than 3/2 times the incidentally common optima of the problem and of its fractional relaxation.

연구 동기 및 목표

• 거리 공간 {s,t}-경로 TSP에 대한 근사 비율을 이전까지의 최선인 (1+√5)/2 ≈ 1.618를 넘어서 향상시키는 것.
• 선형계획법이나 복잡한 네트워크 플로우 기법에 의존하지 않고 '다수 중 최고' 크리스토페일레스 알고리즘의 분석을 단순화하고 강화하는 것.
• 더 넓은 조합 최적화 문제에 적용 가능한 일반적인 프레임워크를 제공하는 것.
• 단지 스패닝 트리의 볼록 조합과 명시적인 벡터 완성만을 사용하여 {s,t}-경로 TSP에 대해 8/5의 증명 가능한 근사 보장을 달성하는 것.
• 이 방법이 클러스터링된 TSP나 보상 수령 가능 s-t 경로 TSP와 같은 변형 문제에 적용될 수 있으며, 더 나은 성능 보장을 제공할 수 있는지 검증하는 것.

제안 방법

• 최적의 분수해 x*에 의해 지배되는, 양수인 스패닝 트리의 가족 F>0을 구성한다.
• F>0에 속한 각 트리는 {s,t}-경로와 그 여집합으로 분할되며, 이는 x*의 분해를 유도한다.
• 선형계획법을 피하기 위해, x*/2가 부족한 각 컷에 맞춤형으로 정의된 벡터를 추가함으로써 x*/2를 완성하는 방법을 사용한다.
• 새로운 벡터 x^Q를 도입하며, 이는 무작위 산림 Q와 트리 가족 F의 교차에 속한 간선 e의 확률로 정의된다. 이는 짝수 수정 비용을 지배한다.
• An 등이 사용한 복잡한 f_Ui* 벡터들을 x^Q로 대체함으로써 증명을 단순화하면서도 타이트함을 유지한다.
• 성능 한계는 예상 비용 증가를 기록하는 두 변수 함수 f(β,y)를 최소화함으로써 유도되며, 이 함수의 최소값 ε는 y=0일 때 도달함을 보여주며, 이는 8/5 비율이 정확함을 확인한다.

실험 결과

연구 질문

• RQ1 선형계획법에 의존하지 않고 '다수 중 최고' 크리스토페일레스 알고리즘이 거리 공간 {s,t}-경로 TSP에 대해 8/5의 근사 비율을 달성할 수 있는가?
• RQ2 An 등의 분석에서 복잡한 f_Ui* 벡터들을 더 단순하고 명시적인 벡터 x^Q로 대체할 수 있으며, 여전히 타이트한 성능 한계를 보장할 수 있는가?
• RQ3 맞춤형 벡터를 사용한 x*/2의 정밀한 완성 방식이 이전의 (1+√5)/2 한계를 초월하는 증명 가능한 더 나은 근사 비율을 도출할 수 있는가?
• RQ4 이 방법은 클러스터링된 TSP나 보상 수령 가능 s-t 경로 TSP와 같은 다른 T-조인 문제로 일반화될 수 있는가?
• RQ5 완성 벡터의 스케일링과 얻어지는 근사 비율 사이의 최적의 트레이드오프는 무엇이며, 이를 분석적으로 최소화할 수 있는가?

주요 결과

• 논문은 거리 공간 {s,t}-경로 TSP에 대해 8/5 = 1.6의 근사 비율을 달성하여, 이전까지의 최선 비율인 (1+√5)/2 ≈ 1.618을 향상시켰다.
• 선형계획법과 네트워크 플로우 기반의 f_Ui* 벡터 사용을 피하고, 간선이 무작위 산림 Q와 트리 가족 F의 교차에 속할 확률로 정의된 더 단순하고 명시적인 벡터 x^Q로 대체하였다.
• 분석 결과, 완성 벡터들의 합이 p*에 의해 지배되며, c^T p* < (1/2 - ε)c^T x* 이외에 c^T q* < (1/2 + ε)c^T x* 이면, 더 타이트한 비용 제어가 가능하다는 것이 밝혀졌다.
• 성능 매개변수 y(완성 벡터의 스케일링)의 최적값은 0으로 확인되었으며, 이는 현재 프레임워크 하에서 8/5 한계가 타이트함을 확인한다.
• 이 방법은 변형 문제로 확장되었으며, 클러스터 수가 일정한 클러스터링된 TSP는 이제 8/5-근사가 가능하고, 보상 수령 가능 s-t 경로 TSP는 1.94837-근사가 가능하다.
• 반례를 통해 '다수 중 최고' 크리스토페일레스 알고리즘이 어떤 경우에서는 최적값의 3/2배 이내로 향상되지 않을 수 있음을 보여주며, 8/5 결과의 비자명성을 강조한다.