Abstract:We consider the design of sublinear space and query complexity algorithms for estimating the cost of a minimum spanning tree (MST) and the cost of a minimum traveling salesman (TSP) tour in a metric on $n$ points. We first consider the $o(n)$-space regime and show that, when the input is a stream of all $\binom{n}{2}$ entries of the metric, for any $\alpha \ge 2$, both MST and TSP cost can be $\alpha$-approximated using $\tilde{O}(n/\alpha)$ space, and that $\Omega(n/\alpha^2)$ space is necessary for this task. Moreover, we show that even if the streaming algorithm is allowed $p$ passes over a metric stream, it still requires $\tilde{\Omega}(\sqrt{n/\alpha p^2})$ space. We next consider the semi-streaming regime, where computing even the exact MST cost is easy and the main challenge is to estimate TSP cost to within a factor that is strictly better than $2$. We show that, if the input is a stream of all edges of the weighted graph that induces the underlying metric, for any $\varepsilon > 0$, any one-pass $(2-\varepsilon)$-approximation of TSP cost requires $\Omega(\varepsilon^2 n^2)$ space; on the other hand, there is an $\tilde{O}(n)$ space two-pass algorithm that approximates the TSP cost to within a factor of 1.96. Finally, we consider the query complexity of estimating metric TSP cost to within a factor that is strictly better than $2$, when the algorithm is given access to a matrix that specifies pairwise distances between all points. For MST estimation in this model, it is known that a $(1+\varepsilon)$-approximation is achievable with $\tilde{O}(n/\varepsilon^{O(1)})$ queries. We design an algorithm that performs $\tilde{O}(n^{1.5})$ distance queries and achieves a strictly better than $2$-approximation when either the metric is known to contain a spanning tree supported on weight-$1$ edges or the algorithm is given access to a minimum spanning tree of the graph.

Algorithmic strategies for finding the best TSP 2-OPT move in average sub-quadratic time

Average Case Subquadratic Exact and Heuristic Procedures for the Traveling Salesman 2-OPT Neighborhood

Scheduling on a Graph with Release Times

Smoothed Analysis of the 2-Opt Algorithm for the General TSP

Orbits, schemes and dynamic programming procedures for the TSP 4-OPT neighborhood

Geometric and LP-based heuristics for the quadratic travelling salesman problem

Smoothed Analysis of the 2-Opt Heuristic for the TSP under Gaussian Noise

A Speed-up for Helsgaun's TSP Heuristic by Relaxing the Positive Gain Criterion

A Linear Time Gap-ETH-Tight Approximation Scheme for TSP in the Euclidean Plane

Practical Algorithms with Guaranteed Approximation Ratio for TTP with Maximum Tour Length Two

The bright side of simple heuristics for the TSP

Improved Smoothed Analysis of 2-Opt for the Euclidean TSP

An Empirical Analysis of Approximation Algorithms for the Euclidean Traveling Salesman Problem

An Efficient Tour Construction Heuristic for Generating the Candidate Set of the Traveling Salesman Problem with Large Sizes

Sublinear Algorithms and Lower Bounds for Estimating MST and TSP Cost in General Metrics

The approximation ratio of the 2-Opt Heuristic for the metric Traveling Salesman Problem

Approximating Prize-Collecting Variants of TSP

A Faster Deterministic Approximation Algorithm for TTP-2

A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesman Problem

A $(\frac32+\frac1{\mathrm{e}})$-Approximation Algorithm for Ordered TSP

A subexponential parameterized algorithm for Directed Subset Traveling Salesman Problem on planar graphs