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 Time Approximation of the Cost of a Metric [math]-Nearest Neighbor Graph

Accelerating Exact Nearest Neighbor Search in High Dimensional Euclidean Space Via Block Vectors

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

Efficient Approximate Algorithms for the Closest Pair Problem in High Dimensional Spaces.

Comparison Based Nearest Neighbor Search

Lazylsh: Approximate Nearest Neighbor Search For Multiple Distance Functions With A Single Index

Approximate nearest neighbor algorithm based on navigable small world graphs

Worst-case Performance of Popular Approximate Nearest Neighbor Search Implementations: Guarantees and Limitations

Sublinear Time Spectral Density Estimation

A new near-linear time algorithm for k-nearest neighbor search using a compressed cover tree

A Near-Linear Time Approximation Algorithm for Beyond-Worst-Case Graph Clustering

A deterministic sublinear-time nonadaptive algorithm for metric $1$-median selection

Effective and General Distance Computation for Approximate Nearest Neighbor Search

Massively Parallel Minimum Spanning Tree in General Metric Spaces

Approximate Earth Mover's Distance in Truly-Subquadratic Time

Approximating Maximum Matching Requires Almost Quadratic Time

Lowest Probability Mass Neighbour Algorithms: Relaxing the Metric Constraint in Distance-Based Neighbourhood Algorithms

Approximating Metric Magnitude of Point Sets

A Theory-Based Evaluation of Nearest Neighbor Models Put Into Practice

Polylogarithmic Approximation for Edit Distance and the Asymmetric Query Complexity

Almost-linear Time Approximation Algorithm to Euclidean $k$-median and $k$-means