On the Crossing Spanning Tree Vineet Goyal Joint work with Vittorio Bilo, R. Ravi and Mohit Singh.

Slides:



Advertisements
Similar presentations
Network Design with Degree Constraints Guy Kortsarz Joint work with Rohit Khandekar and Zeev Nutov.
Advertisements

Introduction to Algorithms
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
1 Maximum flow sender receiver Capacity constraint Lecture 6: Jan 25.
Multicut Lower Bounds via Network Coding Anna Blasiak Cornell University.
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.
1 Spanning Trees Lecture 20 CS2110 – Spring
Instructor Neelima Gupta Table of Contents Lp –rounding Dual Fitting LP-Duality.
Karger’s Min-Cut Algorithm Amihood Amir Bar-Ilan University, 2009.
1 Approximation Algorithms for Demand- Robust and Stochastic Min-Cut Problems Vineet Goyal Carnegie Mellon University Based on, [Golovin, G, Ravi] (STACS’06)
1 Optimization problems such as MAXSAT, MIN NODE COVER, MAX INDEPENDENT SET, MAX CLIQUE, MIN SET COVER, TSP, KNAPSACK, BINPACKING do not have a polynomial.
A Constant Factor Approximation Algorithm for the Multicommodity Rent-or-Buy Problem Amit Kumar Anupam Gupta Tim Roughgarden Bell Labs CMU Cornell joint.
Randomized Algorithms and Randomized Rounding Lecture 21: April 13 G n 2 leaves
Approximation Algorithm: Iterative Rounding Lecture 15: March 9.
Online Algorithms for Network Design Adam Meyerson UCLA.
Single Sink Edge Installation Kunal Talwar UC Berkeley.
Robust Network Design with Exponential Scenarios By: Rohit Khandekar Guy Kortsarz Vahab Mirrokni Mohammad Salavatipour.
1 Traveling Salesman Problem (TSP) Given n £ n positive distance matrix (d ij ) find permutation  on {0,1,2,..,n-1} minimizing  i=0 n-1 d  (i),  (i+1.
An Approximation Algorithm for Requirement cut on graphs Viswanath Nagarajan Joint work with R. Ravi.
Augmenting Paths, Witnesses and Improved Approximations for Bounded Degree MSTs K. Chaudhuri, S. Rao, S. Riesenfeld, K. Talwar UC Berkeley.
Job Scheduling Lecture 19: March 19. Job Scheduling: Unrelated Multiple Machines There are n jobs, each job has: a processing time p(i,j) (the time to.
On Stochastic Minimum Spanning Trees Kedar Dhamdhere Computer Science Department Joint work with: Mohit Singh, R. Ravi (IPCO 05)
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Randomness in Computation and Communication Part 1: Randomized algorithms Lap Chi Lau CSE CUHK.
1 CSE 417: Algorithms and Computational Complexity Winter 2001 Lecture 11 Instructor: Paul Beame.
Two Discrete Optimization Problems Problem #2: The Minimum Cost Spanning Tree Problem.
(work appeared in SODA 10’) Yuk Hei Chan (Tom)
Packing Element-Disjoint Steiner Trees Mohammad R. Salavatipour Department of Computing Science University of Alberta Joint with Joseph Cheriyan Department.
1 Spanning Tree Polytope x1 x2 x3 Lecture 11: Feb 21.
Approximation Algorithms: Bristol Summer School 2008 Seffi Naor Computer Science Dept. Technion Haifa, Israel TexPoint fonts used in EMF. Read the TexPoint.
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.
V. V. Vazirani. Approximation Algorithms Chapters 3 & 22
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Distributed Coloring Discrete Mathematics and Algorithms Seminar Melih Onus November
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.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
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.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
C&O 355 Mathematical Programming Fall 2010 Lecture 18 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
1 On Completing Latin Squares Iman Hajirasouliha Joint work with Hossein Jowhari, Ravi Kumar, and Ravi Sundaram.
Approximation Algorithms for NP-hard Combinatorial Problems Magnús M. Halldórsson Reykjavik University Local Search, Greedy and Partitioning
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Minimal Spanning Tree Problems in What is a minimal spanning tree An MST is a tree (set of edges) that connects all nodes in a graph, using.
Multicommodity flow, well-linked terminals and routing problems Chandra Chekuri Lucent Bell Labs Joint work with Sanjeev Khanna and Bruce Shepherd Mostly.
New algorithms for Disjoint Paths and Routing Problems
Lecture.6. Table of Contents Lp –rounding Dual Fitting LP-Duality.
Graph Algorithms Maximum Flow - Best algorithms [Adapted from R.Solis-Oba]
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
Iterative Rounding in Graph Connectivity Problems Kamal Jain ex- Georgia Techie Microsoft Research Some slides borrowed from Lap Chi Lau.
C&O 355 Lecture 19 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A.
Introduction to NP Instructor: Neelima Gupta 1.
Approximation Algorithms Duality My T. UF.
Approximation Algorithms based on linear programming.
5.6 Prefix codes and optimal tree Definition 31: Codes with this property which the bit string for a letter never occurs as the first part of the bit string.
New Algorithms for Disjoint Paths Problems Sanjeev Khanna University of Pennsylvania Joint work with Chandra Chekuri Bruce Shepherd.
Confidential & Proprietary – All Rights Reserved Internal Distribution, October Quality of Service in Multimedia Distribution G. Calinescu (Illinois.
Randomized Min-Cut Algorithm
The minimum cost flow problem
Greedy Algorithms / Minimum Spanning Tree Yin Tat Lee
Network Flow and Connectivity in Wireless Sensor Networks
Quality of Service in Multimedia Distribution
Graph Partitioning Problems
Chapter 23 Minimum Spanning Tree
EE5900 Advanced Embedded System For Smart Infrastructure
CSE 332: Minimum Spanning Trees
Minimum Spanning Trees
Presentation transcript:

On the Crossing Spanning Tree Vineet Goyal Joint work with Vittorio Bilo, R. Ravi and Mohit Singh

Problem Given G=(V,E) A Family of cuts C=(C 1,C 2,….,C m )

Problem Given G=(V,E) A Family of cuts C=(C 1,C 2,….,C m ) Find a spanning tree T minimizing the maximum crossing of any cut Crossing of a cut C is |C∩T| (i.e. number of edges of T in C)

Problem Given G=(V,E) A Family of cuts C=(C 1,C 2,….,C m ) Find a spanning tree T minimizing the maximum crossing of any cut Crossing of a cut C is |C∩T| (i.e. number of edges of T in C) Crossing of C1 and C3=3

Problem Given G=(V,E) A Family of cuts C=(C 1,C 2,….,C m ) Find a spanning tree T minimizing the maximum crossing of any cut Crossing of a cut C is |C∩T| (i.e. number of edges of T in C) Maximum Crossing =2

Motivation: MDST Generalization of the minimum degree spanning tree problem. Previous Work (Furer and Raghavachari ’94) –Obtain O(Opt + log n) using local search technique. –Also give an algorithm which returns a spanning tree of degree at most (Opt + 1)

Motivation:k-C1P k-Consecutive ones Property(k-C1P): Given a 0- 1 matrix, does there exist a permutation of rows such that each column has at most k blocks of r 1 r 2 r 3 r 3 r 2 r 4 r 5

Motivation:k-C1P Detecting k-C1P is NP-hard for k¸2. Finds applications in - IP Routing table minimization - Computational Biology

k-C1P and MCST Introduce a vertex for each row in the matrix. Introduce a cut for each column : 1 on one side and 0 on other side. k-C1P is equivalent to finding the minimum crossing Hamiltonian cycle r1r1 r2r2 r3r3 r4r4 r5r5

k-C1P and MCST A s-approximation for the MCST problem gives a 2s-approximation for the k-C1P problem.

Previous Work Minimum Crossing Spanning Tree (Greenberg and Istrail ‘95) –Give a solution of crossing O(r∙Opt+log m) using local search technique. –Running time: O(m log r ) m ! number of cuts. r ! an edge can occur in at most r cuts

Our Results We show that the MCST problem is NP-hard even for complete graphs. A Greedy Algorithm gives a tree of crossing O(rlogn∙OPT) where r is the maximum crossing of any edge. A Randomized Algorithm based on rounding flows gives a tree of crossing at most O(log n∙OPT+log m). n=|V| and m= number of cuts

Greedy Algorithm F=φ while F is not a tree 1. Include the edge joining two components of F which does not increase the maximum crossing. 2. If there is no such edge, then include any edge joining two components of F.

Greedy Algorithm (contd.) Claim : F has maximum crossing O(rlogn¢ OPT) at the end of greedy. –Suppose maximum crossing is l. Then, algorithm has l phases. –In each phase, crossing increases by one.

Greedy : Analysis Let k i = # of components at end of phase i m i = # of cuts at maximum crossing At the end of phase i every edge between the k i components crosses one of the m i cuts (at maximum crossing) OPT ¸ (k i -1)/m i

Greedy : Analysis Number of edges added in i th phase = k i-1 – k i Crossing of at least m i cuts got increased. Every edge increases crossing of at most r cuts. Thus, k i-1 – k i ¸ m i /r

Greedy : Analysis Number of edges added in i th phase = k i-1 – k i Crossing of at least m i cuts got increased. Every edge increases crossing of at most r cuts. Thus, k i-1 – k i ¸ m i /r OPT ¸ (k i -1)/m i

Greedy : Analysis Thus, k i-1 – k i ¸ m i /r ¸ (k i -1)/(r¢OPT) k i-1 ¸ k i (1+ 1/(2r¢ OPT)) ) n=k 0 ¸ (1+ 1/(2r¢ OPT)) l Thus, we have l=O(rlogn¢ OPT)

Flow based Algorithm Grow a forest in stages. In each stage : – Formulate a flow problem on the current forest. – Find an integral solution to the flow problem with low crossing. – Using the flow paths, join every component to some other component.

Formulating the flow problem Let the partial solution be forest F. Red Edges are in F

Formulating the flow problem Let the partial solution be forest F.

Formulating the flow problem Let the partial solution be forest F. Shrink each component of F to form a multi-graph.

Formulating the flow problem Let the partial solution be forest F. Shrink each component of F to form a multi-graph. Direct the graph by introducing two copies for each edge.

Formulating the flow problem Let the partial solution be forest F. Shrink each component of F to form a multi-graph. Direct the graph by introducing two copies for each edge. Introduce a sink s v for each vertex v and connect every other vertex to the sink.

Formulating the flow problem Let the partial solution be forest F. Shrink each component of F to form a multi-graph. Direct the graph by introducing two copies for each edge. Introduce a sink s v for each vertex v and connect every other vertex to the sink. Each vertex must send a unit flow to its sink.

Flow problem Find a concurrent flow with minimum crossing. min z s.t z ≥ ∑ eεc j x e 1≤j≤m(Crossing of cut) ∑ i f i e = x e eεE f i is unit flow from v i to s i.

Flow Solution Claim 1: LP optimum (z LP )≤ 2 OPT where OPT is the crossing of optimum tree Proof : Construct feasible solution from OPT tree

Flow Solution Claim 1: z LP ≤ 2 OPT where OPT is the crossing of optimum tree Proof:

Flow Solution Claim 1: z LP ≤ 2 OPT where OPT is the crossing of optimum tree Proof: Tree Pairing Lemma[AKR] In any tree, there exists a pairing of nodes with edge disjoint paths.

Flow Solution Claim 1: z LP ≤ 2 OPT where OPT is the crossing of optimum tree Proof: Tree Pairing Lemma[AKR] In any tree, there exists a pairing of nodes with edge disjoint paths.

Flow Paths Claim 2: Each flow path in the optimal solution is of length 2.

Flow Paths Claim 2: Each flow path in the optimal solution is of length 2.

Rounding the LP For each component, pick each flow edge with the probability equal to the flow.

LP stages Claim 3: There are at most log n stages. Proof: In every stage, we halve the number of components.

Rounding : Analysis Let us fix a cut C Define a random a variable for each flow, indicating whether it crosses C. Pr(Y f i =1)=Pr(flow f i is directed on some edge in C) The family of random variables {Y f i } are independent Bernoulli variables

Rounding : Analysis Crossing of a cut C in one stage· ∑ i Y f i Expected Crossing of C in one stage · ∑ i E(Y f i )

Rounding : Analysis Crossing of a cut C in one stage· ∑ i Y f i Expected Crossing of C in one stage · ∑ i E(Y f i ) ∑ i E(Y f i ) ≤ ∑ eεc x e · z LP ≤ 2OPT

Rounding : Analysis Crossing of a cut C in one stage· ∑ i Y f i Expected Crossing of C in one stage · ∑ i E(Y f i ) ∑ i E(Y f i ) ≤ ∑ eεc x e · z LP ≤ 2OPT Expected Crossing of C in log n rounds ≤ 2log n·OPT

Rounding : Analysis Crossing of a cut C after logn rounds is sum of independent bernoulli variables. Let X C = crossing of cut C after logn rounds Using Chernoff bounds, Pr( |X C -E[X C ]| > c(logn¢OPT+logm) ) · 1/(mn) c’

Result Using union bound over m cuts,we get that whp Max crossing of any cut is O(logn¢OPT+logm)

Conclusion and Open Problems Greedy : O(rlogn¢OPT) Flow based Rounding : O(logn¢OPT+logm) Is there a combinatorial algorithm which get rids of the r factor? Is it possible to obtain O(OPT+log mn)?