Partial Resampling to Approximate Covering Integer Programs

We consider column-sparse positive covering integer programs, which generalize set cover and which have attracted a long line of research developing (randomized) approximation algorithms. We develop a new rounding scheme based on the Partial Resampling variant of the Lov\'{a}sz Local Lemma developed by Harris \& Srinivasan (2013). This achieves an approximation ratio of $1 + \frac{\ln (\Delta_1+1)}{a_{\text{min}}} + O(\sqrt{ \frac{\log (\Delta_1+1)}{a_{\text{min}}}} )$, where $a_{\text{min}}$ is the minimum covering constraint and $\Delta_1$ is the maximum $\ell_1$-norm of any column of the covering matrix (whose entries are scaled to lie in $[0,1]$). When there are additional constraints on the sizes of the variables, we show an approximation ratio of $1 + O(\frac{\ln (\Delta_1+1)}{a_{\text{min}} \epsilon} + \sqrt{ \frac{\log (\Delta_1+1)}{a_{\text{min}}}})$ to satisfy these size constraints up to multiplicative factor $1 + \epsilon$, or an approximation of ratio of $\ln \Delta_0 + O(\sqrt{\log \Delta_0})$ to satisfy the size constraints exactly (where $\Delta_0$ is the maximum number of non-zero entries in any column of the covering matrix). We also show nearly-matching inapproximability and integrality-gap lower bounds. These results improve asymptotically, in several different ways, over results shown by Srinivasan (2006) and Kolliopoulos \& Young (2005). We show also that our algorithm automatically handles multi-criteria programs, efficiently achieving approximation ratios which are essentially equivalent to the single-criterion case and which apply even when the number of criteria is large.

[1]  Gregory Dobson,et al.  Worst-Case Analysis of Greedy Heuristics for Integer Programming with Nonnegative Data , 1982, Math. Oper. Res..

[2]  Stavros G. Kolliopoulos,et al.  Approximation Algorithms for Covering/Packing Integer Programs , 2002, cs/0205030.

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

[4]  Peter Slavík A Tight Analysis of the Greedy Algorithm for Set Cover , 1997, J. Algorithms.

[5]  Gábor Tardos,et al.  A constructive proof of the general lovász local lemma , 2009, JACM.

[6]  Robert D. Carr,et al.  Strengthening integrality gaps for capacitated network design and covering problems , 2000, SODA '00.

[7]  Aravind Srinivasan,et al.  Solving Packing Integer Programs via Randomized Rounding with Alterations , 2012, Theory Comput..

[8]  Nicholas J. A. Harvey A note on the discrepancy of matrices with bounded row and column sums , 2015, Discret. Math..

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

[10]  L. Wolsey,et al.  On the greedy heuristic for continuous covering and packing problems , 1982 .

[11]  David Steurer,et al.  Analytical approach to parallel repetition , 2013, STOC.

[12]  Di Wang,et al.  Unified Acceleration Method for Packing and Covering Problems via Diameter Reduction , 2015, ICALP.

[13]  David G. Harris Tighter inapproximability for set cover , 2016, ArXiv.

[14]  Luca Trevisan,et al.  Non-approximability results for optimization problems on bounded degree instances , 2001, STOC '01.

[15]  Prabhakar Raghavan,et al.  Randomized rounding: A technique for provably good algorithms and algorithmic proofs , 1985, Comb..

[16]  Aravind Srinivasan,et al.  An extension of the Lovász local lemma, and its applications to integer programming , 1996, SODA '96.

[17]  Dana Moshkovitz,et al.  The Projection Games Conjecture and the NP-Hardness of ln n-Approximating Set-Cover , 2012, Theory Comput..

[18]  Klaus Jansen,et al.  Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques , 2006, Lecture Notes in Computer Science.

[19]  David G. Harris Lopsidependency in the Moser-Tardos Framework , 2016, ACM Trans. Algorithms.

[20]  Aravind Srinivasan,et al.  New algorithmic aspects of the Local Lemma with applications to routing and partitioning , 1999, SODA '99.

[21]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[22]  Vijay V. Vazirani,et al.  Approximation Algorithms , 2001, Springer Berlin Heidelberg.

[23]  Neal E. Young Nearly Linear-Work Algorithms for Mixed Packing/Covering and Facility-Location Linear Programs , 2014 .

[24]  Aravind Srinivasan,et al.  Randomized Distributed Edge Coloring via an Extension of the Chernoff-Hoeffding Bounds , 1997, SIAM J. Comput..

[25]  Kent Quanrud,et al.  Randomized MWU for Positive LPs , 2018, SODA.

[26]  P. Erdos-L Lovász Problems and Results on 3-chromatic Hypergraphs and Some Related Questions , 2022 .

[27]  Miroslav Chlebík,et al.  Approximation hardness of dominating set problems in bounded degree graphs , 2008, Inf. Comput..

[28]  M. Chleb ´ õk,et al.  Approximation Hardness of Dominating Set Problems in Bounded Degree Graphs , 2008 .

[29]  Zsolt Tuza,et al.  Improved lower bounds on k-independence , 1991, J. Graph Theory.

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