Approximation Algorithms for Graph Routing Problems Julia Chuzhoy Toyota Technological Institute at Chicago.

Slides:



Advertisements
Similar presentations
Approximate Max-integral-flow/min-cut Theorems Kenji Obata UC Berkeley June 15, 2004.
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.
Routing in Undirected Graphs with Constant Congestion Julia Chuzhoy Toyota Technological Institute at Chicago.
Vertex sparsifiers: New results from old techniques (and some open questions) Robert Krauthgamer (Weizmann Institute) Joint work with Matthias Englert,
Poly-Logarithmic Approximation for EDP with Congestion 2
Dynamic Graph Algorithms - I
The Fault-Tolerant Group Steiner Problem Rohit Khandekar IBM Watson Joint work with G. Kortsarz and Z. Nutov.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Degree-3 Treewidth Sparsifiers Chandra Chekuri Julia Chuzhoy Univ. of IllinoisTTI Chicago.
Rooted Routing Using Structural Decompositions Jiao Tong University Shanghai, China June 17, 2013.
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.
Dependent Randomized Rounding in Matroid Polytopes (& Related Results) Chandra Chekuri Jan VondrakRico Zenklusen Univ. of Illinois IBM ResearchMIT.
Paths, Trees and Minimum Latency Tours Kamalika Chaudhuri, Brighten Godfrey, Satish Rao, Satish Rao, Kunal Talwar UC Berkeley.
Interchanging distance and capacity in probabilistic mappings Uriel Feige Weizmann Institute.
1 Online and Stochastic Survivable Network Design Ravishankar Krishnaswamy Carnegie Mellon University joint work with Anupam Gupta and R. Ravi.
CSL758 Instructors: Naveen Garg Kavitha Telikepalli Scribe: Manish Singh Vaibhav Rastogi February 7 & 11, 2008.
All Rights Reserved © Alcatel-Lucent 2006, ##### Matthew Andrews, Alcatel-Lucent Bell Labs Princeton Approximation Workshop June 15, 2011 Edge-Disjoint.
Routing and Treewidth (Recent Developments) Chandra Chekuri Univ. of Illinois, Urbana-Champaign.
Approximation Algorithms for Non-Uniform Buy-at-Bulk Network Design Problems Mohammad R. Salavatipour Department of Computing Science University of Alberta.
Approximating Maximum Edge Coloring in Multigraphs
Graph Sparsifiers by Edge-Connectivity and Random Spanning Trees Nick Harvey University of Waterloo Department of Combinatorics and Optimization Joint.
Large-Treewidth Graph Decompositions and Applications
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.
Network Design with (Dis)economies of Scale Lisa Zhang Joint with Matthew Andrews, Spyridon Antonakopoulos and Steve Fortune.
An Approximation Algorithm for Requirement cut on graphs Viswanath Nagarajan Joint work with R. Ravi.
Approximating complete partitions Guy Kortsarz Joint work with J. Radhakrishnan and S.Sivasubramanian.
1 On the Benefits of Adaptivity in Property Testing of Dense Graphs Joint work with Mira Gonen Dana Ron Tel-Aviv University.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
1 Introduction to Approximation Algorithms Lecture 15: Mar 5.
(work appeared in SODA 10’) Yuk Hei Chan (Tom)
A General Approach to Online Network Optimization Problems Seffi Naor Computer Science Dept. Technion Haifa, Israel Joint work: Noga Alon, Yossi Azar,
RARE APPROXIMATION RATIOS Guy Kortsarz Rutgers University Camden.
Packing Element-Disjoint Steiner Trees Mohammad R. Salavatipour Department of Computing Science University of Alberta Joint with Joseph Cheriyan Department.
Integrality Gaps for Sparsest Cut and Minimum Linear Arrangement Problems Nikhil R. Devanur Subhash A. Khot Rishi Saket Nisheeth K. Vishnoi.
V. V. Vazirani. Approximation Algorithms Chapters 3 & 22
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
All Rights Reserved © Alcatel-Lucent 2006, ##### Matthew Andrews Show-and-Tell April 20, 2010 Edge Disjoint Paths via Räcke Decompositions.
Approximating Minimum Bounded Degree Spanning Tree (MBDST) Mohit Singh and Lap Chi Lau “Approximating Minimum Bounded DegreeApproximating Minimum Bounded.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Approximation and Hardness Results for Packing Cycles Mohammad R. Salavatipour Department of Computing Science University of Alberta Joint work with M.
Uib.no UNIVERSITY OF BERGEN A Near-Optimal Planarization Algorithm Bart M. P. Jansen Daniel Lokshtanov University of Bergen, Norway Saket Saurabh Institute.
Treewidth, Applications, and some Recent Developments
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Approximation Algorithms: Éva Tardos Cornell University problems, techniques, and their use in game theory.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Embeddings, flow, and cuts: an introduction University of Washington James R. Lee.
Multicommodity flow, well-linked terminals and routing problems Chandra Chekuri Lucent Bell Labs Joint work with Sanjeev Khanna and Bruce Shepherd Mostly.
Network Flows. Menger ’ s Theorem Theorem 7.1. (Menger [1927] ) Let G be a graph (directed or undirected), let s and t be two vertices, and k  N. Then.
New algorithms for Disjoint Paths and Routing Problems
Graph Partitioning using Single Commodity Flows
Approximating Buy-at-Bulk and Shallow-Light k-Steiner Trees Mohammad T. Hajiaghayi (CMU) Guy Kortsarz (Rutgers) Mohammad R. Salavatipour (U. Alberta) Presented.
Network Formation Games. NFGs model distinct ways in which selfish agents might create and evaluate networks We’ll see two models: Global Connection Game.
Ion I. Mandoiu, Vijay V. Vazirani Georgia Tech Joseph L. Ganley Simplex Solutions A New Heuristic for Rectilinear Steiner Trees.
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.
Polynomial Bounds for the Grid-Minor Theorem Julia Chuzhoy Toyota Technological Institute at Chicago Chandra Chekuri University of Illinois at Urbana-Champaign.
Network Formation Games. NFGs model distinct ways in which selfish agents might create and evaluate networks We’ll see two models: Global Connection Game.
Some Graph Minor Theory and its Uses in Algorithms
Maximum Matching in the Online Batch-Arrival Model
Richard Anderson Lecture 23 Network Flow
Algorithms for Routing Node-Disjoint Paths in Grids
Approximating k-route cuts
Multipath Routing for Congestion Minimization & Multiroute Flows
Connected Components Minimum Spanning Tree
Graph Partitioning Problems
Embedding Metrics into Geometric Spaces
Distance-preserving Subgraphs of Interval Graphs
Presentation transcript:

Approximation Algorithms for Graph Routing Problems Julia Chuzhoy Toyota Technological Institute at Chicago

Routing Problems Input: Graph G, source-sink pairs (s 1,t 1 ),…,(s k,t k ). Goal: Route as many pairs as possible; minimize edge congestion.

Routing Problems Input: Graph G, source-sink pairs (s 1,t 1 ),…,(s k,t k ). Goal: Route as many pairs as possible; minimize edge congestion.

Routing Problems Input: Graph G, source-sink pairs (s 1,t 1 ),…,(s k,t k ). Goal: Route as many pairs as possible; minimize edge congestion. Edge congestion: 2

Routing Problems Input: Graph G, source-sink pairs (s 1,t 1 ),…,(s k,t k ). Goal: Route as many pairs as possible; minimize edge congestion. n – number of graph vertices m – number of edges k – number of demand pairs terminals – vertices participating in the demand pairs n – number of graph vertices m – number of edges k – number of demand pairs terminals – vertices participating in the demand pairs

Routing Problems Input: Graph G, source-sink pairs (s 1,t 1 ),…,(s k,t k ). Goal: Route as many pairs as possible; minimize edge congestion. 3 pairs with congestion 2

Routing Problems Input: Graph G, source-sink pairs (s 1,t 1 ),…,(s k,t k ). Goal: Route as many pairs as possible; minimize edge congestion. 3 pairs with congestion 2 2 pairs with congestion 1 3 pairs with congestion 2 2 pairs with congestion 1

Congestion Minimization

Route all demand pairs Minimize maximum edge congestion solution value: 2

LP-relaxation Rounding Algorithm [Raghavan, Thompson ‘87] Every pair (s i,t i ) chooses a path P w. probability f(P) Max edge congestion O(c  log n/log log n) w.h.p.

Congestion Minimization -approximation [Raghavan, Thompson ‘87] Directed graphs: -hard to approximate [Andrews, Zhang ‘06], [C, Guruswami, Khanna, Talwar ‘07] Undirected graphs: -hard to approximate [Andrews, Zhang ‘07]

Open Problem 1 Can we close the gap for undirected graphs? What is the integrality gap of the LP? What if we only need to connect a constant fraction of the demand pairs?

Edge-Disjoint Paths Problem No congestion allowed Route maximum number of the demand pairs Solution value: 2

Edge Disjoint Paths (EDP) For directed graphs NP-hard even with only two demand pairs [Fortune, Hopcroft, Wyllie '80] When k is constant, can be solved efficiently in undirected graphs [Robertson, Seymour ‘90] NP-hard when k is part of input [Karp ’72]

LP-relaxation

Rounding Algorithm [Kolliopoulos, Stein ‘98] Find shortest path P with non-zero flow, connecting any demand pair. Add P to the solution and delete all flow that uses edges of P. Analysis If the length of P is less than – at most flow is deleted. If the length of P is more than – at most flow remains. -approximation

Can We Do Better? Directed graphs: EDP is -hard to approximate for any [Guruswami, Khanna, Rajaraman, Shepherd, Yannakakis ‘99] Undirected graphs : -approximation algorithm [Chekuri, Khanna, Shepherd ’06]. -hardness of approximation for any [Andrews, Zhang ‘05], [Andrews, C, Guruswami, Khanna, Talwar, Zhang ’10] LP integrality gap: [Garg, Vazirani, Yannakakis ‘93]

Integrality Gap Example [Garg, Vazirani, Yannakakis ‘93] s1s1 s2s2 sksk … t1t1 t2t2 tktk … fractional: k/2 integral: 1 k= fractional: k/2 integral: 1 k=

A Brick-Wall Graph s1s1 s2s2 sksk … tktk t1t1 t2t2 …

Open Problem 2 Close the gap for undirected EDP planar graphs? – constant-factor approximation with congestion 2 [Chekuri, Khanna, Shepherd ‘04], [Chekuri, Khanna, Shepherd ‘06], [Seguin-Charbonneau, Shepherd ‘11] – O(log n)-approximation for Eulerian or 4-edge connected planar graphs [Kawarabayashi, Kobayashi ’10] – constant approximation for grid-like graphs [Kleinberg, Tardos ’95]

Open Problem 2 Close the gap for undirected EDP planar graphs? better algorithms for brick-wall graphs?

Positive Results Moderately connected graphs: If global min-cut is Ω(log 5 n), there is a polylog-approximation [Rao, Zhou ‘10] Expander graphs In a strong enough constant-degree expander, any demand set on vertices can be routed on edge-disjoint paths [Frieze ‘00] …

Edge Disjoint Paths (EDP) Route maximum number of pairs on edge-disjoint paths -approximation matching integrality gap -hardness Congestion Minimization Route all pairs; minimize congestion -approximation -hardness EDP with Congestion (EDPwC) A factor- approximation algorithm with congestion c routes. demand pairs with congestion at most c. optimum number of pairs with no congestion allowed

EDPwC Congestion O(log n/log log n): constant approximation [Raghavan, Thompson ’87] -approximation with congestion c [Azar, Regev ’01], [Baveja, Srinivasan ’00], [Kolliopoulos, Stein ‘04] Directed graphs: -hardness for any congestion c [C, Guruswami, Khanna, Talwar ’06]

EDPwC Congestion O(log n/log log n): constant approximation [Raghavan, Thompson ’87] -approximation with congestion c [Azar, Regev ’01], [Baveja, Srinivasan ’00], [Kolliopoulos, Stein ‘04] polylog(n)-approximation with congestion poly(log log n) [Andrews ‘10] Congestion 2: -approximation [Kawarabayashi, Kobayashi ’11] polylog(k)-approximation with congestion 14 [C, ‘11] polylog(k)-approximation with congestion 2 [C, Li, ‘12]

Integrality Gaps for EDPwC s1s1 s2s2 sksk … t1t1 t2t2 tktk … Congestion 1: integrality gap [Garg, Vazirani, Yannakakis ‘93] Congestion c: integrality gap [Andrews, C, Guruswami, Khanna, Talwar, Zhang ‘10] -hard to approximate with congestion c for any

Edge Disjoint Paths (EDP) Route maximum number of pairs on edge-disjoint paths -approximation matching integrality gap -hardness Congestion Minimization Route all pairs; minimize congestion -approximation -hardness EDP with Congestion (EDPwC) polylog(k)-approximation with congestion 2 -hardness with congestion c

Another View: Reducing Congestion Suppose we have a “bad” solution, where X pairs are routed with congestion C. Then we can route X/(C polylog k) pairs with congestion 2! But if we want congestion 1, may only be able to route pairs, even if C=2.

A Polylogarithmic Approximation with Constant Congestion

Well-Linkedness [Robertson,Seymour], [Chekuri, Khanna, Shepherd], [Raecke] Graph G is well-linked for the set T of terminals, iff for any partition (A,B) of V(G),

Well-Linkedness [Robertson,Seymour], [Chekuri, Khanna, Shepherd], [Raecke] Graph G is well-linked for the set T of terminals, iff for any partition (A,B) of V(G),

Pre-Processing Input: Graph G, source-sink pairs (s 1,t 1 ),…,(s k,t k ). Theorem [Chekuri, Khanna Shepherd ‘04] Can efficiently partition G into disjoint subgraphs G 1,…, G r, such that: For each induced sub-problem G i the terminals are well-linked Total fractional solution value for all induced sub-problems is “Enough” to solve the problem on well- linked instances.

1.Embed an expander on a subset of terminals into G. – expander vertices terminals – expander edges paths in G 2.Route a subset of the demand pairs in the expander High-Level Plan [CKS ‘04] Embedding congestion: max load on any edge of G Crossbar

Goal Embed an expander over a subset of terminals into G. Include polylog(k)-fraction of the terminals congestion 2

Cut-Matching Game [Khandekar, Rao, Vazirani ’06] Cut Player: wants to build an expander Matching Player: wants to delay its construction There is a strategy for cut player, s.t. after O(log 2 n) iterations, we get an expander!

Embedding Expander into Graph

After O(log 2 k) iterations, we get an expander embedded into G. Problem: congestion Ω(log 2 k)

Solution? Idea [Rao Zhou ‘06]: Split G into graphs G 1,…,G h using algorithm of [Karger ’93] – V(G i )=V(G) for all i – Every edge of G belongs to at most one G i – Each G i well-linked for the terminals – h=O(log 2 k) Run the cut-matching game. Use G i to route flow in iteration i. Problem: Can only do it if min-cut in G is Ω(log 5 n) [Andrews ‘10] adapted this to general graphs, with congestion poly(log log n)

Getting a Constant Congestion

Embedding an Expander into G Expander vertex connected component in G containing the terminal Expander edge path connecting some pair of vertices in the two components An edge of G belongs to at most 2 of the components/paths.

Embedding an Expander into G Routing on vertex-disjoint paths in X gives a congestion-2 routing in G!

Expander vertex connected component in G containing the terminal Expander edge path connecting some pair of vertices in the two components An edge of G belongs to at most 2 of the components/paths. Embedding an Expander into G

Families of Good Vertex Sets

Good Vertex Subset S is a good vertex subset iff: S contains no terminals k/polylog k red edges S is well-linked for the red edges

A Good Family of Vertex Subsets O(log 2 k) disjoint good vertex subsets k/polylog k trees −each edge of G participates in at most 2 trees −Each tree T i spans a distinct terminal t i and a distinct red edge adjacent to S j for each j.

Embedding an Expander

Expander vertex the tree spanning the terminal Expander edges: via the cut-matching game of [KRV]

Embedding an Expander

After O(log 2 k) iterations, we obtain an expander embedded into G with congestion 2.…

Algorithm for EDPwC Find a good family of vertex subsets Embed an expander into G Find vertex-disjoint routing in the expander Transform into routing in G

Open Problem 3 A cleaner algorithm for polylog(k) approximation with congestion 2? Better power of polylog? What if we need to route almost all demand pairs (a constant fraction)?

Routing on Vertex-Disjoint Paths Generalizes EDP Connections to Graph Minor theory No congestion: -approximation [Kolliopoulos, Stein ‘98] -lower bound on LP integrality gap [Garg, Vazirani, Yannakakis ‘97] Routing with congestion: O(poly log k)-approximation with constant congestion [Chekuri, Ene ‘12]

Better algorithms/lower bounds for Vertex- Disjoint Paths? Open Problem 4

Better algorithms/lower bounds for Vertex- Disjoint Paths? Vertex-disjoint paths in grid graphs Open Problem 4

s1s1 t1t1 s2s2 t2t2 s3s3 t3t3 Better algorithms/lower bounds for Vertex- Disjoint Paths? Vertex-disjoint paths in grid graphs Open Problem 4

Thank you!