[论文解读] A 4/3-approximation for TSP on cubic 3-edge-connected graphs

Nishita Aggarwal, Naveen Garg+1 more|arXiv (Cornell University)|Jan 28, 2011

Advanced Graph Theory Research参考文献 4被引用 24

一句话总结

本文提出了一种多项式时间算法，可在任意3-边连通的立方图中找到一个边数不超过4n/3的连通欧拉子图，从而在该类度量下实现了TSP的4/3-近似。该方法利用2-因子分解、将环压缩为超顶点，以及迭代分裂以消除短环，随后通过受控扩展保持连通性和欧拉性质，同时最小化边数。

ABSTRACT

We provide a polynomial time 4/3 approximation algorithm for TSP on metrics arising from the metric completion of cubic 3-edge connected graphs.

研究动机与目标

• 改进由3-边连通立方图导出的最短路径度量下旅行商问题（TSP）的近似比。
• 弥合已知的3/2-近似与这类特殊度量下Held-Karp LP猜想的4/3整数规划间隙之间的差距。
• 设计一种多项式时间算法，构造出在这些图中边数不超过4n/3的连通欧拉子图。
• 在3-边连通立方图的情况下，实现子 tour 消除 LP 的猜想整数规划间隙4/3。

提出的方法

• 该算法首先通过Jackson和Yoshimoto非构造性证明的修改版本，计算出不包含3-环或4-环的2-因子。
• 将5-环压缩为超顶点，并应用Mader的分裂引理，在边替换后保持3-边连通性。
• 通过反复压缩并重新在所得的3-边连通立方图上应用2-因子计算，迭代消除5-环。
• 在获得仅由长度≥6的环或包含超顶点的环组成的2-因子后，将超顶点逐步展开回5-环，同时保持欧拉结构。
• 对于每个连通分量，通过用5-环替换超顶点来展开，并调整边以保持连通性和欧拉性质，最坏情况下每个顶点使用不超过4/3条边。
• 最终通过每连通分量最多增加两条边，将各分量连接成一个连通的欧拉子图，确保总边数≤4n/3。

实验结果

研究问题

• RQ1 能否在由3-边连通立方图导出的最短路径度量下，实现TSP的4/3-近似？
• RQ2 是否能使用多项式时间算法，在此类图中构造出边数不超过4n/3的连通欧拉子图？
• RQ3 Held-Karp LP在这些度量下的整数规划间隙是否与4/3边界一致，且能否通过算法实现？
• RQ4 能否利用3-边连通立方图的结构特性，消除短环并减少欧拉子图中的边数？

主要发现

• 该算法在任意3-边连通立方图中构造出边数不超过4n/3的连通欧拉子图。
• 4n/3的边界与该类度量下Held-Karp LP的猜想整数规划间隙完全一致。
• 该方法通过2-因子分解、环压缩和迭代分裂，成功消除了3-、4-和5-环。
• 对于度数为2或4的超顶点分量，展开过程分别增加最多5条或4条边，同时保持4/3的边数边界。
• 最终的连通欧拉子图总共使用不超过⌊4n/3⌋−2条边，额外边仅用于连接分量。
• 结果表明，对于此类图，4/3-近似是紧的，因为若不违反结构约束，该边界无法进一步改进。