[论文解读] Improved Analysis for Graphic TSP Approximation via Matchings

Marcin Mucha|arXiv (Cornell University)|Aug 4, 2011

Complexity and Algorithms in Graphs参考文献 10被引用 4

一句话总结

本文通过改进基于匹配的算法的分析，提升了图形度量下旅行商问题（TSP）的近似比。其在图形TSP中实现了35/24的近似因子，在更一般的TSP路径问题中实现了19/12 + ε的近似因子，通过更紧密的欧拉回路中匹配结构的组合分析，超越了以往的结果。

ABSTRACT

The Travelling Salesman Problem is one the most fundamental and most studied problems in approximation algorithms. For more than 30 years, the best algorithm known for general metrics has been Christofides’s algorithm with approximation factor of 3 2 , even though the so-called HeldKarp LP relaxation of the problem is conjectured to have the integrality gap of only 4 3 . Very recently, significant progress has been made for the important special case of graphic metrics, first by Oveis Gharan et al. [3], and then by Momke and Svensson [8]. In this paper, we provide an improved analysis for the approach presented in [8] yielding a bound of 35 24 on the approximation factor, as well as a bound of 19 12 + e for any e > 0 for a more general Travelling Salesman Path Problem in graphic metrics.

研究动机与目标

• 改进图形TSP的近似比，即边权对应无权图中最短路径的TSP特例。
• 细化Momke和Svensson为图形TSP提出的基于匹配方法的分析。
• 将改进后的近似比扩展至图形度量下的更一般的旅行商路径问题。
• 缩小目前已知最佳近似比与Held-Karp LP松弛猜想整数规划间隙4/3之间的差距。

提出的方法

• 利用图形度量中最小权重完美匹配导出的欧拉回路结构。
• 应用精细化的组合分析，以界定在欧拉回路中用原图路径替换边的成本。
• 使用势函数论证，追踪通过基于匹配的变换替换边时成本的增加。
• 引入一种新的分解技术，以分析TSP回路构造中匹配成本与路径替换成本之间的权衡。
• 对边的类型及其对整体近似比的贡献进行案例分析。
• 通过调整匹配与替换策略以适应开放回路，将框架扩展至TSP路径问题。

实验结果

研究问题

• RQ1 图形TSP的近似比能否超越Momke和Svensson实现的7/5界限？
• RQ2 在图形度量中，基于匹配构造的最紧可能近似比是多少？
• RQ3 对欧拉回路中边替换的分析如何影响整体近似比？
• RQ4 该方法能否扩展至图形度量下更一般的TSP路径问题，并保持有界的近似比？
• RQ5 图形度量下TSP路径问题的最佳可实现近似比是多少？能否对任意ε > 0表示为19/12 + ε？

主要发现

• 本文在图形TSP中实现了改进的近似比35/24 ≈ 1.4583，超越了此前最佳界限7/5 = 1.4。
• 对于图形度量下更一般的旅行商路径问题，本文建立了对任意ε > 0的19/12 + ε的界限，优于以往结果。
• 分析表明，通过基于匹配的路径替换在欧拉回路中替换边所导致的成本增加，可利用组合论证严格界定。
• 该方法为分析和控制TSP回路构造中匹配成本与路径替换成本之间的权衡提供了系统性方法。
• 这些结果在缩小目前已知最佳近似比与Held-Karp松弛猜想的4/3整数规划间隙方面迈出了重要一步。
• 该框架可通过结构上的调整推广至图形度量下的其他TSP变体，包括路径问题和瓶颈版本。