1 Tree Embeddings for 2-Edge-Connected Network Design Problems Ravishankar Krishnaswamy Carnegie Mellon University joint work with Anupam Gupta and R.

Slides:



Advertisements
Similar presentations
Iterative Rounding and Iterative Relaxation
Advertisements

The Primal-Dual Method: Steiner Forest TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A AA A A A AA A A.
Network Design with Degree Constraints Guy Kortsarz Joint work with Rohit Khandekar and Zeev Nutov.
Approximations for Min Connected Sensor Cover Ding-Zhu Du University of Texas at Dallas.
GRAPH BALANCING. Scheduling on Unrelated Machines J1 J2 J3 J4 J5 M1 M2 M3.
The Fault-Tolerant Group Steiner Problem Rohit Khandekar IBM Watson Joint work with G. Kortsarz and Z. Nutov.
Depth-First Search1 Part-H2 Depth-First Search DB A C E.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Approximation Algorithms for Capacitated Set Cover Ravishankar Krishnaswamy (joint work with Nikhil Bansal and Barna Saha)
Scheduling with Outliers Ravishankar Krishnaswamy (Carnegie Mellon University) Joint work with Anupam Gupta, Amit Kumar and Danny Segev.
Approximation Some Network Design Problems With Node Costs Guy Kortsarz Rutgers University, Camden, NJ Joint work with Zeev Nutov The Open University,
1 Online and Stochastic Survivable Network Design Ravishankar Krishnaswamy Carnegie Mellon University joint work with Anupam Gupta and R. Ravi.
Approximation Algorithms for Non-Uniform Buy-at-Bulk Network Design Problems Mohammad R. Salavatipour Department of Computing Science University of Alberta.
Introduction to Approximation Algorithms Lecture 12: Mar 1.
An O(1) Approximation Algorithm for Generalized Min-Sum Set Cover Ravishankar Krishnaswamy Carnegie Mellon University joint work with Nikhil Bansal (IBM)
The Gas Station Problem Samir Khuller Azarakhsh Malekian Julian Mestre UNIVERSITY OF MARYLAND.
1 Approximation Algorithms for Demand- Robust and Stochastic Min-Cut Problems Vineet Goyal Carnegie Mellon University Based on, [Golovin, G, Ravi] (STACS’06)
A Constant Factor Approximation Algorithm for the Multicommodity Rent-or-Buy Problem Amit Kumar Anupam Gupta Tim Roughgarden Bell Labs CMU Cornell joint.
Approximation Algorithm: Iterative Rounding Lecture 15: March 9.
Network Design Adam Meyerson Carnegie-Mellon University.
Online Algorithms for Network Design Adam Meyerson UCLA.
Single Sink Edge Installation Kunal Talwar UC Berkeley.
Sublinear Algorithms for Approximating Graph Parameters Dana Ron Tel-Aviv University.
Robust Network Design with Exponential Scenarios By: Rohit Khandekar Guy Kortsarz Vahab Mirrokni Mohammad Salavatipour.
Increasing graph connectivity from 1 to 2 Guy Kortsarz Joint work with Even and Nutov.
An Approximation Algorithm for Requirement cut on graphs Viswanath Nagarajan Joint work with R. Ravi.
Online Oblivious Routing Nikhil Bansal, Avrim Blum, Shuchi Chawla & Adam Meyerson Carnegie Mellon University 6/7/2003.
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.
On Stochastic Minimum Spanning Trees Kedar Dhamdhere Computer Science Department Joint work with: Mohit Singh, R. Ravi (IPCO 05)
Network Design with Concave Cost Functions Kamesh Munagala, Stanford University.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
1 Introduction to Approximation Algorithms Lecture 15: Mar 5.
Near-Optimal Network Design With Selfish Agents Elliot Anshelevich, Anirban Dasgupta, Éva Tardos, Tom Wexler STOC’03, June 9–11, 2003, San Diego, California,
A General Approach to Online Network Optimization Problems Seffi Naor Computer Science Dept. Technion Haifa, Israel Joint work: Noga Alon, Yossi Azar,
Packing Element-Disjoint Steiner Trees Mohammad R. Salavatipour Department of Computing Science University of Alberta Joint with Joseph Cheriyan Department.
Approximation Algorithms for Graph Routing Problems Julia Chuzhoy Toyota Technological Institute at Chicago.
Minimum Spanning Trees. Subgraph A graph G is a subgraph of graph H if –The vertices of G are a subset of the vertices of H, and –The edges of G are a.
ICALP'05Stochastic Steiner without a Root1 Stochastic Steiner Trees without a Root Martin Pál Joint work with Anupam Gupta.
Approximation Algorithms for Stochastic Combinatorial Optimization Part I: Multistage problems Anupam Gupta Carnegie Mellon University.
Algorithms for Network Optimization Problems This handout: Minimum Spanning Tree Problem Approximation Algorithms Traveling Salesman Problem.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Network Design for Information Networks Chaitanya Swamy Caltech and U. Waterloo Ara HayrapetyanÉva Tardos Cornell University.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Topics in Algorithms 2005 Constructing Well-Connected Networks via Linear Programming and Primal Dual Algorithms Ramesh Hariharan.
Approximating the Minimum Degree Spanning Tree to within One from the Optimal Degree R 陳建霖 R 宋彥朋 B 楊鈞羽 R 郭慶徵 R
Approximation for Directed Spanner Grigory Yaroslavtsev Penn State + AT&T Labs (intern) Based on a paper at ICALP’11, joint with Berman (PSU), Bhattacharyya.
Transitive-Closure Spanner of Directed Graphs Kyomin Jung KAIST 2009 Combinatorics Workshop Joint work with Arnab Bhattacharyya MIT Elena Grigorescu MIT.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Stochastic Multicast with Network Coding Ajay Gopinathan, Zongpeng Li Department of Computer Science University of Calgary ICDCS 2009, June , Montreal.
Lecture 19 Greedy Algorithms Minimum Spanning Tree Problem.
Minimum Spanning Trees CS 146 Prof. Sin-Min Lee Regina Wang.
1 Mar 05Stochastic Steiner without a Root1 Stochastic Steiner Tree without a Root Martin Pál Joint work with Anupam Gupta.
Union-Find  Application in Kruskal’s Algorithm  Optimizing Union and Find Methods.
Improved Approximation Algorithms for Directed Steiner Forest Moran Feldman Technion Joint work with: Guy Kortsarz,Rutgers University Camden Zeev Nutov,The.
1 Approximation Algorithms for Generalized Min-Sum Set Cover Ravishankar Krishnaswamy Carnegie Mellon University joint work with Nikhil Bansal and Anupam.
Approximating Buy-at-Bulk and Shallow-Light k-Steiner Trees Mohammad T. Hajiaghayi (CMU) Guy Kortsarz (Rutgers) Mohammad R. Salavatipour (U. Alberta) Presented.
Iterative Rounding in Graph Connectivity Problems Kamal Jain ex- Georgia Techie Microsoft Research Some slides borrowed from Lap Chi Lau.
1 Approximation Algorithms for Generalized Scheduling Problems Ravishankar Krishnaswamy Carnegie Mellon University joint work with Nikhil Bansal, Anupam.
Generalized Sparsest Cut and Embeddings of Negative-Type Metrics
Traveling Salesman Problems Motivated by Robot Navigation
Maximum Matching in the Online Batch-Arrival Model
Facility Location with Client Latencies: LP-based Approximation Algorithms for Minimum Latency Problems Chaitanya Swamy University of Waterloo Joint work.
Robustness of wireless ad hoc network topologies
Robustness of wireless ad hoc network topologies
Optimization Problems Online with Random Demands
Embedding Metrics into Geometric Spaces
Dynamic and Online Algorithms:
Presentation transcript:

1 Tree Embeddings for 2-Edge-Connected Network Design Problems Ravishankar Krishnaswamy Carnegie Mellon University joint work with Anupam Gupta and R. Ravi

Running Example: Group Steiner Problems Given: graph G = (V,E), edge costs c: E → R, root vertex r. Set of groups X 1, X 2, …, X k with each X i ⊆ V. Goal: output subgraph H ⊆ G such that all groups are connected to the root r. (X i is connected to r if some v i ∈ X i is connected to r in H) Cost: c(H) =   e ∈ H c(e) 2 Group Steiner Tree [Garg et al SODA 1998] O(log 3 n)-approximation algorithm Group Steiner Tree [Garg et al SODA 1998] O(log 3 n)-approximation algorithm

An Illustration 3 root r group X 1 group X 2 group X 3 group X 4 Big advantage: optimal solution is always a tree!

What if we require fault-tolerance? Solution must be robust to “failure” of any single edge. Need to reinforce with back-up paths, to eliminate all such cut-edges. 4 root r group X 1 group X 2 group X 3 group X 4

What if we require fault-tolerance? Solution must be robust to “failure” of any single edge. Goal: output subgraph H ⊆ G such that all groups are 2-edge-connected to the root r. A Group X i is 2-edge-connected to r if  e, some v i ∈ X i is connected to r in H \ e Cost: c(H) =   e ∈ H c(e) 5 2-Edge-Connected Group Steiner (2-ECGS Problem) 2-Edge-Connected Group Steiner (2-ECGS Problem)

6 Known Results Khandekar et al. [FSTTCS 2009] show the following results: ProblemApproximability 2-ECGS (group size 2) VCGS (group size 2)O(log 2 n) 2-ECGS (group size q)O(q log 2 n) 2-VCGS (group size q)O(q log 2 n) Our Result O(log 4 n)-approximation algorithm for 2-ECGS

Other Results 7 ProblemApproximation Factor 2-EC Facility LocationO(log n) 2-EC Buy-at-BulkO(log 2 n) [ACSZ FOCS07] O(log 3 n) for 2-VC-BaB with 1 cable type 2-EC k-SubgraphO(log 3 n) [LNSS J. Comp 2009] O(log 2 n)

8 A Structure Property Consider any group X i Any solution must resemble the following two types group X i r r type Assumption only for the talk! Assumption only for the talk!

9 Our High-level Approach Embed graph into random subtree [Abraham et al. FOCS 2008] – get better structure on edge costs [GKR STOC 2009] Solve first stage problem of 1-connecting the groups – using existing LP based algorithm [Garg et al. SODA 1998] Solve the augmentation problem to get 2-connectivity – show that there exists a low-cost augmentation – this is where subtree embedding comes in handy

10 Step 1: Backboned Graphs 1. Find a random low-stretch spanning subtree T (the base tree) [ABN08] 2. Set cost of any non-tree edge to be the cost of the base-tree path. r ℓ a b c d ℓ = a + b + c + d x y There are at most m fundamental cycles Cost is comparable to non-tree edge Fundamental Cycle E[ ℓ ] ≤ O(log n) c(x,y)

11 2-ECGS on Backboned Graphs r vivi Consider a backboned graph with base tree T (the red edges) Consider some group X i Let OPT 2-edge-connect some v i ∈ X i to the root r Without loss of generality OPT buys the r-v i base tree path. Consider a cut-edge on this path. Look at the cut this induces on the base tree. Some edge of OPT must cross this cut. Get a covering cycle of twice the cost! 1.Every group has a tree path from r to some vertex v i in OPT 2.Each edge on this tree path has a “covering cycle” in OPT

2-ECGS LP Formulation (on Backboned Graphs) 12 x e -- tree edge e is included in the solution y f -- non-tree edge f is included in the solution x e -- tree edge e is included in the solution y f -- non-tree edge f is included in the solution 1.Every group has a tree path from r to some vertex v i in OPT 2.Each edge on this tree path has a “covering cycle” in OPT

The Rounding Strategy Stage I: Tree Rounding From the root, traverse the tree top down For an edge e, check if parent edge p(e) has been included – If so, include e in the solution with probability x e /x p(e) – If not, don’t include e 13 GKR SODA 1998 o.5 o.2 o.1 o.2 o.4 o.2 o.1 o.2

Rounding Continued.. After Stage I Expected cost incurred by each edge e is c(e) x e Each group is connected to root with reasonable probability. 14 Stage II: Non-Tree Rounding Consider any non-tree edge f Let e 1 and e 2 be the lowest edges “chosen” in stage I (on the cycle O f ) Change y f to y f /x e 1 + y f /x e 2 f e1e1 e2e2

Rounding Continued.. The scaled solution is feasible to the “augmentation LP” This LP solution is a fractional set-cover! – Can be rounded using several techniques 15

Putting the Pieces Together After Stage I - Singly-connect each group with reasonable probability After Stage II - Cover every chosen tree edge by some cycle All groups connected in Stage I are now 2-edge-connected 16 r V 1 ∈ X 1 V 2 ∈ X 2 V 3 ∈ X 3

Expected Cost Stage I: O(1) c(OPT) Stage II: 17 f e1e1 e2e2 e3e3 Expected value of “scaled y f ” = Pr[e 1 is lowest edge] y f /x e 1 + Pr[e 2 is lowest edge] y f /x e 2 + … ≤ x e1 (y f /x e 1 ) + x e 2 (y f /x e 2 ) + … ≤ O(log n) y f Expected value of “scaled y f ” = Pr[e 1 is lowest edge] y f /x e 1 + Pr[e 2 is lowest edge] y f /x e 2 + … ≤ x e1 (y f /x e 1 ) + x e 2 (y f /x e 2 ) + … ≤ O(log n) y f O(log n) c(OPT) Only distinct powers of ½ matter!Assume x e ’s are powers of ½

18 Summary Showed O(log 4 n)-approximation for 2-ECGS Similar techniques also work for Open Questions – Better approximation for 2-ECGS (lower bound is Ω(log 2 n)) – k-edge-connectivity for larger values of k? ProblemApproximation Factor 2-EC Facility LocationO(log n) 2-EC Buy-at-BulkO(log 2 n) [ACSZ FOCS07] O(log 3 n) for 2-VC-BaB with 1 cable type 2-EC k-SubgraphO(log 3 n) [LNSS J. Comp 2009] O(log 2 n)

19 Thank You! Questions?