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.

Sublinear Algorithms for TSP via Path Covers

Scheduling on a Graph with Release Times

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

Reducing Path TSP to TSP

Approximation Algorithms for Covering Vertices by Long Paths

Polynomial-Time Approximability of the Asymmetric Problem of Covering a Graph by a Bounded Number of Cycles

An Improved Approximation Algorithm for TSP in the Half Integral Case

On approximating a new generalization of traveling salesman problem

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

Constant-factor approximations for asymmetric TSP on nearly-embeddable graphs

Travelling on Graphs with Small Highway Dimension

An LP-based 3/2-approximation algorithm for the graphic s-t path TSP

A Linear Time Algorithm for the $3$-neighbour Traveling Salesman Problem on Halin graphs and extensions

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

Improved FPT Approximation for Non-metric TSP

On the Approximability of the Traveling Salesman Problem with Line Neighborhoods

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

Approximating the Held-Karp Bound for Metric TSP in Nearly Linear Work and Polylogarithmic Depth

A 1.5-Approximation for Symmetric Euclidean Open Loop TSP

The Covering Canadian Traveller Problem Revisited

An Approximation Algorithm for Covering Vertices by 4^+-Paths