[论文解读] Approximation Algorithms for the Bottleneck Asymmetric Traveling Salesman Problem

Hyung-Chan An, Robert Kleinberg+1 more|arXiv (Cornell University)|Dec 28, 2020

Complexity and Algorithms in Graphs参考文献 19被引用 9

一句话总结

本文提出了瓶颈不对称旅行商问题（BATSP）的第一个非平凡近似算法，通过引入一种新颖的欧拉回路捷径化技术，在控制捷径长度的同时实现了 $O(\log n / \log \log n)$ 的近似比。该方法基于 Held-Karp 松弛，并利用极点解的结构特性，确保最终回路中的瓶颈成本有界。

ABSTRACT

We present the first nontrivial approximation algorithm for the bottleneck asymmetric traveling salesman problem. Given an asymmetric metric cost between n vertices, the problem is to find a Hamiltonian cycle that minimizes its bottleneck (or maximum-length edge) cost. We achieve an O(log n / log log n) approximation performance guarantee by giving a novel algorithmic technique to shortcut Eulerian circuits while bounding the lengths of the shortcuts needed. This allows us to build on a related result of Asadpour, Goemans, Mądry, Oveis Gharan, and Saberi to obtain this guarantee. Furthermore, we show how our technique yields stronger approximation bounds in some cases, such as the bounded orientable genus case studied by Oveis Gharan and Saberi. We also explore the possibility of further improvement upon our main result through a comparison to the symmetric counterpart of the problem.

研究动机与目标

• 为解决瓶颈不对称 TSP 缺乏非平凡近似算法的问题，该问题旨在最小化哈密顿回路中的最大边权。
• 设计一种多项式时间算法，实现关于顶点数 $n$ 的次线性近似比。
• 通过线性规划松弛的结构洞见，将对称和最小和 TSP 的现有技术扩展至瓶颈不对称设置。
• 证明所提出的方法在特殊情形（如有向亏格有界的图）下可获得更强的界。
• 通过与对称情形的对比，探索瓶颈不对称 TSP 近似理论的极限。

提出的方法

• 该算法首先求解 Held-Karp 松弛，并识别出具有特定结构特性的极点解 $x^*$。
• 将极点解 $x^*$ 分解为两部分：支持集较大的部分（取值为 $1 - \frac{1}{k}$）和支撑集较小的部分（取值为 $\frac{1}{k}$），以确保强连通性和度约束。
• 采用一种新颖的捷径化技术，将欧拉回路转化为哈密顿回路，其中每条捷径引入的边权增长均被控制。
• 利用支持集 $x^*$ 上的一组紧致线性约束（如出度、入度和割约束）唯一重构解，并强制保持结构一致性。
• 该算法确保最终回路中最大边权不超过最优瓶颈成本的 $O(\log n / \log \log n)$ 倍。
• 利用 Asadpour 等人关于随机生成生成树和基于行列式采样的研究成果，构建欧拉回路分布，其期望捷径成本有界。

实验结果

研究问题

• RQ1 鉴于此前尚未存在此类算法，能否为瓶颈不对称 TSP 设计一个非平凡的近似算法？
• RQ2 Held-Karp 松弛的哪些结构特性可被利用以控制最终回路中的瓶颈成本？
• RQ3 能否控制欧拉回路上的捷径化过程，以确保引入的最大边长在 $O(\log n / \log \log n)$ 倍最优范围内？
• RQ4 所提出的方法在特殊图类（如具有有界定向亏格的图）中是否能获得更优的近似比？
• RQ5 瓶颈不对称 TSP 的近似性能与对称及最小和 TSP 对应问题相比如何？

主要发现

• 本文首次为瓶颈不对称 TSP 实现了 $O(\log n / \log \log n)$ 的近似比，这是该问题首个非平凡的近似保证。
• 该算法采用一种新颖的欧拉回路捷径化技术，对每条捷径的长度进行控制，确保瓶颈成本保持在指定近似因子内。
• 该方法证明了 Held-Karp 松弛的极点解 $x^*$ 可由一组精心选择的紧致线性约束唯一确定，从而实现解结构的精确重构。
• 在特殊情形（如具有有界定向亏格的图）下，该技术可提供优于一般 $O(\log n / \log \log n)$ 保证的更强近似界。
• 该方法在 Asadpour 等人关于随机生成树和基于行列式采样的框架基础上，将其拓展至瓶颈设置。
• 本工作确立了瓶颈不对称 TSP 可在 $O(\log n / \log \log n)$ 范围内近似，填补了文献中此前未存在 $o(n)$-近似算法的重大空白。