1 Online and Stochastic Survivable Network Design Ravishankar Krishnaswamy Carnegie Mellon University joint work with Anupam Gupta and R. Ravi.

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.
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.
Greedy Algorithms Greed is good. (Some of the time)
Lecture 24 Coping with NPC and Unsolvable problems. When a problem is unsolvable, that's generally very bad news: it means there is no general algorithm.
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)
Compact and Low Delay Routing Labeling Scheme for Unit Disk Graphs Chenyu Yan, Yang Xiang, and Feodor F. Dragan (WADS 2009) Kent State University, Kent,
Chapter 9 Connectivity 连通度. 9.1 Connectivity Consider the following graphs:  G 1 : Deleting any edge makes it disconnected.  G 2 : Cannot be disconnected.
Covering Crossing Biset-Families by Digraphs Zeev Nutov The Open University of Israel.
Combinatorial Algorithms
Approximation Some Network Design Problems With Node Costs Guy Kortsarz Rutgers University, Camden, NJ Joint work with Zeev Nutov The Open University,
24 Feb 04Boosted Sampling1 Boosted Sampling: Approximation Algorithms for Stochastic Problems Martin Pál Joint work with Anupam Gupta R. Ravi Amitabh Sinha.
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.
Algorithms for Max-min Optimization
1 Tree Embeddings for 2-Edge-Connected Network Design Problems Ravishankar Krishnaswamy Carnegie Mellon University joint work with Anupam Gupta and R.
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.
Perfect Graphs Lecture 23: Apr 17. Hard Optimization Problems Independent set Clique Colouring Clique cover Hard to approximate within a factor of coding.
Online Algorithms for Network Design Adam Meyerson UCLA.
A general approximation technique for constrained forest problems Michael X. Goemans & David P. Williamson Presented by: Yonatan Elhanani & Yuval Cohen.
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.
1 Approximating Minimum Cost Steiner Forests Guy Kortsarz Rutgers University, Camden Joint work with Moran Feldman and Zeev Nutov.
Online Oblivious Routing Nikhil Bansal, Avrim Blum, Shuchi Chawla & Adam Meyerson Carnegie Mellon University 6/7/2003.
Multicommodity Rent or Buy: Approximation Via Cost Sharing Martin Pál Joint work with Anupam Gupta Amit Kumar Tim Roughgarden.
Computability and Complexity 24-1 Computability and Complexity Andrei Bulatov Approximation.
On Stochastic Minimum Spanning Trees Kedar Dhamdhere Computer Science Department Joint work with: Mohit Singh, R. Ravi (IPCO 05)
1 On the Cost and Benefits of Procrastination: Approximation Algorithms for Stochastic Combinatorial Optimization Problems (SODA 2004) Nicole Immorlica,
Network Design with Concave Cost Functions Kamesh Munagala, Stanford University.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Approximating Node-Weighted Survivable Networks Zeev Nutov The Open University of Israel.
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.
TECH Computer Science Graph Optimization Problems and Greedy Algorithms Greedy Algorithms  // Make the best choice now! Optimization Problems  Minimizing.
Outline Introduction The hardness result The approximation algorithm.
Minimal Spanning Trees What is a minimal spanning tree (MST) and how to find one.
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.
V. V. Vazirani. Approximation Algorithms Chapters 3 & 22
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Approximating the Minimum Degree Spanning Tree to within One from the Optimal Degree R 陳建霖 R 宋彥朋 B 楊鈞羽 R 郭慶徵 R
UNC Chapel Hill Lin/Foskey/Manocha Minimum Spanning Trees Problem: Connect a set of nodes by a network of minimal total length Some applications: –Communication.
T HE INTERESTING BEHAVIOR OF THE SOURCE LOCATION PROBLEM G. Kortsarz, Rutgers Camden.
Approximation Algorithms for Prize-Collecting Forest Problems with Submodular Penalty Functions Chaitanya Swamy University of Waterloo Joint work with.
Minimum Spanning Trees CS 146 Prof. Sin-Min Lee Regina Wang.
Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,
1 Mar 05Stochastic Steiner without a Root1 Stochastic Steiner Tree without a Root Martin Pál Joint work with Anupam Gupta.
Multicommodity flow, well-linked terminals and routing problems Chandra Chekuri Lucent Bell Labs Joint work with Sanjeev Khanna and Bruce Shepherd Mostly.
Approximating the k Steiner Forest and Capacitated non preemptive dial a ride problems, with almost uniform weights Guy Kortsarz Joint work with Dinitz.
Approximating Minimum Cost Steiner Forests Lecturer: Moran Feldman Instructor: Prof. Zeev Nutov.
Improved Approximation Algorithms for Directed Steiner Forest Moran Feldman Technion Joint work with: Guy Kortsarz,Rutgers University Camden Zeev Nutov,The.
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.
Multiroute Flows & Node-weighted Network Design Chandra Chekuri Univ of Illinois, Urbana-Champaign Joint work with Alina Ene and Ali Vakilian.
Maximum Matching in the Online Batch-Arrival Model
A note on the Survivable Network Design Problem
1.3 Modeling with exponentially many constr.
Graph Partitioning Problems
Dynamic and Online Algorithms for Set Cover
CS 583 Analysis of Algorithms
1.3 Modeling with exponentially many constr.
Optimization Problems Online with Random Demands
Algorithms (2IL15) – Lecture 7
Dynamic and Online Algorithms:
Minimum Spanning Trees
Presentation transcript:

1 Online and Stochastic Survivable Network Design Ravishankar Krishnaswamy Carnegie Mellon University joint work with Anupam Gupta and R. Ravi

2 Online k-edge-connectivity (k-EC) Given a graph G, and edge costs. Demand sequence arrives online. When vertices arrive, need to “buy” set of edges s.t The subgraph k-edge-connects with Competitive Ratio

3 A Toy Example Each s i needs 2 edge disjoint paths to t i. s1s1 t1t1 s2s2 t2t2 s3s3 t3t3 Algo cost = = 18 OPT = 12

4 Related Work Offline k-edge-connectivity Primal-Dual Algorithm: -approximation[Goemans+ 94] Iterative Rounding: 2-approximation[Jain 98] Online k-edge-connectivity For Steiner Forest (k=1), -competitive algorithm [AAB 04, BC 97] Greedy algorithm is -competitive. (T is number of terminals which arrive) What about higher k?

5 How good is greedy? Consider the case k=2. All demand pairs are of the form Total Cost of Greedy Optimal Cost Competitive Ratio Greedy is not very good  Can get  (T)-lowerbound for T = O(log n)

6 Our Results Theorem 1: Online k-EC -competitive randomized online algorithm. Theorem 2: Online Metric k-EC -competitive online algorithm on complete metric graphs. Theorem 3: 2-Stage Stochastic k-EC -approximation algorithm on general graphs. -approximation algorithm on complete metrics.

7 Our High-level Approach Incrementally build a k-edge-connected solution. Cast connectivity augmentation as a set cover problem: “in j th round, cover all size j-cuts” Good News: good algorithms for online set cover. – [AAABN03] is an O(log E log S)-competitive algorithm. Bad News: exponentially many cuts to cover. Challenge: getting a “compact” set covering problem – Size S should be polynomial in n, as set cover has a polylog(S)-guarantee. Use random embeddings into subtrees to get more structure on the edge costs

8 For this talk Theorem 1: Online k-EC -competitive randomized online algorithm for k-EC. Theorem 1: Online 2-EC -competitive randomized online algorithm for rooted 2-EC. 1. Assume that k = 2, and the problem is rooted. 2. Assume graph is “backboned” Theorem 1: Online 2-EC on Backboned Graphs -competitive randomized online algorithm for rooted 2-EC on backboned graphs.

9 Backboned Graphs 1. There is a spanning subtree T called the base tree. 2. Any non-tree edge has cost equal to the cost of the base-tree path. 3. [ABN08]: a random backboned graph with low expected stretch. r l a b c d l = a+b+c+d Notation: P T (x,y) denotes the base tree path between x and y x y

10 2-Edge-Connectivity on Backboned Graphs Consider a set of vertices {v 1, v 2, …, v j } which require 2-connectivity to r. – Let OPT be an optimal offline solution. – Can imagine OPT to contain base tree path P T (v i,r) for all i with O(1) blow-up in cost. Online 1-connectivity on Backboned Graphs – Easy. Just buy the base tree path. Can we augment edges to this path to get 2-connectivity?

11 2-Edge-Connectivity on Backboned Graphs r vivi Consider a backboned graph with base tree T (the red edges). Let vertex v i arrive needing 2-edge connectivity to the root r. Best way to 1-connect v i with r: buy 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 (an offline optimal solution) must cross this cut. Get a covering cycle of twice the cost!

12 A Compact Set Cover Instance r v1v1 Think of non-tree edges to be sets, and tree edges to be the elements. 1.Any cut edge on the tree path has a “cover” from OPT. 2.A non-tree edge (x,y) covers all the tree edges on path P T (x,y). 3.If all edges on path P T (r,v i ) are covered, then v i is 2-edge-connected to r. 4.The min-cost set of covering cycles has cost at most 2c(OPT).

13 Online 2-Connectivity Algorithm Algorithm 2-Conn(D) 1.Set-up Online Set Cover instance: a)Elements are tree edges (at most n). b)Sets are non-tree edges (at most n 2 ). c)Element e is covered by set f=(u,v) if e lies on P T (u,v). 2.When vertex v i arrives: a)Buy the base tree path P T (r,v i ). b)Feed each cut-edge on P T (r,v i ) to the online set cover algorithm. c)For each edge (x,y) the set cover algorithm buys, -- buy the entire cycle P T (x,y) U (x,y).

14 Analysis Total base tree cost is at most c(OPT). Optimal offline set cover cost to cover all cut-edges is c(OPT). When vertex v i arrives: a)Buy the base tree path P T (r,v i ). b)Feed each cut-edge on P T (r,v i ) to the online set cover algorithm. c)For each edge (x,y) the set cover algorithm buys, -- buy the entire cycle P T (x,y) U (x,y). Online Set Cover Algo[AAABN03]: O(log E log S)-competitve Total cost of online 2-EC Algo: O(log 2 n) c(OPT)

15 The General Case: k-Connectivity Basic Idea: Augment connectivity incrementally. – When new terminal v arrives, Buy base tree path P T (r,v) Feed all “1-cuts” to the online set cover algorithm: make the vertex v to be 2-edge-connected to r. Feed all “2-cuts” to online set cover algorithm. Proceed in this fashion. Need to show: – A compact (and low cost) set covering instance can model the augmentation problem.

16 From 2 to 3-Connectivity Consider a subgraph H that 2-edge-connects a terminal v to r. Let P 1 and P 2 denote 2 edge disjoint paths from v to r. Suppose H also contains the base tree path P T (v,r). Consider a 2-cut Q = {e 1, e 2 } separating v and r. The end vertices of e 1 and e 2 must be reachable from v or r in H \ Q. – Vertices reachable from v are R-vertices – Vertices reachable from r are L-vertices v r P1P1 P2P2 e1e1 e2e2 L L R R

17 Covering Lemma v r P1P1 P2P2 e1e1 e2e2 L L R R x y Adding that cycle to H will eliminate Q as a cut For any such cut Q, there is an edge (x,y) in OPT such that i. P T (x,y) U (x,y) \ Q connects an L-vertex to an R-vertex. ii. Therefore, v and r are connected in H \ Q U P T (x,y) U (x,y)

18 Connectivity Augmentation Create the following set cover system (upfront): 1.Elements: l -cuts along with L and R labels for end vertices. 2.Sets: non-tree edges m 3.A cut Q is covered by a non-tree edge (x,y) if the cycle P T (x,y) U (x,y) \ Q connects an L-vertex to an R-vertex. Online Set Cover: O(log E log S)-competitive ( E = ; S = m) Online k-EC algorithm: O(k log 2 m)-competitive

19 To Finish: The Algorithm We create the following set cover system – Elements are the 2-cuts, along with L and R labels for end vertices of cut edges At most elements. – Sets are the non-tree edges At most m sets. – A cut Q is covered by a non-tree edge (x,y) if the cycle P T (x,y) U (x,y) \ Q connects an L-vertex to an R-vertex. When a new terminal v arrives, – We 2-edge connect v to r. – Identify a 2-cut, and feed the edges along with the L and R labels to the online set cover algorithm. – For any edge (x,y) it buys, buy the entire cycle P T (x,y) U (x,y). From the guarantees of the online set cover algorithm, this is a -competitive online algorithm on backboned graphs

20 Summary Presented randomized online algorithms for k-EC – Competitive Ratio: Augment connectivity with small and cheap set cover instance. – Can’t avoid the term Gives approximation algorithms for – Stochastic and Rent or Buy k-EC Open Questions: – Improve guarantees. (getting rid of k?) – Online Vertex Connectivity?

21 Thank You! Questions?

22 2 nd Attempt: Online LP Rounding Solve the LP relaxation for the k-edge-connected subgraph problem online. – Can do this with polylog(n)-competitiveness. Roadblock: Rounding the fractional solution online – Not known even for the online Steiner forest problem.

23 Corollary Theorem 3: Stochastic k-EC We get -approximation algorithms for this problem on general graphs, and an -approximation algorithm on complete metrics. Two Stage Stochastic k-EC Each vertex appears as demand with a probability p v. Need to buy first stage edges and recourse edges to k-edge connect the vertices which appear. Minimize total expected cost.