Set Covering with our Eyes Closed

Given a universe U of n elements and a weighted collection l of m subsets of U, the universal set cover problem is to a-priori map each element u epsi U to a set S(u) epsi l containing u, so that X sube U is covered by S(X)=UuepsiXS(u). The aim is finding a mapping such that the cost of S(X) is as close as possible to the optimal set-cover cost for X. (Such problems are also called oblivious or a-priori optimization problems.) Unfortunately, for every universal mapping, the cost of S(X) can be Omega(radicn) times larger than optimal if the set X is adversarially chosen. In this paper we study the performance on average, when X is a set of randomly chosen elements from the universe: we show how to efficiently find a universal map whose expected cost is O(log mn) times the expected optimal cost. In fact, we give a slightly improved analysis and show that this is the best possible. We generalize these ideas to weighted set cover and show similar guarantees to (non-metric) facility location, where we have to balance the facility opening cost with the cost of connecting clients to the facilities. We show applications of our results to universal multi-cut and disc-covering problems, and show how all these universal mappings give us stochastic online algorithms with the same competitive factors.

[1]  Adam Meyerson,et al.  Online facility location , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[2]  Dorit S. Hochbaum,et al.  Heuristics for the fixed cost median problem , 1982, Math. Program..

[3]  Jirí Matousek,et al.  How to net a lot with little: small ε-nets for disks and halfspaces , 1990, SCG '90.

[4]  Vasek Chvátal,et al.  A Greedy Heuristic for the Set-Covering Problem , 1979, Math. Oper. Res..

[5]  Dimitris Fotakis,et al.  On the Competitive Ratio for Online Facility Location , 2003, Algorithmica.

[6]  Michael Kearns,et al.  Computational complexity of machine learning , 1990, ACM distinguished dissertations.

[7]  John J. Bartholdi,et al.  Spacefilling curves and the planar travelling salesman problem , 1989, JACM.

[8]  Noga Alon,et al.  A general approach to online network optimization problems , 2004, SODA '04.

[9]  Leslie G. Valiant,et al.  Universal schemes for parallel communication , 1981, STOC '81.

[10]  Ran Raz,et al.  A sub-constant error-probability low-degree test, and a sub-constant error-probability PCP characterization of NP , 1997, STOC '97.

[11]  Mohammad Taghi Hajiaghayi,et al.  Oblivious routing in directed graphs with random demands , 2005, STOC '05.

[12]  Chaitanya Swamy,et al.  An approximation scheme for stochastic linear programming and its application to stochastic integer programs , 2006, JACM.

[13]  Alejandro López-Ortiz,et al.  A Survey of Performance Measures for On-line Algorithms , 2005, SIGACT News.

[14]  Allan Borodin,et al.  Online computation and competitive analysis , 1998 .

[15]  D. Bertsimas,et al.  Worst-case examples for the spacefilling curve heuristic for the Euclidean traveling salesman problem , 1989 .

[16]  Piotr Sankowski,et al.  Stochastic analyses for online combinatorial optimization problems , 2008, SODA '08.

[17]  Marcin Bienkowski,et al.  A practical algorithm for constructing oblivious routing schemes , 2003, SPAA '03.

[18]  László Lovász,et al.  Approximating Min-sum Set Cover , 2002, APPROX.

[19]  Joseph Naor,et al.  Online Primal-Dual Algorithms for Covering and Packing Problems , 2005, ESA.

[20]  Nicole Immorlica,et al.  On the costs and benefits of procrastination: approximation algorithms for stochastic combinatorial optimization problems , 2004, SODA '04.

[21]  Harald Räcke,et al.  Minimizing Congestion in General Networks , 2002, FOCS.

[22]  Wolfgang Maass,et al.  Approximation schemes for covering and packing problems in image processing and VLSI , 1985, JACM.

[23]  Mohammad Taghi Hajiaghayi,et al.  Improved lower and upper bounds for universal TSP in planar metrics , 2006, SODA '06.

[24]  Patrick Jaillet,et al.  A Priori Solution of a Traveling Salesman Problem in Which a Random Subset of the Customers Are Visited , 1988, Oper. Res..

[25]  Joseph Naor,et al.  Online Primal-Dual Algorithms for Maximizing Ad-Auctions Revenue , 2007, ESA.

[26]  Jean Cardinal,et al.  Tight Results on Minimum Entropy Set Cover , 2006, Algorithmica.

[27]  David R. Karger,et al.  Building Steiner trees with incomplete global knowledge , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[28]  Mohammad Taghi Hajiaghayi,et al.  Oblivious routing on node-capacitated and directed graphs , 2005, SODA '05.

[29]  Robert D. Kleinberg A multiple-choice secretary algorithm with applications to online auctions , 2005, SODA '05.

[30]  László Lovász,et al.  On the ratio of optimal integral and fractional covers , 1975, Discret. Math..

[31]  Noga Alon,et al.  Algorithmic construction of sets for k-restrictions , 2006, TALG.

[32]  Guevara Noubir,et al.  Universal approximations for TSP, Steiner tree, and set cover , 2005, STOC '05.

[33]  Mohammad Taghi Hajiaghayi,et al.  Adaptive limited-supply online auctions , 2004, EC '04.

[34]  Aranyak Mehta,et al.  AdWords and Generalized On-line Matching , 2005, FOCS.

[35]  Mohit Singh,et al.  Set Covering with our Eyes Closed , 2008, FOCS.

[36]  Carsten Lund,et al.  On the hardness of approximating minimization problems , 1993, STOC.

[37]  Harald Räcke,et al.  Optimal hierarchical decompositions for congestion minimization in networks , 2008, STOC.

[38]  Richard M. Karp,et al.  The minimum-entropy set cover problem , 2005, Theor. Comput. Sci..

[39]  Michael T. Goodrich,et al.  Almost optimal set covers in finite VC-dimension , 1995, Discret. Comput. Geom..

[40]  Noga Alon,et al.  Admission control to minimize rejections and online set cover with repetitions , 2005, SPAA '05.

[41]  Patrick Jaillet,et al.  A Priori Optimization , 1990, Oper. Res..

[42]  Joseph Naor,et al.  Online Primal-Dual Algorithms for Covering and Packing , 2009, Math. Oper. Res..

[43]  P. Freeman The Secretary Problem and its Extensions: A Review , 1983 .

[44]  David B. Shmoys,et al.  Algorithms for the universal and a priori TSP , 2008, Oper. Res. Lett..

[45]  Mohammad Taghi Hajiaghayi,et al.  Oblivious network design , 2006, SODA '06.

[46]  Satish Rao,et al.  A polynomial-time tree decomposition to minimize congestion , 2003, SPAA '03.

[47]  Edith Cohen,et al.  Optimal oblivious routing in polynomial time , 2004, J. Comput. Syst. Sci..

[48]  David S. Johnson,et al.  Approximation algorithms for combinatorial problems , 1973, STOC.

[49]  Kamesh Munagala,et al.  Designing networks incrementally , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[50]  Nicole Immorlica,et al.  Matroids, secretary problems, and online mechanisms , 2007, SODA '07.

[51]  Aranyak Mehta,et al.  Online budgeted matching in random input models with applications to Adwords , 2008, SODA '08.

[52]  Aravind Srinivasan,et al.  Approximation algorithms for stochastic and risk-averse optimization , 2007, SODA '07.

[53]  David B. Shmoys,et al.  A Constant Approximation Algorithm for the a prioriTraveling Salesman Problem , 2008, IPCO.

[54]  R. Ravi,et al.  Hedging Uncertainty: Approximation Algorithms for Stochastic Optimization Problems , 2004, Math. Program..

[55]  Noga Alon,et al.  THE ONLINE SET COVER PROBLEM∗ , 2009 .

[56]  Susanne Albers,et al.  On‐Line Algorithms , 2013 .

[57]  Berthold Vöcking,et al.  Almost optimal permutation routing on hypercubes , 2001, STOC '01.