[论文解读] A Gap-ETH-Tight Approximation Scheme for Euclidean TSP

‪Sándor Kisfaludi-Bak, Jesper Nederlof+1 more|arXiv (Cornell University)|Nov 7, 2020

Computational Geometry and Mesh Generation被引用 2

一句话总结

本文提出了一种针对 d 维空间中欧几里得 TSP 的随机化 (1 + ε)-近似方案，其时间复杂度为 2^O(1/ε^{d−1})n + poly(1/ε)n log n，该复杂度在 Gap-Exponential Time Hypothesis (Gap-ETH) 下对 ε 的依赖关系达到紧致。关键创新在于 '稀疏性敏感修补' 技术，该技术根据巡回的稀疏性动态调整局部简化粒度，从而在复杂度上超越了以往 (1/ε)^O(1/ε^{d−1}) 的界，并与目前已知最优精确算法的条件最优性相匹配。

ABSTRACT

In the Euclidean k-traveling salesman problem (k-TSP), we are given n points in the d-dimensional Euclidean space, for some fixed constant d ≥ 2, and a positive integer k. The goal is to find a shortest tour visiting at least k points. We give an approximation scheme for the Euclidean k-TSP in time n⋅2^O(1/ε^{d-1})⋅(log n)^{2d²⋅2^d}. This improves Arora’s approximation scheme of running time n⋅k⋅(log n)^(O(√d/ε))^{d-1}} [J. ACM 1998]. Our algorithm is Gap-ETH tight and can be derandomized by increasing the running time by a factor O(n^d).

研究动机与目标

• 为固定维度 d ≥ 2 的欧几里得 TSP 的 (1+ε)-近似方案中 ε 的指数依赖关系提供紧致化，以填补该领域的差距。
• 在合理的复杂性假设（特别是 Gap-ETH）下，确定 ε 的最优时间复杂度依赖关系。
• 开发一种新型算法技术——稀疏性敏感修补，其可根据局部巡回稀疏性自适应调整简化粒度。
• 将该新方法扩展至其他几何问题（如 Steiner Tree 和矩形 Steiner Tree），并实现相同的运行时间界。
• 为矩形 Steiner Tree 建立匹配的 Gap-ETH 下界，证明该运行时间在条件意义下是最优的。

提出的方法

• 引入 '稀疏性敏感修补'——一种根据局部稀疏性调整巡回简化粒度的技术，以减少在稀疏区域的不必要细化。
• 通过整合稀疏性敏感修补，扩展 Arora 的四叉树框架，从而改进运行时间中对 ε 的依赖关系。
• 利用四叉树对空间进行分层分解，递归地简化巡回，同时保持 (1+ε)-近似保证。
• 将新方法应用于 Steiner Tree 和矩形 Steiner Tree，证明其运行时间界与 TSP 相同。
• 通过从网格图上的哈密顿回路问题约化，为矩形 Steiner Tree 建立 Gap-ETH 下界，表明若存在 2^o(1/ε^{d−1})poly(n) 的算法将违反 Gap-ETH。
• 证明该算法可经由额外 n^d 因子实现去随机化，同时在 ε 依赖关系上保持条件最优性。

实验结果

研究问题

• RQ1 能否将欧几里得 TSP 的 (1+ε)-近似方案中对 ε 的指数依赖关系改进为 2^O(1/ε^{d−1})n 时间复杂度，并且在 Gap-ETH 下该复杂度是否最优？
• RQ2 稀疏性敏感修补技术是否能为 TSP 之外的几何优化问题提供更紧致的运行时间界？
• RQ3 欧几里得 TSP 的 2^O(1/ε^{d−1})n 运行时间是否在条件意义下最优，还是可能存在更快的算法？
• RQ4 能否使用该新方法在 Steiner Tree 和矩形 Steiner Tree 上也实现相同的运行时间复杂度？
• RQ5 在 Gap-ETH 下，是否存在 2^o(1/ε^{d−1})poly(n) 的算法用于矩形 Steiner Tree？

主要发现

• 本文提出了一种针对 Rd 中欧几里得 TSP 的 (1+ε)-近似算法，其运行时间为 2^O(1/ε^{d−1})n + poly(1/ε)n log n，优于以往的 (1/ε)^O(1/ε^{d−1})n log n 界。
• 该算法实现了条件最优性：若存在 2^o(1/ε^{d−1})poly(n) 的欧几里得 TSP 算法，将违反 Gap-ETH。
• 新提出的技术——稀疏性敏感修补，能够根据局部巡回稀疏性动态调整简化粒度，从而减少密集区域的过度简化与稀疏区域的过度细化。
• 该方法可推广至 Steiner Tree 和矩形 Steiner Tree，均获得与 TSP 相同的 2^O(1/ε^{d−1})n + poly(1/ε)n log n 运行时间界。
• 为矩形 Steiner Tree 建立了匹配的 Gap-ETH 下界，证明 2^o(1/ε^{d−1})poly(n) 的算法在 Gap-ETH 成立的前提下不可能存在。
• 该随机化算法可通过增加额外的 n^d 因子实现去随机化，同时保持对 ε 依赖关系的条件最优性。