Iterative Rounding in Graph Connectivity Problems Kamal Jain ex- Georgia Techie Microsoft Research Some slides borrowed from Lap Chi Lau.

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.
Min-Max Relations, Hall’s Theorem, and Matching-Algorithms Graphs & Algorithms Lecture 5 TexPoint fonts used in EMF. Read the TexPoint manual before you.
C&O 355 Lecture 23 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.
1 Matching Polytope x1 x2 x3 Lecture 12: Feb 22 x1 x2 x3.
GRAPH BALANCING. Scheduling on Unrelated Machines J1 J2 J3 J4 J5 M1 M2 M3.
Bipartite Matching, Extremal Problems, Matrix Tree Theorem.
Approximation Algorithms Chapter 14: Rounding Applied to Set Cover.
C&O 355 Mathematical Programming Fall 2010 Lecture 22 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
1 NP-completeness Lecture 2: Jan P The class of problems that can be solved in polynomial time. e.g. gcd, shortest path, prime, etc. There are many.
Combinatorial Algorithms
Introduction to Approximation Algorithms Lecture 12: Mar 1.
Algorithms for Max-min Optimization
Approximation Algorithms: Combinatorial Approaches Lecture 13: March 2.
Totally Unimodular Matrices Lecture 11: Feb 23 Simplex Algorithm Elliposid Algorithm.
Randomized Algorithms and Randomized Rounding Lecture 21: April 13 G n 2 leaves
Primal Dual Method Lecture 20: March 28 primaldual restricted primal restricted dual y z found x, succeed! Construct a better dual.
Approximation Algorithm: Iterative Rounding Lecture 15: March 9.
Graph Orientations and Submodular Flows Lecture 6: Jan 26.
A general approximation technique for constrained forest problems Michael X. Goemans & David P. Williamson Presented by: Yonatan Elhanani & Yuval Cohen.
Approximation Algorithms
An Approximation Algorithm for Requirement cut on graphs Viswanath Nagarajan Joint work with R. Ravi.
Is the following graph Hamiltonian- connected from vertex v? a). Yes b). No c). I have absolutely no idea v.
Matching Polytope, Stable Matching Polytope Lecture 8: Feb 2 x1 x2 x3 x1 x2 x3.
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.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
1 Submodular Functions in Combintorial Optimization Lecture 6: Jan 26 Lecture 8: Feb 1.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
Randomness in Computation and Communication Part 1: Randomized algorithms Lap Chi Lau CSE CUHK.
Approximating Node-Weighted Survivable Networks Zeev Nutov The Open University of Israel.
1 Introduction to Approximation Algorithms Lecture 15: Mar 5.
(work appeared in SODA 10’) Yuk Hei Chan (Tom)
Approximation Algorithms Motivation and Definitions TSP Vertex Cover Scheduling.
Hardness Results for Problems
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.
V. V. Vazirani. Approximation Algorithms Chapters 3 & 22
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.
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 Algorithms Department of Mathematics and Computer Science Drexel University.
T HE INTERESTING BEHAVIOR OF THE SOURCE LOCATION PROBLEM G. Kortsarz, Rutgers Camden.
Approximation Algorithms
1 Combinatorial Algorithms Parametric Pruning. 2 Metric k-center Given a complete undirected graph G = (V, E) with nonnegative edge costs satisfying the.
EMIS 8374 Optimal Trees updated 25 April slide 1 Minimum Spanning Tree (MST) Input –A (simple) graph G = (V,E) –Edge cost c ij for each edge e 
EMIS 8373: Integer Programming Combinatorial Relaxations and Duals Updated 8 February 2005.
Implicit Hitting Set Problems Richard M. Karp Erick Moreno Centeno DIMACS 20 th Anniversary.
Variations of the Prize- Collecting Steiner Tree Problem Olena Chapovska and Abraham P. Punnen Networks 2006 Reporter: Cheng-Chung Li 2006/08/28.
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
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.
TU/e Algorithms (2IL15) – Lecture 12 1 Linear Programming.
Approximation Algorithms based on linear programming.
TU/e Algorithms (2IL15) – Lecture 12 1 Linear Programming.
Introduction to Approximation Algorithms
Lap Chi Lau we will only use slides 4 to 19
Topics in Algorithms Lap Chi Lau.
Iterative Methods in Combinatorial Optimization
A note on the Survivable Network Design Problem
1.3 Modeling with exponentially many constr.
Bart M. P. Jansen June 3rd 2016, Algorithms for Optimization Problems
Analysis of Algorithms
CS 583 Analysis of Algorithms
Problem Solving 4.
Lecture 19 Linear Program
Presentation transcript:

Iterative Rounding in Graph Connectivity Problems Kamal Jain ex- Georgia Techie Microsoft Research Some slides borrowed from Lap Chi Lau.

The Main Object A graph G = (V,E); A connectivity requirement r(u,v) for each pair of vertices u,v. Steiner Network A subgraph H of G which has r(u,v) disjoint paths between each pair u,v. undirected or directed edge or vertex

Examples of Steiner Network Spanning tree : r(u,v) = 1 for all pairs of vertices. Steiner tree : r(u,v) = 1 for all pair of required vertices. Steiner forest : r(s i,t i ) = 1 for all source sink pairs. k-edge-connected subgraph : r(u,v) = k for all pairs of vertices.

Survivable Network Design Survivable network design : find a “good” Steiner network Minimum cost Steiner network: Given a cost c(e) on each edge, find a Steiner network with minimum total cost. Minimum degree Steiner network: Find a Steiner network with minimum maximum degree. e.g. minimum spanning tree, minimum Steiner tree e.g. Hamiltonian path, Hamiltonian cycle

Three Kinds of Problems Only the first objective: Minimize the cost of the edges. Only the second objective: Minimize the maximum degree. Both objectives: Minimize the cost of the edges as well as the maximum degree.

Minimum cost Steiner Network Given A an undirected graph G = (V,E), Cost c(e) on edges, and A connectivity requirement r(u,v) for each pair of vertices u,v. Feasibility A subgraph H of G which has r(u,v) edge disjoint paths between each pair u,v. Objective Minimize the cost of H. Result: Factor 2 approximation algorithm.

Linear Programming Relaxation S uv Write f(S) := max{ r(u,v) | S separates u and v}. At least r(u,v) edges crossing S

Linear Programming Solver Suitable Rounding Procedure Problem Instance Optimal Fractional Solution Integer Solution Linear Programming Solver Problem Instance Optimal Fractional Solution Part Integer Good Part Too much Fractional Residual Problem Typical Rounding: Iterative Rounding:

Linear Programming Relaxation Theorem [J]. Every basic solution has an edge with value at least 1/2 A half edge

Iterative Rounding Initialization: H =, f’ = f. While f’ ≠ 0 do: oFind a basic optimal solution, x, of the LP with function f’. oAdd an edge with x(e) ≥ 1/2 into H. oUpdate f’: for every set S, set Output H. By previous Theorem 0.5 e f’(S)=2 f’(S)=1 Corollary. This is a 2-approximation algorithm for the minimum cost Steiner network problem. The residual problem is feasible.

A Proof Sketch An edge of 0, delete it. An edge of 1, pick it. Tight inequalities all come from the connectivity requirements. A basic solution is the unique solution of m linearly independent “tight” constraints, where m is the number of variables in the LP.

A Proof Sketch Uncrossing technique : uncross “intersecting” sets A B A[BA[B AÅBAÅB Each tight constraint corresponds to a set of vertices in the graph.

A Proof Sketch If there are no half-edges, derive a contradiction by a counting argument. no intersecting tight sets => number of linearly independent tight constraints is small no half-edges => number of edges is large In a basic solution, number of linearly independent tight constraints = number of edges Laminar family 1/3 Contradiction!

Iterative Rounding Theorem [J]. Iterative rounding gives factor 2 approximation algorithm. a b Cost ≤ 2a ≤b Re-Optimize ≤2a ≤2b Integer Theorem Induction

One shot rounding is hard e.g., Petersen Graph Use every edge to the extent of 1/3.

Basic Feasible Solution

Tight sets

The Problem Statement with both objectives Goal: to find a good Steiner network w.r.t. to both criterion Minimum cost Steiner network with degree constraints: Given a cost c(e) on each edge, find a Steiner network with minimum total cost, so that every vertex has degree at most B. Without degree bounds, this is the minimum cost Steiner network problem. Without cost on edges, this is the minimum degree Steiner network problem.

Ideal Approximation Minimum cost Steiner network with degree constraints: Given a cost c(e) on each edge, find a Steiner network with minimum total cost, so that every vertex has degree at most B. Let OPT(B) be the value of an optimal solution to this problem. Ideally, we would like to return a solution so that: SOL(B) ≤ c·OPT(B) However, it cannot be done for any polynomial factor, even for B=2, since this generalizes the minimum cost Hamiltonian path problem.

Bicriteria Approximation Algorithms This implies a c-approximation for minimum cost Steiner network, and a f(B)-approximation for minimum degree Steiner network. Minimum cost Steiner network with degree constraints: Given a cost c(e) on each edge, find a Steiner network with minimum total cost, so that every vertex has degree at most B. Let OPT(B) be the value of an optimal solution to this problem. A (c,f(B))-approximation algorithm if it returns a solution with SOL(f(B)) ≤ c·OPT(B) maximum degree f(B)e.g. f(B)=2B+10

Results without and with Iterative Rounding Minimum costMinimum degreeBicriteria Spanning tree1B+1 [FR](1, B+2) [G] Steiner tree1.55 [RZ]B+1 [FR](O(logn),O(logn)B) Steiner forest2 [AKR]?? k-ec subgraph2 [KV]O(log n)·B [FMZ]? Steiner network2 [J]?? Main Theorem [LNSS]: There is a (2,2B+3)-approximation algorithm for the minimum Steiner network problem with degree constraints. Corollary : There is a constant factor approximation algorithm for the Minimum Degree Steiner Network problem. (2,2B+3) 2B+3 (1, B+1)

Linear Programming Relaxation S uv Write f(S) := max{ r(u,v) | S separates u and v}. At least r(u,v) edges crossing S Nonuniform degree bounds

Linear Programming Relaxation Nonuniform degree bounds Theorem [J]. Every basic solution has an edge with value at least 1/2 A half edge

Iterative Rounding Initialization: H =, f’ = f. While f’ ≠ 0 do: oFind a basic optimal solution, x, of the LP with function f’. oAdd an edge with x(e) ≥ 1/2 into H. oUpdate f’: for every set S, set Output H. By previous Theorem 0.5 e f’(S)=2 f’(S)=1 Corollary. This is a 2-approximation algorithm for the minimum cost Steiner network problem. The residual problem is feasible.

First Try Observation : Half edges are good for degree bounds as well. Initialization: H =, f’ = f. While f’ ≠ 0 do: oFind a basic optimal solution, x, of the LP with function f’. oAdd an edge with x(e) ≥ 1/2 into H. oUpdate f’: for every set S, set o Update degree bounds : Output H. set B v :=B v -1 if e is incident on v. The residual problem may not be feasible! 0.5 e B v =2 B v =1

First Try Observation : Half edges are good for degree bounds as well. Initialization: H =, f’ = f. While f’ ≠ 0 do: oFind a basic optimal solution, x, of the LP with function f’. oAdd an edge with x(e) ≥ 1/2 into H. oUpdate f’: for every set S, set o Update degree bounds : Output H. set B v :=B v -0.5 if e is incident on v. The residual problem is feasible. 0.5 e B v =2 B v =1.5 Problem: A half edge may not exist!

A Proof Sketch An edge of 0, delete it. An edge of 1, pick it. Tight inequalities all come from the connectivity requirements. A basic solution is the unique solution of m linearly independent “tight” constraints, where m is the number of variables in the LP.

A Proof Sketch Uncrossing technique : uncross “intersecting” sets A B A[BA[B AÅBAÅB Each tight constraint corresponds to a set of vertices in the graph.

A Proof Sketch If there are no half-edges, derive a contradiction by a counting argument. no intersecting tight sets => number of linearly independent tight constraints is small no half-edges => number of edges is large In a basic solution, number of linearly independent tight constraints = number of edges Laminar family 1/3 Contradiction!

The Difference But integrality is important in the counting argument. Uncrossing would just work fine. fractional values B v = Back to our current problem. Why a half edge may not exist with fractional degree constraints?

New Idea Idea: Relax the problem by removing the degree constraint for v if v is of “low” degree. Intuition: Removing a constraint decreases the number of linearly independent tight constraint, and makes the counting argument work. Reason: Only violate the degree bound by an additive constant. B v = Lemma [LNSS]: If every vertex is of degree 5 when its degree constraint is present, then there is a half edge in a basic solution.

Iterative Relaxation Initialization: H =, f’ = f. While f’ ≠ 0 do: oFind a basic optimal solution, x, of the LP with function f’. o (Rounding) Add an edge with x(e) ≥ 1/2 into H. o (Relaxing) Remove the degree constraint of v if v has degree ≤ 4 oUpdate f’: for every set S, set o Update degree bounds: set Bv:=Bv-0.5 if e is incident at v. Output H. An additive constant +3 A multiplicative factor 2 Main Theorem [LNSS]: There is a (2,2B+3)-approximation algorithm for the minimum Steiner network problem with degree constraints.

Concluding Remarks [LS] There is a (1, B+1)-approximation algorithm for degree bounded minimum spanning tree problem. There is a (2, B+9)-approximation algorithm for the minimum Steiner forest problem with degree constraints. There is a (2, B + 6r max +3)-approximation algorithm for the degree bounded minimum Steiner network problem. Main Theorem [LNSS]: There is a (2,2B+3)-approximation algorithm for the minimum Steiner network problem with degree constraints. Question : Is there an additive approximation for this problem?

Concluding Remarks The iterative relaxation method provides a unifying algorithmic framework for many network design problems. And even for many polynomial time solvable problems. This method can be applied to other approximation algorithms. e.g. prize collecting Steiner trees, multi-criteria spanning trees, partial covering problem, degree-constrained graph orientations, etc. e.g. matchings, matroid intersection, submodular flows, Frank-Tardos, etc. A course is prepared by Mohit Singh on the topic.

A big thanks!