TY - UNPB
T1 - On the Approximability of the Traveling Salesman Problem with Line Neighborhoods
AU - Antoniadis, Antonios
AU - Kisfaludi-Bak, Sándor
AU - Laekhanukit, Bundit
AU - Vaz, Daniel
PY - 2020
Y1 - 2020
N2 - We study the variant of the Euclidean Traveling Salesman problem where instead of a set of points, we are given a set of lines as input, and the goal is to find the shortest tour that visits each line. The best known upper and lower bounds for the problem in ℝd, with d≥3, are NP-hardness and an O(log3n)-approximation algorithm which is based on a reduction to the group Steiner tree problem.We show that TSP with lines in ℝd is APX-hard for any d≥3. More generally, this implies that TSP with k-dimensional flats does not admit a PTAS for any 1≤k≤d−2 unless P=NP, which gives a complete classification of the approximability of these problems, as there are known PTASes for k=0 (i.e., points) and k=d−1 (hyperplanes). We are able to give a stronger inapproximability factor for d=O(logn) by showing that TSP with lines does not admit a (2−ϵ)-approximation in d dimensions under the unique games conjecture. On the positive side, we leverage recent results on restricted variants of the group Steiner tree problem in order to give an O(log2n)-approximation algorithm for the problem, albeit with a running time of nO(loglogn).
AB - We study the variant of the Euclidean Traveling Salesman problem where instead of a set of points, we are given a set of lines as input, and the goal is to find the shortest tour that visits each line. The best known upper and lower bounds for the problem in ℝd, with d≥3, are NP-hardness and an O(log3n)-approximation algorithm which is based on a reduction to the group Steiner tree problem.We show that TSP with lines in ℝd is APX-hard for any d≥3. More generally, this implies that TSP with k-dimensional flats does not admit a PTAS for any 1≤k≤d−2 unless P=NP, which gives a complete classification of the approximability of these problems, as there are known PTASes for k=0 (i.e., points) and k=d−1 (hyperplanes). We are able to give a stronger inapproximability factor for d=O(logn) by showing that TSP with lines does not admit a (2−ϵ)-approximation in d dimensions under the unique games conjecture. On the positive side, we leverage recent results on restricted variants of the group Steiner tree problem in order to give an O(log2n)-approximation algorithm for the problem, albeit with a running time of nO(loglogn).
U2 - 10.48550/arXiv.2008.12075
DO - 10.48550/arXiv.2008.12075
M3 - Working paper
BT - On the Approximability of the Traveling Salesman Problem with Line Neighborhoods
PB - ArXiv.org
ER -