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.