On Approximating Covering Integer Programs

Slides:



Advertisements
Similar presentations
1+eps-Approximate Sparse Recovery Eric Price MIT David Woodruff IBM Almaden.
Advertisements

On allocations that maximize fairness Uriel Feige Microsoft Research and Weizmann Institute.
Submodular Set Function Maximization A Mini-Survey Chandra Chekuri Univ. of Illinois, Urbana-Champaign.
Submodular Set Function Maximization via the Multilinear Relaxation & Dependent Rounding Chandra Chekuri Univ. of Illinois, Urbana-Champaign.
Approximation Algorithms Chapter 14: Rounding Applied to Set Cover.
Approximation Algorithms for Capacitated Set Cover Ravishankar Krishnaswamy (joint work with Nikhil Bansal and Barna Saha)
Dependent Randomized Rounding in Matroid Polytopes (& Related Results) Chandra Chekuri Jan VondrakRico Zenklusen Univ. of Illinois IBM ResearchMIT.
Complexity 16-1 Complexity Andrei Bulatov Non-Approximability.
Approximation Algoirthms: Semidefinite Programming Lecture 19: Mar 22.
Instructor Neelima Gupta Table of Contents Lp –rounding Dual Fitting LP-Duality.
Semidefinite Programming
1 Optimization problems such as MAXSAT, MIN NODE COVER, MAX INDEPENDENT SET, MAX CLIQUE, MIN SET COVER, TSP, KNAPSACK, BINPACKING do not have a polynomial.
Approximation Algorithm: Iterative Rounding Lecture 15: March 9.
An Approximation Algorithm for Requirement cut on graphs Viswanath Nagarajan Joint work with R. Ravi.
Integer Programming Difference from linear programming –Variables x i must take on integral values, not real values Lots of interesting problems can be.
1 Introduction to Approximation Algorithms Lecture 15: Mar 5.
(work appeared in SODA 10’) Yuk Hei Chan (Tom)
Approximation Algorithms: Bristol Summer School 2008 Seffi Naor Computer Science Dept. Technion Haifa, Israel TexPoint fonts used in EMF. Read the TexPoint.
1/24 Algorithms for Generalized Caching Nikhil Bansal IBM Research Niv Buchbinder Open Univ. Israel Seffi Naor Technion.
1 The Santa Claus Problem (Maximizing the minimum load on unrelated machines) Nikhil Bansal (IBM) Maxim Sviridenko (IBM)
LP-Based Algorithms for Capacitated Facility Location Hyung-Chan An EPFL July 29, 2013 Joint work with Mohit Singh and Ola Svensson.
Round and Approx: A technique for packing problems Nikhil Bansal (IBM Watson) Maxim Sviridenko (IBM Watson) Alberto Caprara (U. Bologna, Italy)
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
An Algorithmic Proof of the Lopsided Lovasz Local Lemma Nick Harvey University of British Columbia Jan Vondrak IBM Almaden TexPoint fonts used in EMF.
An algorithmic proof of the Lovasz Local Lemma via resampling oracles Jan Vondrak IBM Almaden TexPoint fonts used in EMF. Read the TexPoint manual before.
LP-Based Algorithms for Capacitated Facility Location Hyung-Chan An EPFL July 29, 2013 Joint work with Mohit Singh and Ola Svensson.
Approximation Algorithms for Stochastic Optimization Chaitanya Swamy Caltech and U. Waterloo Joint work with David Shmoys Cornell University.
1/19 Minimizing weighted completion time with precedence constraints Nikhil Bansal (IBM) Subhash Khot (NYU)
Linear Program Set Cover. Given a universe U of n elements, a collection of subsets of U, S = {S 1,…, S k }, and a cost function c: S → Q +. Find a minimum.
Multicommodity flow, well-linked terminals and routing problems Chandra Chekuri Lucent Bell Labs Joint work with Sanjeev Khanna and Bruce Shepherd Mostly.
Implicit Hitting Set Problems Richard M. Karp Erick Moreno Centeno DIMACS 20 th Anniversary.
New algorithms for Disjoint Paths and Routing Problems
Lecture.6. Table of Contents Lp –rounding Dual Fitting LP-Duality.
Unique Games Approximation Amit Weinstein Complexity Seminar, Fall 2006 Based on: “Near Optimal Algorithms for Unique Games" by M. Charikar, K. Makarychev,
Submodular Set Function Maximization A Mini-Survey Chandra Chekuri Univ. of Illinois, Urbana-Champaign.
Deterministic Algorithms for Submodular Maximization Problems Moran Feldman The Open University of Israel Joint work with Niv Buchbinder.
1 Approximation algorithms Algorithms and Networks 2015/2016 Hans L. Bodlaender Johan M. M. van Rooij TexPoint fonts used in EMF. Read the TexPoint manual.
1 Approximation Algorithms for Generalized Min-Sum Set Cover Ravishankar Krishnaswamy Carnegie Mellon University joint work with Nikhil Bansal and Anupam.
Why almost all satisfiable k - CNF formulas are easy? Danny Vilenchik Joint work with A. Coja-Oghlan and M. Krivelevich.
1 Approximation Algorithms for Generalized Scheduling Problems Ravishankar Krishnaswamy Carnegie Mellon University joint work with Nikhil Bansal, Anupam.
Approximation Algorithms based on linear programming.
An algorithmic proof of the Lovasz Local Lemma via resampling oracles Jan Vondrak IBM Almaden TexPoint fonts used in EMF. Read the TexPoint manual before.
Multiroute Flows & Node-weighted Network Design Chandra Chekuri Univ of Illinois, Urbana-Champaign Joint work with Alina Ene and Ali Vakilian.
New Algorithms for Disjoint Paths Problems Sanjeev Khanna University of Pennsylvania Joint work with Chandra Chekuri Bruce Shepherd.
Approximation algorithms
TU/e Algorithms (2IL15) – Lecture 11 1 Approximation Algorithms.
Approximation algorithms for combinatorial allocation problems
8.3.2 Constant Distance Approximations
Data Driven Resource Allocation for Distributed Learning
Lap Chi Lau we will only use slides 4 to 19
Topics in Algorithms Lap Chi Lau.
Approximation algorithms
Distributed Submodular Maximization in Massive Datasets
Algorithms for Routing Node-Disjoint Paths in Grids
A note on the Survivable Network Design Problem
Computability and Complexity
Multipath Routing for Congestion Minimization & Multiroute Flows
Bin Fu Department of Computer Science
Introduction to PCP and Hardness of Approximation
Linear Programming and Approximation
Approximation Algorithms
Submodular Maximization Through the Lens of the Multilinear Relaxation
Tree packing, mincut, and Metric-TSP
Dimension versus Distortion a.k.a. Euclidean Dimension Reduction
Submodular Function Maximization with Packing Constraints via MWU
the k-cut problem better approximate and exact algorithms
Submodular Maximization with Cardinality Constraints
Guess Free Maximization of Submodular and Linear Sums
Presentation transcript:

On Approximating Covering Integer Programs Chandra Chekuri Univ. of Illinois, Urbana-Champaign Joint work with Kent Quanrud Workshop on Flexible Network Design, May 2018

Set Cover U = {1, 2, …, m} Sets S1, S2, …, Sn each a subset of U ci : non-negative cost of Si Goal: Find min-cost sub-collection of S1, S2, …, Sn whose union is U Parameters: m, n, N = 𝑖 𝑆 𝑖 size of instance ∆ : max set size, Γ : max frequency over elements

Approximating Set Cover Greedy algorithm: H∆ ≤ 1 + ln ∆ ≤ 1 + ln m [Johnson’74, Stein’74, Lovasz’75, Chavtal’79] LP rounding: Γ [Hochbaum’82] O(log m) [Raghavan-Thompson’87] O(log ∆) [Srinivasan’96,01,06,…] Γ (1−exp⁡(− ln Δ/(Γ−1)) ) [Saket-Sviridenko’12] Unweighted, special cases, many results ….

Hardness of Approximation No (1- ℇ) ln m approx. unless P = NP [Moshkovitz’15, Feige’98] No ln ∆ - ln ln ∆ approx. unless P = NP [Trevisan’01] No (Γ - ℇ) approx. under UGC [Bansal-Khot’10] No (Γ – 1 - ℇ) approx. unless P = NP [Dinur et al’03]

Covering Integer Programs min 𝑗=1 𝑛 𝑐 𝑗 𝑥 𝑗 𝐴𝑥≥𝑏 𝑥≤𝑑 𝑥∈ 𝑍 + 𝑛 𝐴∈ 𝑅 + 𝑚 𝑥 𝑛 , 𝑏∈ 𝑅 + 𝑚 , 𝑑∈ 𝑅 + 𝑛 , 𝑐∈ 𝑅 + 𝑛 CIP : with multiplicity constraints CIP∞ : without multiplicity constraints, dj = ∞

Normalization and Parameters min 𝑗=1 𝑛 𝑐 𝑗 𝑥 𝑗 𝐴𝑥≥𝑏 𝑥≤𝑑 𝑥∈ 𝑍 + 𝑛 𝐴∈ 0,1 𝑚 𝑥 𝑛 , 𝑏≥1, 𝑑∈ 𝑍 + 𝑛 , 𝑐∈ 𝑅 + 𝑛 ∆0 max # of non-zeroes in a column ∆1 max column sum Γ0 max # of non-zeroes in a row Γ1 max row sum Under normalization ∆1 ≤ ∆0 and Γ1 ≤ Γ0

Approximating CIPs Greedy algorithm: H∆* ≤ 1 + ln ∆* where ∆* is max column sum when A is normalized to integers. Can be as large as m [Dobson’82, Wolsey] LP rounding: O(log m) for CIP∞ [Raghavan-Thompson] O(log ∆) for CIP∞ [Srinivasan’99] O(log ∆) for CIP using Knapsack-Cover inequalities [Kolliopoulos-Young’00] [Chen-Harris-Srinivasan’16] tight bounds

Knapsack Cover Inequalities Basic-LP has large integrality gap for CIP [Carr-Fleischer-Leung-Phillips’00] KC-inequalities min 𝑗=1 𝑛 𝑐 𝑗 𝑥 𝑗 𝐴𝑥≥𝑏 𝑥≤𝑑 𝑥≥0 min 𝑗=1 𝑛 𝑐 𝑗 𝑥 𝑗 𝐴 𝑆 𝑥≥ 𝑏 𝑆 𝑓𝑜𝑟 𝑎𝑙𝑙 𝑆⊂[𝑛] 𝑥≥0 𝑏 𝑆,𝑖 =max⁡{0, 𝑏 𝑖 − 𝑗∈𝑆 𝐴 𝑖,𝑗 𝑑 𝑗 } 𝐴 𝑆,𝑖,𝑗 = 0 𝑖𝑓 𝑗∈𝑆 𝑚𝑖𝑛{ 𝐴 𝑖,𝑗 , 𝑏 𝑆,𝑖 }

Approximating CIPs [Chen-Harris-Srinivasan’16] Focus of this talk: Δ 0 , Δ 1 are ≥ some fixed constant C [Chen-Harris-Srinivasan’16] CIP: ln Δ 0 +𝑂( ln Δ 0 ) via KC-LP CIP∞ : [1 + ln (1+Δ 1 ) 𝑏𝑚𝑖𝑛 +4 ln (1+ Δ 1 ) 𝑏𝑚𝑖𝑛 ] via Basic-LP Bicriteria for CIP: output 𝑧≤ 1+𝜖 𝑑 with cost approx. 1+4 ln (1+ Δ 1 ) 𝜖 𝑏𝑚𝑖𝑛 +5 ln (1+Δ 1 ) 𝑏𝑚𝑖𝑛 via Basic-LP Resampling framework following constructive versions of LLL [Moser-Tardos and others including Harris-Srinivasan …]

∆1 bound Δ1 can be much smaller than Δ0 More robust to noise in data Technically interesting

Our Results Fast approximation scheme for solving KC-LP Simple and (slightly) improved approximations for CIP and CIP∞ based on round+fix framework Easy derandomization of algorithms: first deterministic algorithms with near-tight bounds

Solving KC-LP [Carr etal] Ellipsoid method via separation oracle for Knapsack Cover. MWU based approximation scheme. (1+ε)- approximation in O(nN log C poly(1/ε)) time Our result: O(N log C poly(1/ε)) time. Near-linear if C is poly-bounded

[Chen-Harris-Srinivasan’16] Approximation Bounds [Chen-Harris-Srinivasan’16] New CIP: ln Δ 0 +𝑂( ln Δ 0 ) KC-LP CIP∞ : [1+ ln Δ 1 𝑏𝑚𝑖𝑛 +4 ln Δ 1 𝑏𝑚𝑖𝑛 ] Basic-LP CIP: output 𝑧≤ 1+𝜖 𝑑 cost approx 1+4 ln Δ 1 𝜖 𝑏𝑚𝑖𝑛 +5 ln Δ 1 𝑏𝑚𝑖𝑛 via Basic-LP ln Δ 0 + ln ln Δ 0 +𝑂(1) [ ln Δ 1 𝑏𝑚𝑖𝑛 +ln ln Δ 1 𝑏𝑚𝑖𝑛 +O(1)] ln Δ 1 𝑏𝑚𝑖𝑛 +ln ln Δ 1 𝑏𝑚𝑖𝑛 +𝑂( ln 1/𝜖) via KC-LP Row sparsity: (1+ Γ0) for CIP and (1 + Γ1) for CIP∞ : tight Focus of this talk: Δ 0 , Δ 1 are ≥ some fixed constant C

Round+Fix Algorithm [Srinivasan’01,Saket-Sviridenko’12,Gupta-Nagarajan’16] Solve LP relaxation: x fractional solution Pick parameter α ≥ 1 and randomly and independently set zj to 𝛼 𝑥 𝑗 or 𝛼 𝑥 𝑗 s.t 𝐸 𝑧 𝑗 =𝛼 𝑥 𝑗 For each unsatisfied constraint i (ie 𝐴𝑧 𝑖 < 𝑏 𝑖 ) do y(i) is solution to knapsack cover problem induced by constraint i 𝑧←𝑧∨ 𝑦 (𝑖) Output z

Round+Fix Algorithm for CIP Solve KC-LP relaxation: x fractional solution Pick parameter α ≥ 1. If ⌈𝛼 𝑥 𝑗 > 𝑑 𝑗 ) set zj to dj Else randomly and independently set zj to 𝛼 𝑥 𝑗 or 𝛼 𝑥 𝑗 s.t 𝐸 𝑧 𝑗 = 𝛼 𝑥 𝑗 For each unsatisfied constraint i (ie 𝐴𝑧 𝑖 < 𝑏 𝑖 ) do y(i) is solution to knapsack cover problem induced by constraint i 𝑧←𝑧∨ 𝑦 (𝑖) Output z

Knapsack Cover CIP with m = 1 (single covering constraint) min 𝑐𝑥 𝑠.𝑡 𝑎𝑥≥𝑏, 𝑥≤𝑑, 𝑥∈ 𝑍 + 𝑛 KC-LP integrality gap is 2 [Carr et al] Basic LP: given x, there is is integer solution z s.t and 𝑐⋅𝑧≤2 𝑐⋅𝑥 and 𝑧≤⌈2 𝑥⌉. FPTAS via DP

High-level Analysis of Round+Fix Output is feasible solution by construction Expected cost? pi : probability that i not covered 𝛼 𝑐⋅𝑥+ 𝑖 𝑝 𝑖 (𝑐⋅ 𝑦 𝑖 )

Only tool: Chernoff Bound X1, X2, …, Xn independent random variables in [0,1] 𝑋= 𝑗 𝑋 𝑗 𝑎𝑛𝑑 𝐸 𝑋 =𝜇 Pr 𝑋< 1−𝛿 𝜇 ≤ 𝑒 −𝛿 1−𝛿 1−𝛿 𝜇 Pr 𝑋<1 ≤ exp 1 −𝜇+ ln 𝜇 If X1, X2, …, Xn in [0,γ] Pr 𝑋<1 ≤ exp 1 𝛾 (1 −𝜇+ ln 𝜇 )

CIP∞: Ax ≥ 1, x ≥ 0 Round+Fix algorithm, choose 𝛼= ln Δ 0 + ln ln Δ 0 +𝑂(1) pi = Pr[ (Az)i < 1 ] ≤ exp(1 – α + ln α) ≤ 1/(2∆0) Expected cost: 𝛼 𝑐⋅𝑥+ 𝑖 𝑝 𝑖 (𝑐⋅ 𝑦 𝑖 ) 𝑖 𝑝 𝑖 (𝑐⋅ 𝑦 𝑖 ) ≤ 1 2Δ 0 𝑖 2 𝑗: 𝐴 𝑖,𝑗 >0 𝑐 𝑗 𝑥 𝑗 ≤ 𝑗 𝑐 𝑗 𝑥 𝑗 Hence (α + 1) LP-Cost

CIP: Ax ≥ 1, x ≤ d, x ≥ 0 Round+Fix algorithm, choose 𝛼= ln Δ 0 + ln ln Δ 0 +𝑂(1) Same analysis gives α + 1 approx. wrt KC-LP

CIP∞: Ax ≥ 1, x ≥ 0, ∆1 bound Round+Fix algorithm, choose 𝛼= ln Δ 1 + ln ln Δ 1 +𝑂(1) Claim: Expected cost is (α + O(1)) LP-Cost Proof a bit clever but still relies only on Chernoff bound

∆1 bound: intuition 𝛼= ln Δ 1 + ln ln Δ 1 +𝑂(1) Understand pi which can be non-uniform 𝛼 𝑗 𝐴 𝑖,𝑗 𝑥 𝑗 ≥1⋅𝛼 Suppose Ai,j ≤ γ for all j then pi = Pr[ (Az)i < 1 ] ≤ exp((1 – α + ln α)/γ) ≤ γ/(2∆1)

∆1 bound: intuition Suppose Ai,j = γ or 0 for all j then pi = Pr[ (Az)i < 1 ] ≤ exp((1 – α + ln α)/γ) ≤ γ/(2∆1) 𝑝 𝑖 𝑐⋅ 𝑦 𝑖 ≤ 𝛾 2Δ 1 2 𝑗: 𝐴 𝑖,𝑗 >0 𝑐 𝑗 𝑥 𝑗 = 1 2 Δ 1 𝑗: 𝐴 𝑖,𝑗 >0 𝑐 𝑗 𝑨 𝒊,𝒋 𝑥 𝑗

∆1 bound: general case Constraint i: 𝑗 𝐴 𝑖,𝑗 𝑥 𝑗 ≥1 There exists ρi such that 𝑗: 𝐴 𝑖,𝑗 ≥ 𝜌 𝑖 𝐴 𝑖,𝑗 𝑥 𝑗 ≥ 1 2 and 𝑗: 𝐴 𝑖,𝑗 ≤ 𝜌 𝑖 𝐴 𝑖,𝑗 𝑥 𝑗 ≥ 1 2 Pr[ (Az)i < 1 ] ≤ exp((1 – α/2 + ln α/2)/ρi) ≤ O(ρi/∆1)

∆1 bound: general case 𝑗: 𝐴 𝑖,𝑗 ≥ 𝜌 𝑖 𝐴 𝑖,𝑗 𝑥 𝑗 ≥ 1 2 and 𝑗: 𝐴 𝑖,𝑗 ≤ 𝜌 𝑖 𝐴 𝑖,𝑗 𝑥 𝑗 ≥ 1 2 Pr[ (Az)i < 1 ] ≤ exp((1 – α/2 + ln α/2)/ρi) ≤ O(ρi/∆1) Expected cost: 𝛼 𝑐⋅𝑥+ 𝑖 𝑝 𝑖 (𝑐⋅ 𝑦 𝑖 ) 𝑖 𝑝 𝑖 (𝑐⋅ 𝑦 𝑖 ) ≤𝑂( 𝜌 𝑖 Δ 1 ) 𝑖 4 𝑗: 𝐴 𝑖,𝑗 ≥ 𝜌 𝑖 𝑐 𝑗 𝑥 𝑗 ≤𝑂 1 Δ 1 𝑖 𝑗 𝑐 𝑗 𝐴 𝑖,𝑗 𝑥 𝑗 ≤𝑂 1 𝑐⋅𝑥 Hence expected cost is (α + O(1)) LP-Cost

Derandomization Algorithm is simple. Feasibility guaranteed, only cost is random. Analysis relies only on simple Chernoff bound Use method of conditional expectations via Chernoff bound derivation-formula as pessimistic estimator Easy and efficient deterministic algorithm

Conclusions Fast (near-linear) approximation scheme to solve KC-LP Randomized rounding + fixing appears to be a universal algorithm for Set Cover and CIPs: for each scenario different parameter α. Algorithm: try “all” values of α and take the best. Oblivious to parameters and may work better in practice. Derandomization

Thank You!