An Approximation Algorithm for Requirement cut on graphs Viswanath Nagarajan Joint work with R. Ravi.

Slides:



Advertisements
Similar presentations
Approximate Max-integral-flow/min-cut Theorems Kenji Obata UC Berkeley June 15, 2004.
Advertisements

Iterative Rounding and Iterative Relaxation
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.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Approximating Maximum Subgraphs Without Short Cycles Guy Kortsarz Join work with Michael Langberg and Zeev Nutov.
Multicut Lower Bounds via Network Coding Anna Blasiak Cornell University.
Bicriteria Approximation Tradeoff for the Node-Cost Budget Problem Yuval Rabani (Technion) Gabriel Scalosub (Tel Aviv University)
Online Social Networks and Media. Graph partitioning The general problem – Input: a graph G=(V,E) edge (u,v) denotes similarity between u and v weighted.
Combinatorial Algorithms
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.
Graph Clustering. Why graph clustering is useful? Distance matrices are graphs  as useful as any other clustering Identification of communities in social.
Graph Clustering. Why graph clustering is useful? Distance matrices are graphs  as useful as any other clustering Identification of communities in social.
Algorithms for Max-min Optimization
Instructor Neelima Gupta Table of Contents Lp –rounding Dual Fitting LP-Duality.
Approximation Algorithms: Combinatorial Approaches Lecture 13: March 2.
On Approximating the Average Distance Between Points Kfir Barhum, Oded Goldreich and Adi Shraibman Weizmann Institute of Science.
1 Approximation Algorithms for Demand- Robust and Stochastic Min-Cut Problems Vineet Goyal Carnegie Mellon University Based on, [Golovin, G, Ravi] (STACS’06)
Approximation Algorithm: Iterative Rounding Lecture 15: March 9.
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.
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.
On Stochastic Minimum Spanning Trees Kedar Dhamdhere Computer Science Department Joint work with: Mohit Singh, R. Ravi (IPCO 05)
A 2-Approximation algorithm for finding an optimum 3-Vertex-Connected Spanning Subgraph.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Steiner trees Algorithms and Networks. Steiner Trees2 Today Steiner trees: what and why? NP-completeness Approximation algorithms Preprocessing.
1 Introduction to Approximation Algorithms Lecture 15: Mar 5.
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: Bristol Summer School 2008 Seffi Naor Computer Science Dept. Technion Haifa, Israel TexPoint fonts used in EMF. Read the TexPoint.
Outline Introduction The hardness result The approximation algorithm.
V. V. Vazirani. Approximation Algorithms Chapters 3 & 22
Primal-Dual Meets Local Search: Approximating MST’s with Non-uniform Degree Bounds Author: Jochen Könemann R. Ravi From CMU CS 3150 Presentation by Dan.
Simple and Improved Parameterized Algorithms for Multiterminal Cuts Mingyu Xiao The Chinese University of Hong Kong Hong Kong SAR, CHINA CSR 2008 Presentation,
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 Algorithms Department of Mathematics and Computer Science Drexel University.
Transitive-Closure Spanner of Directed Graphs Kyomin Jung KAIST 2009 Combinatorics Workshop Joint work with Arnab Bhattacharyya MIT Elena Grigorescu MIT.
Batch Scheduling of Conflicting Jobs Hadas Shachnai The Technion Based on joint papers with L. Epstein, M. M. Halldórsson and A. Levin.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Improved Approximation Algorithms for the Quality of Service Steiner Tree Problem M. Karpinski Bonn University I. Măndoiu UC San Diego A. Olshevsky GaTech.
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.
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.
Iterative Rounding in Graph Connectivity Problems Kamal Jain ex- Georgia Techie Microsoft Research Some slides borrowed from Lap Chi Lau.
TU/e Algorithms (2IL15) – Lecture 12 1 Linear Programming.
Approximation Algorithms Duality My T. UF.
1 On MultiCuts and Related Problems Michael Langberg Joint work with Adi Avidor On MultiCuts and Related Problems Michael Langberg California Institute.
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 11 1 Approximation Algorithms.
Steiner trees: Approximation Algorithms
A note on the Survivable Network Design Problem
Graph Partitioning Problems
Approximation and Kernelization for Chordal Vertex Deletion
Chapter 23 Minimum Spanning Tree
Linear Programming and Approximation
Chaitanya Swamy University of Waterloo
Problem Solving 4.
Embedding Metrics into Geometric Spaces
Lecture 14 Shortest Path (cont’d) Minimum Spanning Tree
Clustering.
Zero-Skew Trees Zero-Skew Tree: rooted tree in which all root-to-leaf paths have the same length Used in VLSI clock routing & network multicasting.
Presentation transcript:

An Approximation Algorithm for Requirement cut on graphs Viswanath Nagarajan Joint work with R. Ravi

Cut problems Undirected G=(V,E) Edge costs c : E → R + Remove minimum cost set of edges satisfying some requirement

Example : Multicut Pairs (s 1,t 1 ), (s 2,t 2 ), …, (s k,t k ) Separate each pair O(log k) approximation [GVY’93]

Example : Steiner multicut Groups X 1, X 2, …, X g µ V Separate each group O(log 3 (gt)) approximation [KPRT’97] (t = max i |X i |)

More examples k-cut : 2 [SV ’95] Multiway cut : 1.34 [KKSTY ’99] Steiner k-cut : 2 [CGN ’03] Multi-multiway cut : log k [AL’04]

Requirement cut Groups X 1, X 2, …, X g µ V Requirements r i (0 ≤ r i ≤ |X i |) Separate group X i into r i pieces Generalizes previous cut problems

Containment of cut problems Multicut Steiner multicut Multi-multiway cut k-cut Requirement cut Steiner k-cut

Our results O(log n ¢ log(gR)) approximation n = number of vertices g = number of groups R = maximum requirement O(log(gR)) approximation on trees

IP formulation min  e2 E c e d e s.t.  e2 T i d e ≥ r i -1 8 T i : Steiner tree on X i, 8 i=1, …, g d e 2 {0,1} 8 e2 E

Solving LP relaxation Minimum Steiner tree – NP hard! Relax to spanning trees Require that d is metric

LP relaxation min  e2 E c e d e s.t.  e2 T i d e ≥ r i – 18 T i : spanning tree on X i 8 i = 1, …, g d : metric d e 2 [0,1]8 e2 E

Requirement cut on trees Input graph G is a tree Reduction from set cover )  (log g) hard LP rounding yields O(log(gR)) approximation

Tree rounding 1) Solve LP to get d * (OPT lp =  e2 E c e d * e ) 2) Define d e = min{2¢ d * e, 1} 3) Repeat O(log(gR)) times: Pick each edge of tree G with probability d e

Tree rounding Theorem : Randomized rounding for requirement cut on trees yields a solution of cost at most O(log(gR)) ¢ OPT lp Cost in single phase ≤ 2 ¢ OPT lp Total cost of rounding ≤ O(log (gR)) ¢ OPT lp Need to satisfy all requirements

Single phase c i : current number of components of X i Residual requirement of X i = r i – c i Lemma : In each phase of randomized rounding, the total residual requirement reduces by a factor of 4/3, in expectation.

Bounding number of phases Initial requirement ≤ g¢R Expected requirement after phase k, E[R k ] ≤ (¾) k ¢g¢R k = 4¢ln(gR) ) E[R k ] ≤ ½

Rounding in single phase Current forest F F i : forest induced by X i H i : shortcut F i over degree 2 Steiner vertices

Single phase - analysis Removing edges of H i ≡ new components in F i Lemma : Expected number of “edges” of H i removed is at least (1-1/e)¢ d(H i ) Here, d(H i ) =  e2 H i d e

Single phase - analysis Claim : In any Steiner forest H i with each non terminal having degree ≥ 3, removing any m edges results in at least d(m+1)/2e new terminal components Expected number of new components containing X i ≥ (1- 1/e)¢ ½ ¢ d(H i ) ≥ ¼ ¢ d(H i )

Single phase - analysis Extend H i to Steiner tree on X i Add c i – 1 edges d(H i ) + c i – 1 ≥ r i – 1 (~ Sp. tree constraint) d(H i ) ≥ r i – c i = residual requirement of X i

Single phase - analysis Number of new components ≥ ¼ ¢ (r i -c i ) new requirement of group X i = old requirement – number of new components ≤ ¾ ¢ old requirement total new requirement ≤ ¾ ¢ total old requirement (All in expectation)

General graphs Solve LP on G to get metric d * Use FRT embedding to tree metric ( ,T) (edges of T ≡ cuts in G) Use tree rounding on T O(log n ¢ log(gR)) approximation

Conclusions Introduced requirement cut problem O(log n ¢ log(gR)) integrality gap Improvement – for planar graphs? Even on trees, gap between  (log g) lower bound, O(log(gR)) upper bound

Thank you!

Extra claim Claim : Minimum Steiner tree on X i w.r.t. d is at least r i – 1 d * costs on edges

Single phase - analysis Lemma : Expected number of “edges” of H i removed is at least (1-1/e)¢ d(H i ) (u,v) : edge of H i P : path connecting u and v in F i Pµ F i u v (u,v)2 H i

Lemma – contd. Pr [separating u and v] = 1 -  e2 P (1-d e ) ≥ 1 – e -d(P) A) d(P) ≤ 1 Pr ≥ 1 – e -d(P) ≥ (1-1/e) ¢ d(P) ≥ (1-1/e) d u,v B) d(P) ≥ 1 Pr ≥ 1 – e -d(P) ≥ 1 – 1/e ≥ (1-1/e) d u,v