Abstract:Given a set of $n$ disks of radius $R$ in the Euclidean plane, the Traveling Salesman Problem With Neighborhoods (TSPN) on uniform disks asks for the shortest tour that visits all of the disks. The problem is a generalization of the classical Traveling Salesman Problem(TSP) on points and has been widely studied in the literature. For the case of disjoint uniform disks of radius $R$, Dumitrescu and Mitchell[2001] show that the optimal TSP tour on the centers of the disks is a $3.547$-approximation to the TSPN version. The core of their analysis is based on bounding the detour that the optimal TSPN tour has to make in order to visit the centers of each disk and shows that it is at most $2Rn$ in the worst case. Häme, Hyytiä and Hakula[2011] asked whether this bound is tight when $R$ is small and conjectured that it is at most $\sqrt{3}Rn$. We further investigate this question and derive structural properties of the optimal TSPN tour to describe the cases in which the bound is smaller than $2Rn$. Specifically, we show that if the optimal TSPN tour is not a straight line, at least one of the following is guaranteed to be true: the bound is smaller than $1.999Rn$ or the $TSP$ on the centers is a $2$-approximation. The latter bound of $2$ is the best that we can get in general. Our framework is based on using the optimality of the TSPN tour to identify local structures for which the detour is large and then using their geometry to derive better lower bounds on the length of the TSPN tour. This leads to an improved approximation factor of $3.53$ for disjoint uniform disks and $6.728$ for the general case. We further show that the Häme, Hyytiä and Hakula conjecture is true for the case of three disks and discuss the method used to obtain it. Along the way, we will uncover one way in which the TSPN problem is structurally different from the classical TSP.

Bounds for the traveling salesman paths of two-dimensional modular lattices

Bounds for the number of moves between pants decompositions, and between triangulations

On a Traveling Salesman Problem for Points in the Unit Cube

Combinatorial enumeration of lattice paths by flaws with respect to a linear boundary of rational slope

Lattices in function fields and applications

Improved bounds for integral points on modular curves using Runge's method

Structural Szemerédi-Trotter for Lattices and their Generalizations

Subsets of rectifiable curves in Banach spaces I: sharp exponents in traveling salesman theorems

Lattice paths and the diagonal of the cube

Explicit formulas for enumeration of lattice paths: basketball and the kernel method

Effective module lattices and their shortest vectors

On the Nearest Neighbor Rule for the Metric Traveling Salesman Problem

Two-sided bounds for the complexity of cyclic branched coverings of two-bridge links

Towards Strong Reverse Minkowski-type Inequalities for Lattices

A Gilbert-Varshamov Type Bound for Euclidean Packings

On the lower bounds of $p$-modulus of families of paths and a finite connectedness

Brillouin Zones of Integer Lattices and Their Perturbations

An Improved Upper Bound for the Universal TSP on the Grid

Improved Bounds for the Traveling Salesman Problem with Neighborhoods on Uniform Disks

Lattice Paths, Lefschetz Properties, and Almkvist's Conjecture in Two Variables