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.

Approximation Algorithms for Generalized MST and TSP in Grid Clusters

Complexity and approximability of the Euclidean generalized traveling salesman problem in grid clusters

Scheduling on a Graph with Release Times

On approximating a new generalization of traveling salesman problem

Approximating bottleneck spanning trees on partitioned tuples of points

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

13/9-approximation for Graphic TSP

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

An improved approximation guarantee for Prize-Collecting TSP

Improved FPT Approximation for Non-metric TSP

An Improved Approximation Algorithm for TSP in the Half Integral Case

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

An Improved Upper Bound for the Universal TSP on the Grid

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

Approximating Traveling Salesman Problems Using a Bridge Lemma

On the Approximability of the Traveling Salesman Problem with Line Neighborhoods

A Gap-ETH-Tight Approximation Scheme for Euclidean TSP

A General Approach to Approximate Multistage Subgraph Problems

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

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

A $4/5$ - Approximation Algorithm for the Maximum Traveling Salesman Problem