[论文解读] 13/9-approximation for Graphic TSP

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

Complexity and Algorithms in Graphs被引用 57

一句话总结

本文提出了一种改进的 Graphic TSP 近似算法，通过优化 Mömke 和 Svensson 的基于循环的方法，实现了 $\frac{13}{9}$-近似。该工作引入了核心循环成本的二维背包分析，并证明修正部分在本质上是免费的，从而得到了比之前方法更紧的界。

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 Held-Karp 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., and then by Momke and Svensson. In this paper, we provide an improved analysis for the approach introduced by Momke and Svensson yielding a bound of 13/9 on the approximation factor, as well as a bound of 19/12+epsilon for any epsilon>0 for a more general Travelling Salesman Path Problem in graphic metrics.

研究动机与目标

• 将 Graphic TSP 的近似比改进至超过之前已知的最佳界约 1.461。
• 对 Mömke-Svensson 算法中使用的循环成本进行更紧的分析，特别关注核心部分和修正部分。
• 证明循环的修正部分在成本贡献上可视为基本免费，从而实现更优的界。
• 建立核心循环成本的近乎匹配的下界，表明进一步改进需要超越背包类分析的深层结构洞察。
• 将改进的分析扩展至 Graphic TSP 路径问题（TSPP），对任意 $\varepsilon>0$ 实现 $\frac{19}{12}+\varepsilon$ 的近似。

提出的方法

• 对辅助流网络中的最小费用循环进行精细化分析，分解为核心部分和修正部分。
• 应用二维背包问题公式来界定核心循环的成本，优于先前工作中使用的标准背包。
• 证明循环的修正部分对总成本的贡献可忽略不计，从而在渐近分析中可视为‘免费’。
• 建立核心循环成本的下界，该下界几乎与上界匹配，表明分析在结构约束下已达到紧致性。
• 将改进后的循环成本界与现有的 TSP 构造定理结合，推导出最终的近似比。
• 通过 Christofides 算法与生成树路径构造的平衡技术，实现 TSPP 的最终近似。

实验结果

研究问题

• RQ1 能否将 Graphic TSP 的近似因子改进至超过 Mömke 和 Svensson 的 $\frac{14(\sqrt{2}-1)}{12\sqrt{2}-13} \approx 1.461$ 界？
• RQ2 能否对 Mömke-Svensson 框架中使用的循环成本进行更紧的分析，特别是对修正组件？
• RQ3 使用二维背包模型是否能比一维模型更紧地界定核心循环成本？
• RQ4 能否将改进的分析扩展至 Graphic TSP 路径问题，以获得优于 $3 - \sqrt{2} + \varepsilon \approx 1.586 + \varepsilon$ 的近似比？
• RQ5 核心循环成本的最紧可能下界是什么？该下界是否意味着进一步改进需要新的结构洞察？

主要发现

• 本文实现了 Graphic TSP 的 $\frac{13}{9} \approx 1.444$-近似，优于之前已知的约 1.461 的界。
• 证明循环的修正部分在本质上是免费的，对最终界无显著成本贡献。
• 使用二维背包模型推导出核心循环成本的更紧上界，该上界几乎被相应的下界所匹配。
• 对于 Graphic TSP 路径问题，本文对任意 $\varepsilon > 0$ 实现了 $\frac{19}{12} + \varepsilon$-近似，优于之前 $3 - \sqrt{2} + \varepsilon \approx 1.586 + \varepsilon$ 的界。
• 与 Mömke 和 Svensson 的原始工作相比，该分析显著简化，因为不再需要依赖线性规划松弛值的平衡而与 Christofides 算法进行权衡。
• 核心循环成本的下界表明，进一步改进必须超越当前基于背包类结构分析的框架。