[论文解读] LP-Based Approximation Algorithms for Traveling Salesman Path Problems

Hyung-Chan An, David B. Shmoys|arXiv (Cornell University)|May 12, 2011

Vehicle Routing Optimization Methods参考文献 16被引用 4

一句话总结

本文提出了一种基于线性规划的 $(\frac{5}{3} - \epsilon)$-近似算法，用于单位权重图度量下的旅行商路径问题，优于此前最佳的 $5/3$ 保证。通过结合霍格芬算法的精细化分析与欧维斯·加兰、萨贝里和辛格方法的修改版本，作者建立了路径变体 Held-Karp 松弛整数规划间隙的匹配上界。

ABSTRACT

This paper has been merged into 1110.4604.

研究动机与目标

• 改进单位权重图度量下具有两个指定端点的旅行商路径问题的近似比。
• 为路径变体 Held-Karp 松弛建立一个常数上界，该上界此前未知。
• 结合霍格芬算法与欧维斯·加兰、萨贝里和辛格算法的修改变体，以获得更优的性能保证。
• 提供整数规划间隙上界匹配改进近似比的构造性证明。

提出的方法

• 提出对霍格芬算法的新型基于线性规划的分析，识别出性能保证达到紧致性的关键情形。
• 修改欧维斯·加兰、萨贝里和辛格的电路问题算法，使其适用于单位权重图度量下的路径变体。
• 采用概率分析框架，利用 Held-Karp 松弛和 T-连接分解的结构，对解的期望成本进行上界估计。
• 引入涉及 $\gamma$、$\sigma_l$ 和 $\sigma_u$ 的参数化分析，以根据不同边权比处理不同情形，尤其关注 $(s,t)$ 边的权值。
• 构建一个多重图 $L$，作为生成树与 T-连接的并集，确保两个端点之间存在欧拉路径。
• 利用线性规划对偶性和边连通性约束，建立算法输出期望成本的上界。

实验结果

研究问题

• RQ1 能否在单位权重图度量下，将旅行商路径问题的近似比改进至 $5/3$ 以上？
• RQ2 在一般度量和单位权重图度量下，路径变体 Held-Karp 松弛的整数规划间隙是多少？
• RQ3 能否将电路问题中 $(\frac{3}{2} - \epsilon_0)$-近似算法的技术适配到路径变体，以获得更优的保证？
• RQ4 霍格芬算法中是否存在性能保证达到紧致性的关键情形？能否通过引入其他算法组件加以改进？
• RQ5 路径变体 Held-Karp 松弛的整数规划间隙能否被一个小于 $5/3$ 的常数上界所控制？

主要发现

• 本文提出了一种在单位权重图度量下针对旅行商路径问题的 $(\frac{5}{3} - \epsilon)$-近似算法，其中 $\epsilon > 0$。
• 路径变体 Held-Karp 松弛的整数规划间隙上界为 $\frac{5}{3} - \epsilon$，与算法的性能保证相匹配。
• 分析识别出霍格芬算法中的一个关键情形，其比值达到 $5/3$，并表明该情形可通过欧维斯·加兰、萨贝里和辛格算法的修改版本加以改进。
• 改进后的算法在情形 A1 中的性能保证为 $\frac{5}{3} - C_{A1}$，在情形 A2 中为 $\frac{5}{3} - C_{A2}$，在情形 B 中为 $\frac{5}{3} - C_B$，其中 $C_{A1} = 4 \cdot 10^{-2}$，$C_{A2} = 3.9 \cdot 10^{-52}$，$C_B = 3.9 \cdot 10^{-52}$。
• 该证明是构造性的，并通过组合算法方法的期望成本分析，建立了整数规划间隙的上界。
• 该结果优于此前在一般度量下路径问题已知的最佳近似比 $5/3$，并首次为路径变体 Held-Karp 松弛提供了常数上界的整数规划间隙。