Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.

Slides:



Advertisements
Similar presentations
Iterative Rounding and Iterative Relaxation
Advertisements

Introduction to Algorithms
Centrality of Trees for Capacitated k-Center Hyung-Chan An École Polytechnique Fédérale de Lausanne July 29, 2013 Joint work with Aditya Bhaskara & Ola.
Multicut Lower Bounds via Network Coding Anna Blasiak Cornell University.
All-or-Nothing Multicommodity Flow Chandra Chekuri Sanjeev Khanna Bruce Shepherd Bell Labs U. Penn Bell Labs.
Combinatorial Algorithms for Market Equilibria Vijay V. Vazirani.
Approximation Some Network Design Problems With Node Costs Guy Kortsarz Rutgers University, Camden, NJ Joint work with Zeev Nutov The Open University,
1 Maximum Flow Networks Suppose G = (V, E) is a directed network. Each edge (i,j) in E has an associated ‘capacity’ u ij. Goal: Determine the maximum amount.
Approximation Algorithms for Non-Uniform Buy-at-Bulk Network Design Problems Mohammad R. Salavatipour Department of Computing Science University of Alberta.
Instructor Neelima Gupta Table of Contents Lp –rounding Dual Fitting LP-Duality.
Linear Programming and Approximation
A Constant Factor Approximation Algorithm for the Multicommodity Rent-or-Buy Problem Amit Kumar Anupam Gupta Tim Roughgarden Bell Labs CMU Cornell joint.
Primal Dual Method Lecture 20: March 28 primaldual restricted primal restricted dual y z found x, succeed! Construct a better dual.
Approximation Algorithm: Iterative Rounding Lecture 15: March 9.
Network Design Adam Meyerson Carnegie-Mellon University.
Single Sink Edge Installation Kunal Talwar UC Berkeley.
A general approximation technique for constrained forest problems Michael X. Goemans & David P. Williamson Presented by: Yonatan Elhanani & Yuval Cohen.
Approximation Algorithms
Robust Network Design with Exponential Scenarios By: Rohit Khandekar Guy Kortsarz Vahab Mirrokni Mohammad Salavatipour.
An Approximation Algorithm for Requirement cut on graphs Viswanath Nagarajan Joint work with R. Ravi.
On the Crossing Spanning Tree Vineet Goyal Joint work with Vittorio Bilo, R. Ravi and Mohit Singh.
Augmenting Paths, Witnesses and Improved Approximations for Bounded Degree MSTs K. Chaudhuri, S. Rao, S. Riesenfeld, K. Talwar UC Berkeley.
Multicommodity Rent or Buy: Approximation Via Cost Sharing Martin Pál Joint work with Anupam Gupta Amit Kumar Tim Roughgarden.
Building Edge-Failure Resilient Networks Chandra Chekuri Bell Labs Anupam Gupta Bell Labs ! CMU Amit Kumar Cornell ! Bell Labs Seffi Naor, Danny Raz Technion.
Network Design with Concave Cost Functions Kamesh Munagala, Stanford University.
Facility Location with Nonuniform Hard Capacities Tom Wexler Martin Pál Éva Tardos Cornell University ( A 9-Approximation)
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Facility Location with Nonuniform Hard Capacities Martin Pál Éva Tardos Tom Wexler Cornell University.
ESA 2003M. Pál. Universal Facility Location1 Universal Facility Location Mohammad Mahdian MIT Martin Pál Cornell University.
Packing Element-Disjoint Steiner Trees Mohammad R. Salavatipour Department of Computing Science University of Alberta Joint with Joseph Cheriyan Department.
Approximation Algorithms: Bristol Summer School 2008 Seffi Naor Computer Science Dept. Technion Haifa, Israel TexPoint fonts used in EMF. Read the TexPoint.
Sampling-based Approximation Algorithms for Multi-stage Stochastic Optimization Chaitanya Swamy Caltech and U. Waterloo Joint work with David Shmoys Cornell.
LP-based Algorithms for Capacitated Facility Location Chaitanya Swamy Joint work with Retsef Levi and David Shmoys Cornell University.
ICALP'05Stochastic Steiner without a Root1 Stochastic Steiner Trees without a Root Martin Pál Joint work with Anupam Gupta.
V. V. Vazirani. Approximation Algorithms Chapters 3 & 22
LP-Based Algorithms for Capacitated Facility Location Hyung-Chan An EPFL July 29, 2013 Joint work with Mohit Singh and Ola Svensson.
1.3 Modeling with exponentially many constr.  Some strong formulations (or even formulation itself) may involve exponentially many constraints (cutting.
Network Design for Information Networks Chaitanya Swamy Caltech and U. Waterloo Ara HayrapetyanÉva Tardos Cornell University.
Design Techniques for Approximation Algorithms and Approximation Classes.
Approximating Minimum Bounded Degree Spanning Tree (MBDST) Mohit Singh and Lap Chi Lau “Approximating Minimum Bounded DegreeApproximating Minimum Bounded.
Approximation Algorithms Department of Mathematics and Computer Science Drexel University.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Network Design Games Éva Tardos Cornell University.
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.
Approximation Algorithms for Prize-Collecting Forest Problems with Submodular Penalty Functions Chaitanya Swamy University of Waterloo Joint work with.
2) Combinatorial Algorithms for Traditional Market Models Vijay V. Vazirani.
Steiner tree LP x e = 1 if edge e is included in the Steiner tree. Min.  e c e x e (primal) s.t.  e   (S) x e ≥ 1  S  V: S  T≠ , T\S≠  x e 
EMIS 8373: Integer Programming Combinatorial Relaxations and Duals Updated 8 February 2005.
Multicommodity flow, well-linked terminals and routing problems Chandra Chekuri Lucent Bell Labs Joint work with Sanjeev Khanna and Bruce Shepherd Mostly.
15.082J and 6.855J March 4, 2003 Introduction to Maximum Flows.
New algorithms for Disjoint Paths and Routing Problems
Lecture.6. Table of Contents Lp –rounding Dual Fitting LP-Duality.
Approximating Buy-at-Bulk and Shallow-Light k-Steiner Trees Mohammad T. Hajiaghayi (CMU) Guy Kortsarz (Rutgers) Mohammad R. Salavatipour (U. Alberta) Presented.
PRIMAL-DUAL APPROXIMATION ALGORITHMS FOR METRIC FACILITY LOCATION AND K-MEDIAN PROBLEMS K. Jain V. Vazirani Journal of the ACM, 2001.
Facility Location with Service Installation Costs Chaitanya Swamy Joint work with David Shmoys and Retsef Levi Cornell University.
Approximation Algorithms Duality My T. UF.
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.
TU/e Algorithms (2IL15) – Lecture 8 1 MAXIMUM FLOW (part II)
Maximum Matching in the Online Batch-Arrival Model
1.3 Modeling with exponentially many constr.
Facility Location with Client Latencies: LP-based Approximation Algorithms for Minimum Latency Problems Chaitanya Swamy University of Waterloo Joint work.
Instructor: Shengyu Zhang
Graph Partitioning Problems
Linear Programming and Approximation
Fault-Tolerant Facility Location
1.3 Modeling with exponentially many constr.
Flow Feasibility Problems
Presentation transcript:

Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University

Theory Seminar, 10/2002 Connected Facility Location (ConFL) F : set of facilities. D : set of clients(demands). Facility i has facility cost f i. c ij : distance between i and j in V. client facility Graph G=(V,E), costs {c e } on edges and a parameter M ≥ 1. node

Theory Seminar, 10/2002 We want to : client facility Cost =  i  A f i +  j  D c i(j)j + M  e  T c e = facility opening cost + client assignment cost + cost of connecting facilities. 2)Assign each demand j to an open facility i(j). Steiner tree 3)Connect all open facilities by a Steiner tree T. open facility 1)Pick a set A of facilities to open.

Theory Seminar, 10/2002 Ravi & Selman : Look at related problem - connect facilities by a tour. Round optimal solution of an exponential size LP. Karger & Minkoff : Combinatorial algorithm with ‘large’ constant approx. ratio. Gupta, Kleinberg, Kumar, Rastogi & Yener : Also use LP rounding. Get a approx. when F =V, f i = 0 for all i, and a approx. in the general case. Previous Work

Theory Seminar, 10/2002 Our Results Give primal-dual algorithms with approx. ratios of 5 ( F =V, f i = 0) and 9 (general case). Use this to solve the Connected k-Median problem, and an edge capacitated version of ConFL.

Theory Seminar, 10/2002 Rent-or-buy problem Special case with F =V and f i = 0,  i. Suppose we know a facility f that is open in an optimal solution. What does the solution look like ? Steiner tree. : cost of e = Mc e. Shortest paths : cost of e = c e (demand through e). f Open facility

Theory Seminar, 10/2002 Equivalently, Want to route traffic from clients to f by installing capacity on edges. 2 choices : I : Rent Capacity cost  rented capacity (Shortest Paths) II : Buy Capacity fixed cost, ∞ capacity (Steiner Tree) M cost capacity ConFL  single-sink buy-at-bulk problem with 2 cable types and sink f.

Theory Seminar, 10/2002 A Naive Algorithm 1)Run a  -approx. algorithm for FL. 2)Build a Steiner tree on open facilities. This will just open a facility at each demand. Can be as bad as  (M) times OPT. e.g., n n Naive algorithm OPT Cost = 2M(n+1). Cost = 2M+2n. client node open facility f f

Theory Seminar, 10/2002 Need to cluster enough demand at a facility before opening it. Suppose in naive algorithm, each open facility serves ≥ M clients. Total cost of adding edges ≤ C * +C. Opt. Steiner tree on ≤ S * +C * +C.  S ≤ 2(S * +C * +C)  get an O(1)-approx. ≥ M C S*S* C*C* OPT C *, S * : assignment, Steiner cost of OPT.

Theory Seminar, 10/2002 An Integer Program x ij = 1 if demand j is assigned to i. z e = 1 if edge e is included in the Steiner tree. Min.  j,i c ij x ij + M  e c e z e (primal) s.t.  i x ij ≥ 1  j  i  S x ij ≤  e   (S) z e  S  V : f  S, j x ij, z e  {0, 1}(1) Relax (1) to x ij, z e ≥ 0 to get an LP. f S j

Theory Seminar, 10/2002 What is the dual? v j  amount j is willing to ‘pay’ to route its demand to f. Let y S =  j y S,j. {y S }  moat packing around facilities. v j ≤ c ij +  S:i  S,f  S y S,j Any feasible dual solution is a lower bound on OPT – Weak Duality. Max.  j v j c ij j f  S:e  (S),f  S y S ≤ Mc e

Theory Seminar, 10/2002 The Primal-Dual method Bar-Yehuda & Even : First primal-dual approx. algorithm for vertex cover. Agrawal, Klein & Ravi : Gave a more sophisticated algorithm for the generalized Steiner problem. Goemans & Williamson : Extended the schema to a large class of network design problems. Jain & Vazirani : Used a different approach to solve the facility location problem and its variants. 1)Construct primal soln. and dual soln. simultaneously. 2)Bound primal cost by c (dual soln.)  get a c-approx. algorithm.

Theory Seminar, 10/2002 A Primal-Dual algorithm 1)Decide which facilities to open, cluster demands around open facilities. Construct a primal soln. and dual soln. (v,y) simultaneously. 2)Build a Steiner tree on open facilities. The following will hold after 1) : (v,y) is a feasible dual solution. j is assigned to i(j) s.t. c i(j)j ≤ 3v j. Each open facility i has ≥ M clients, {j}, assigned to it s.t. c ij ≤ v j.

Theory Seminar, 10/2002 Analysis Suppose the 3 properties hold. Let A be the set of facilities opened, D i = {j assigned to i : c ij ≤ v j } for i  A. Then, |D i | ≥ M. Let D 1 = U i  A D i. can amortize the cost against demands in D i. ≥ M DiDi So, S ≤ 2(S * + C * +  j  D 1 v j ). i C ≤  j  D 1 v j +  j  D 1 3v j.

Theory Seminar, 10/2002 Need to cluster enough demand at a facility before opening it. Suppose in naive algorithm, each open facility serves ≥ M clients. Total cost of adding edges ≤ C * +C. Opt. Steiner tree on ≤ S * +C * +C.  S ≤ 2(S * +C * +C)  get an O(1)-approx. ≥ M C S*S* C*C* OPT C *, S * : assignment, Steiner cost of OPT.

Theory Seminar, 10/2002 Analysis Suppose the 3 properties hold. Let A be the set of facilities opened, D i = {j assigned to i : c ij ≤ v j } for i  A. Then, |D i | ≥ M. Let D 1 = U i  A D i. Total cost ≤ 2(S * + C * ) + 3  j  D v j ≤ 5 OPT. can amortize the cost against demands in D i. ≥ M DiDi So, S ≤ 2(S * + C * +  j  D 1 v j ). i C ≤  j  D 1 v j +  j  D 1 3v j.

Theory Seminar, 10/2002 Phase 1 Simplifying assumption – can open a facility anywhere along an edge. locations Notion of time, t. Start at t=0. Initially v j = 0,  j. f is tentatively open, all other locations are closed. Say j is tight with i (has reached i) if v j ≥ c ij. S j is set of vertices j is tight with.

Theory Seminar, 10/2002 Keep raising v j s until : 1)There is a closed location i with which M demands become tight : tentatively open i. Freeze all these M demands. 2)j reaches a tentatively open location : freeze j. Now only raise v j of unfrozen demands. Continue this process until all demands are frozen. Raise all v j at rate 1. Also raise y S j,j at same rate.

Theory Seminar, 10/2002 Execution of the algorithm not open location tentatively open location unfrozen demand M=2, time t=0 f M=2, time t=1

Theory Seminar, 10/2002 Execution of the algorithm M=2, time t=2 f not open location tentatively open location unfrozen demand frozen demand

Theory Seminar, 10/2002 Execution of the algorithm M=2, time t=3 f frozen demand not open location tentatively open location unfrozen demand j v j =t=3

Theory Seminar, 10/2002 Opening locations Let A’= set of tentatively opened i. D i = {j : j is tight with i } for i  A’. t i = time when i was tent’vely opened. Note, |D i | ≥ M. But the D i s may not be disjoint f Say i, l in A’ are dependent if D i  D l . Consider locations in order of  t i. If A U {i} is independent add i to A. Here order is 0,1,2,3,4 so A={0,1,3}. Initially A =  Pick an indepdt. set of locations, A  A’ and open these.

Theory Seminar, 10/2002 Assigning clients Consider client j. j k i l i is tentatively open and caused j to get frozen  j is tight with i. i and l are dependent, t l ≤ t i and l is open : assign j to l. 2) open location tentatively open location, not open j is tight with some open i : assign j to i. At most 1 open i may be tight with j. 1) j i

Theory Seminar, 10/2002 i(j) = location that j is assigned to. 1)c i(j)j ≤ v j. 2)c i(j)j ≤ v j + 2v k. v j ≥ t i since j freezes at or after time t i. Also v k ≤ t i. So v k ≤ v j and c i(j)j ≤ 3v j. For every open i, all clients in D i are assigned to i. |D i | ≥ M, so at least M demands {j} are assigned to i with c ij ≤ v j.

Theory Seminar, 10/2002 Feasibility (v,y) : dual solution v j ≤ c ij +  S:i  S,f  S y S,j  i  f, j Once j reaches i, set S j includes i and y S j,j is increasing at same rate as v j. j freezes when it reaches f. vjvj c ij j i  S:i  S,f  S y S,j SjSj

Theory Seminar, 10/2002  j  S:e   (S),f  S y S,j ≤ Mc e  e  S y S,j = portion of in j’s  j (  S y S,j ) =  p  e (# of crossing p) M=3 e ≤ M at any location ≤  p  e M = Mc e.

Theory Seminar, 10/2002 Done? Not quite. Could have opened non-vertex locations. Fix : Move all such locations to vertices. Cost only decreases ! e.g., ≥ M So, get a 5-approx. for rent-or-buy.

Theory Seminar, 10/2002 The General Case F  V : Cannot open a facility everywhere. Facilities have costs : Want to open cheap facilities. Modified Phase 1 1)Dual variables, v j, also pay for opening facilities. 2)Cluster ≥ M demands around terminal locations, open facilities ‘near’ terminal locations. Theorem : There is a 9-approx. algorithm for the general case.

Theory Seminar, 10/2002 Let A be the set of terminal locations, D i = {j : c ij ≤ v j } for i  A. We ensure |D i | ≥ M. Let D 1 = U i  A D i. Total cost ≤ 2(S * + C * ) + 7  j  D v j ≤ 9 OPT. ≥ M DiDi S ≤  j  D 1 2v j + Can show, F + C ≤  j  D 1 3v j +  j  D 1 7v j. ≤ 2 min j  D i v j open facility 2(S * + C * +  j  D 1 v j ). i

Theory Seminar, 10/2002 Open Questions 1)Better approximation : only know an integrality gap of 2 from Steiner tree. 2)Multicommodity buy-at-bulk. Multiple source-sink pairs, route flow from source to sink. Have different cable types. Kumar et al. give a const. approx. for multicommodity rent-or-buy. 3)Unrelated metrics : Min.  i f i y i +  j,i c ij x ij +  e d e z e. Can reduce from group Steiner tree – get a O(log 2 n) LB. Matching UB?