[论文解读] The Symmetric Traveling Salesman Problem

Howard Kleiman|ArXiv.org|Aug 11, 2005

Advanced Graph Theory Research参考文献 2被引用 15

一句话总结

本文提出一种新颖方法，通过利用最优巡回中导出的完美匹配以及应用改进的Floyd-Warshall算法，来求解对称旅行商问题（TSP）。该方法识别可拼接为有效巡回的环，并提出一个必要且充分条件（条件A），确保环集可生成可行巡回，从而通过环分解与矩阵变换技术高效构造最优或近似最优解。

ABSTRACT

Let M be an nXn symetric matrix, n, even, T, an upper bound for T_OPT, an optimal tour, sigma_T, the smaller-valued perfect matching obtained from alternate edges of T expressed as a product of 2-cycles. Applying the modified Floyd-Warshall algorithm to (sigma_T)^-1M^-, we construct acceptable and 2-circuit cycles some sets of which may yield circuits that can be patched into tours. We obtain necessary and sufficient conditions for a set, S, of cycles to yield circuits that may be patched into a tour.Assume that the following (Condition A)is valid: If (sigma_T)s = T*, |T*|

研究动机与目标

• 通过完美匹配的环分解方法，构建最优或近似最优的TSP巡回。
• 确立环集可拼接为有效巡回的必要且充分条件。
• 通过矩阵变换与环选择准则，提升TSP解构造的效率。
• 形式化一个理论框架，通过条件A将最优巡回、完美匹配与环集联系起来。
• 证明在条件A下，改进的Floyd-Warshall算法可稳定生成产生最优巡回的环集S(FWOPT)。

提出的方法

• 该方法从一个最优TSP巡回T开始，从中提取其交替边构成的完美匹配σ_T，表示为2-循环的乘积。
• 将σ_T的逆与代价矩阵M的转置相乘，形成(σ_T)^-1 M^-，随后通过改进的Floyd-Warshall算法进行处理。
• 该算法从变换后的矩阵中识别出可接受的环与2-圈环，作为巡回拼接的候选。
• 应用一个关键条件（条件A）对环集S进行筛选，使得若σ_T s = T* 且 |T*| < |T|，则s中所有环的值均小于|T| - |σ_T|。
• 该方法确保在条件A下，S(FWOPT)（即产生改进Floyd-Warshall最优巡回的环集）始终可被获取。
• 此外，该方法进一步表明，S_OPT（即产生真正最优巡回T_OPT的环集）可从该过程中获得的环子集中推导得出，即使未完整运行Floyd-Warshall算法。

实验结果

研究问题

• RQ1 从变换矩阵中导出的环集在何种条件下可被拼接为有效的TSP巡回？
• RQ2 如何系统性地利用改进的Floyd-Warshall算法生成导向最优或近似最优TSP巡回的环集？
• RQ3 从最优巡回T中提取的完美匹配σ_T与可拼接为新巡回的环集之间存在何种关系？
• RQ4 条件A是否可作为识别能生成比原巡回更短的巡回的环集的必要且充分准则？
• RQ5 在条件A下，最优环集S_OPT在多大程度上可从改进Floyd-Warshall算法的输出中恢复？

主要发现

• 条件A在σ_T s = T* 且 |T*| < |T| 时，对确保环集s可拼接为更短巡回T*而言，既必要又充分。
• 在条件A下，改进的Floyd-Warshall算法始终能生成产生最优巡回的环集S(FWOPT)。
• S_OPT（即产生真正最优巡回T_OPT的环集）始终可从改进Floyd-Warshall算法生成的环的子集中获得。
• 该方法通过使用(σ_T)^-1 M^-变换代价矩阵并应用基于环的拼接策略，实现最优巡回的构造。
• 该理论框架建立了完美匹配、环分解与最优TSP巡回构造之间的直接联系，从而增强了对称TSP实例的算法设计能力。