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.

Minimum Spanning Trees, Perfect Matchings and Cycle Covers over Stochastic Points in Metric Spaces

Approximating the Expected Values for Combinatorial Optimization Problems over Stochastic Points.

Scheduling on a Graph with Release Times

Stochastic Minimum Spanning Trees with a Single Sample

Approximating bottleneck spanning trees on partitioned tuples of points

Optimal Random Matchings, Tours, and Spanning Trees in Hierarchically Separated Trees

Models and hybrid algorithms for inverse minimum spanning tree problem with stochastic edge weights

A Fully Polynomial Time Approximation Scheme for Constrained MDPs and Stochastic Shortest Path under Local Transitions

Stochastic Inverse Minimum Spanning Tree Problem

Algorithms and Adaptivity Gaps for Stochastic K-Tsp.

Maximizing Expected Utility for Stochastic Combinatorial Optimization Problems

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

Approximation Algorithms for Stochastic Combinatorial Optimization Problems

Stochastic K-Center and J-Flat-center Problems

A stochastic matching model on hypergraphs

Stochastic quadratic minimum spanning tree problem

Target-based Distributionally Robust Minimum Spanning Tree Problem

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

Approximating optimization problems in graphs with locational uncertainty

Finding Spanning Trees with Perfect Matchings

When LP is the Cure for Your Matching Woes: Improved Bounds for Stochastic Matchings