[论文解读] A 9/7-Approximation Algorithm for Graphic TSP in Cubic Bipartite Graphs

Jeremy Karp, R. Ravi|arXiv (Cornell University)|Nov 14, 2013

Advanced Graph Theory Research参考文献 14被引用 3

一句话总结

本文提出了一种在3-正则二分图中求解图TSP的多项式时间9/7-近似算法，通过构造一个边数不超过9/7n的生成欧拉多重图实现。该方法利用环压缩与扩展技术，最小化2-因子中的环数，结合二分图的偶环结构与佩特森定理，寻找边不相交的完美匹配。

ABSTRACT

We prove new results for approximating Graphic TSP. Specifically, we provide a polynomial-time \frac{9}{7}-approximation algorithm for cubic bipartite graphs and a (\frac{9}{7}+\frac{1}{21(k-2)})-approximation algorithm for k-regular bipartite graphs, both of which are improved approximation factors compared to previous results. Our approach involves finding a cycle cover with relatively few cycles, which we are able to do by leveraging the fact that all cycles in bipartite graphs are of even length along with our knowledge of the structure of cubic graphs.

研究动机与目标

• 将3-正则二分图中图TSP的近似比改进至超越先前界限的水平。
• 解决最小化2-因子中环数以减少所得欧拉多重图规模的挑战。
• 将算法扩展至k-正则二分图，并针对较小的k值获得更紧的近似因子。
• 通过研究结构化3-正则图中的哈密顿性质，为解决巴内特猜想提供理论进展。
• 证明3-正则二分图中的图TSP实例可比一般度量TSP实例更有效地近似。

提出的方法

• 利用佩特森定理将3-正则二分图分解为三个边不相交的完美匹配。
• 通过合并其中两个完美匹配构造2-因子，形成环覆盖。
• 应用压缩与扩展过程，通过收缩4-环并迭代处理6-环，减少2-因子中的环数。
• 采用DOUBLETREE过程的改进版本，通过增加2(k−1)条额外边，将2-因子扩展为生成欧拉多重图。
• 对于k-正则二分图，使用基于匹配的子程序选择具有较少K3,3分量的3-正则子图，以最小化环数。
• 利用抽屉原理界定所选3-正则子图中K3,3分量的数量，从而实现更精细的近似因子。

实验结果

研究问题

• RQ1 能否在3-正则二分图中的图TSP问题上实现优于3/2的近似比？
• RQ2 如何利用环压缩与扩展技术最小化3-正则二分图2-因子中的环数？
• RQ3 对于较小的k ≥4，k-正则二分图中图TSP的最紧近似因子是多少？
• RQ4 能否对k-正则二分图中3-正则子图的K3,3分量数量进行界定，以提升近似比？
• RQ5 3-正则二分图的结构是否允许其近似效果优于目前已知的一般图TSP实例？

主要发现

• 本文在3-正则二分图中实现了图TSP的9/7-近似，优于先前结果。
• 该算法在O(n^5/2)时间内计算出边数不超过9/7n的生成欧拉多重图。
• 对于k ≥4的k-正则二分图，算法实现了(9/7 + 1/(21(k−2)))-近似，对较小的k值优于先前界限。
• 所选3-正则子图中K3,3分量的数量被限定为n/(6(k−2))，从而支持更优的近似因子。
• 算法确保压缩图中2-因子的环数不超过n/7，这对最小化最终多重图规模至关重要。
• 该方法在k=4时依然有效，得到的解边数少于4/3n，展示了实际改进效果。