Algorithms and Adaptivity Gaps for Stochastic K-Tsp.

Haotian Jiang,Jian Li,Daogao Liu,Sahil Singla
DOI: https://doi.org/10.4230/lipics.itcs.2020.45
2020-01-01
Abstract:Given a metric (V,d) and a ∈ V, the classic problem is to find a tour originating at the of minimum length that visits at least k nodes in V. In this work,motivated by applications where the input to an optimization problem isuncertain, we study two stochastic versions of . In Stoch-Reward k-TSP, originally defined by Ene-Nagarajan-Saket [ENS17],each vertex v in the given metric (V,d) contains a stochastic reward R_v.The goal is to adaptively find a tour of minimum expected length that collectsat least reward k; here "adaptively" means our next decision may depend onprevious outcomes. Ene et al. give an O(log k)-approximation adaptivealgorithm for this problem, and left open if there is an O(1)-approximationalgorithm. We totally resolve their open question and even give anO(1)-approximation non-adaptive algorithm for this problem. We also introduce and obtain similar results for the Stoch-Cost k-TSPproblem. In this problem each vertex v has a stochastic cost C_v, and thegoal is to visit and select at least k vertices to minimize the expectedsum of tour length and cost of selected vertices. This problemgeneralizes the Price of Information framework [Singla18] from deterministicprobing costs to metric probing costs. Our techniques are based on two crucial ideas: "repetitions" and "criticalscaling". We show using Freedman's and Jogdeo-Samuels' inequalities that forour problems, if we truncate the random variables at an ideal threshold andrepeat, then their expected values form a good surrogate. Unfortunately, thisideal threshold is adaptive as it depends on how far we are from achieving ourtarget k, so we truncate at various different scales and identify a"critical" scale.
What problem does this paper attempt to address?