Approximation Algorithms for Min-cost Chain-Constrained Spanning Trees

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.
Submodular Set Function Maximization via the Multilinear Relaxation & Dependent Rounding Chandra Chekuri Univ. of Illinois, Urbana-Champaign.
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.
Approximation Algorithms Chapter 14: Rounding Applied to Set Cover.
C&O 355 Mathematical Programming Fall 2010 Lecture 21 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A.
Combinatorial Algorithms
The Stackelberg Minimum Spanning Tree Game Jean Cardinal · Erik D. Demaine · Samuel Fiorini · Gwenaël Joret · Stefan Langerman · Ilan Newman · OrenWeimann.
Instructor Neelima Gupta Table of Contents Lp –rounding Dual Fitting LP-Duality.
Interval packing problem Multicommodity demand flow in a line Jian Li Sep
Semidefinite Programming
Approximation Algorithm: Iterative Rounding Lecture 15: March 9.
Computational Methods for Management and Economics Carla Gomes
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.
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.
CISS Princeton, March Optimization via Communication Networks Matthew Andrews Alcatel-Lucent Bell Labs.
1 Combinatorial Dominance Analysis Keywords: Combinatorial Optimization (CO) Approximation Algorithms (AA) Approximation Ratio (a.r) Combinatorial Dominance.
Distributed Combinatorial Optimization
(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.
Dana Moshkovitz, MIT Joint work with Subhash Khot, NYU.
LP-based Algorithms for Capacitated Facility Location Chaitanya Swamy Joint work with Retsef Levi and David Shmoys Cornell University.
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.
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.
Batch Scheduling of Conflicting Jobs Hadas Shachnai The Technion Based on joint papers with L. Epstein, M. M. Halldórsson and A. Levin.
Approximation Algorithms for Prize-Collecting Forest Problems with Submodular Penalty Functions Chaitanya Swamy University of Waterloo Joint work with.
Chapter 2. Optimal Trees and Paths Combinatorial Optimization
Lecture.6. Table of Contents Lp –rounding Dual Fitting LP-Duality.
Iterative Rounding in Graph Connectivity Problems Kamal Jain ex- Georgia Techie Microsoft Research Some slides borrowed from Lap Chi Lau.
Approximation Algorithms Duality My T. UF.
Approximation Algorithms based on linear programming.
Lap Chi Lau we will only use slides 4 to 19
Chap 10. Sensitivity Analysis
Topics in Algorithms Lap Chi Lau.
The minimum cost flow problem
Chapter 5. Optimal Matchings
Approximating k-route cuts
Iterative Methods in Combinatorial Optimization
1.3 Modeling with exponentially many constr.
Approximation Algorithms for TSP
Framework for the Secretary Problem on the Intersection of Matroids
Chap 9. General LP problems: Duality and Infeasibility
SOS is not obviously automatizable,
Chapter 6. Large Scale Optimization
Analysis of Algorithms
Graph Partitioning Problems
Linear Programming and Approximation
Chaitanya Swamy University of Waterloo
Chapter 6. Large Scale Optimization
Chaitanya Swamy University of Waterloo
András Sebő and Anke van Zuylen
1.3 Modeling with exponentially many constr.
Chapter 5. The Duality Theorem
Integer Programming (정수계획법)
Lecture 14 Shortest Path (cont’d) Minimum Spanning Tree
Topics in Algorithms 2005 Max Cuts
BASIC FEASIBLE SOLUTIONS
Lecture 13 Shortest Path (cont’d) Minimum Spanning Tree
1.2 Guidelines for strong formulations
Chapter 6. Large Scale Optimization
1.2 Guidelines for strong formulations
Presentation transcript:

Approximation Algorithms for Min-cost Chain-Constrained Spanning Trees Chaitanya Swamy University of Waterloo Joint work with Andre Linhares

RECALL: MST problem G=(V, E) n=|V|, m=|E| edge costs {ce ≥ 0} c(T) MST problem: find spanning tree T to minimize ∑eT ce

RECALL: MST problem G=(V, E) n=|V|, m=|E| edge costs {ce ≥ 0} c(T) MST problem: find spanning tree T to minimize ∑eT ce Well-understood: various polynomial time algorithms, nice polyhedral characterization Interested in constrained MST problems: find a min-cost spanning tree satisfying additional packing constraints

Constrained MST problems Will focus on degree constraints (in various flavors) Min {c(T): T is spanning tree, degT(v) ≤ bv for all v} Degree-bounded MST: NP-hard to satisfy degree-bounds exactly Can efficiently deduce infeasibility Or find T with c(T) ≤ OPT, And (Goemans06) degT(v) ≤ bv+2 v (LP rounding using matroid inters’n.) (Singh-Lau07) degT(v) ≤ bv+1 v (iterative rounding + relaxation) Good understanding of how to handle node-degree constraints More generally, what about “degree” constraints on cuts? Min {c(T): T is spanning tree, degT(S) ≤ bS for all SC } This is the kind of problem that crops up in finding thin trees (C = 2V) no. of edges of T crossing S  V collection of node-sets

Constrained MST (contd.) No known algorithm that: if problem is feasible, finds T with c(T) = O(OPT) And degT(S) = O(bS) SC (for any C where edges participate in non-constant # of degree constraints) What about “degree” constraints on cuts? Min {c(T): T is spanning tree, degT(S) ≤ bS for all SC } Very limited understanding: don’t know how to effectively leverage techniques used to handle node-degrees Can determine infeasibility Or find T with c(T) ≤ OPT, And (BKN08) degT(S) ≤ bS+r-1 SC r = maxe (# of degree constr. containing e) (CVZ10, AGMOS10) degT(S) ≤ min {O( )bS , (1+)bS + O( )} SC (BKKNP10) degT(S) ≤ bS + O(log n) SC if C is laminar If C is a nested collection of sets (chain), then (OZ13) show: one can determine infeasibility Or find T with degT(S) = O(bS) SC But: there is no bound on c(T) Our result: Give an algorithm providing the above guarantees when C is a chain log |C| log log |C| log |C| e S, TC, ST= or S  T or T  S

Chain-constrained spanning trees G=(V, E), edge costs {ce} Nested family (chain) of sets C: S1  S2  …  Sk S1

Chain-constrained spanning trees G=(V, E), edge costs {ce} Nested family (chain) of sets C: S1  S2  …  Sk Degree bounds {bS }SC S1 1 1 2 2 Chain-constrained spanning tree problem: Min {c(T): T spanning tree, degT(S) ≤ bS for all SC }

Chain-constrained spanning trees G=(V, E), edge costs {ce} Nested family (chain) of sets C: S1  S2  …  Sk Degree bounds {bS }SC S1 1 1 2 2 Chain-constrained spanning tree problem: Min {c(T): T spanning tree, degT(S) ≤ bS for all SC } Our result: Polytime algorithm that detects infeasibility Or returns T with c(T) = O(OPT) And degT(S) = O(bS) SC an (O(1), O(1))-approximation

Our results Devise (O(1), O(1))-approximation algorithm for min-cost chain-constrained spanning tree (CCST) First algorithm to give O(1) approx. to Both cost and degrees (OZ13: c s.t. NP-hard to obtain additive c. -approx.) Use Lagrangian-relaxation in a novel way to simplify cost structure and obtain collection of unweighted problems Technique applicable to a larger class of problems cost approximation degree-bound violation log n log log n

Our results (contd.) Consider the following general problem: Min cTx s.t. x is an extreme point of P, Ax ≤ b (QP) Generalizes min-cost chain-constrained spanning tree P: spanning-tree polytope, Ax ≤ b: degree constraints We show that, under certain assumptions: O(1)-approx. for  (O(1), O(1))-approx. for (QP) unweighted (QP) Two-sided O(1)-approx.  (1, O(1))-approx. for (QP) for unweighted (QP) returns extreme point x of P s.t. Ax ≤ O(1)b (no bound on cTx)

Our results (contd.) Consider the following general problem: Min cTx s.t. x is an extreme point of P, Ax ≤ b (QP) We show that, under certain assumptions: O(1)-approx. for  (O(1), O(1))-approx. for (QP) unweighted (QP) Two-sided O(1)-approx.  (1, O(1))-approx. for (QP) for unweighted (QP) Application to k-budgeted matroid basis: Obtain randomized nO(k1.5/e)-time (1,1+e,…,1+e)-approx. using randomized algorithm of (BN15) Get both improved approx. guarantee of (GRSZ14), and improved running time of (BN15)

LP-relaxation for min-cost CCST d(S) = boundary of set S = {(u,v)E: exactly one of u, v is in S} E(S) = edges with both ends in S = {(u,v)E: both u, v are in S} xe : indicates if edge e lies in the spanning tree For F  E, use x(F) to denote ∑eÎF xe Minimize ∑e ce xe (P) subject to, x(E(S)) ≤ |S|-1 for all ≠S  V x(E) = n-1 x ≥ 0 x(d(S)) ≤ bS for all SC. (*) Can efficiently compute optimal solution x* to (P) Let OPT = optimal value of (P) Call a vector x satisfying (*), a fractional spanning tree

Rounding algorithm ingredients Tight spanning tree constraints Let L = maximal laminar family of sets from {S: x*(E(S))=|S|-1} So L contains E, singletons {v} for all vV (Will always use L to denote set in L, S to denote set in C) Assume E is support of x* L sets in L Let GL = (V, EL) be graph obtained from (L, E(L)) by contracting children of L

Rounding algorithm ingredients Tight spanning tree constraints Let L = maximal laminar family of sets from {S: x*(E(S))=|S|-1} So L contains E, singletons {v} for all vV (Will always use L to denote set in L, S to denote set in C) Assume E is support of x* sets in L children of L L Let GL = (V, EL) be graph obtained from (L, E(L)) by contracting children of L

Rounding algorithm ingredients Tight spanning tree constraints Let L = maximal laminar family of sets from {S: x*(E(S))=|S|-1} So L contains E, singletons {v} for all vV (Will always use L to denote set in L, S to denote set in C) Assume E is support of x* sets in L children of L L Let GL = (V, EL) be graph obtained from (L, E(L)) by contracting children of L For all L, x*L := (x*e)eEL is a fractional spanning tree of GL Build spanning tree of G by combining spanning trees of all GL’s

Rounding algorithm ingredients Let L = maximal laminar family of sets from {S: x*(E(S))=|S|-1} sets in L children of L L Let GL = (V, EL) be graph obtained from (L, E(L)) by contracting children of L For all L, x*L := (x*e)eEL is a fractional spanning tree of GL Build spanning tree of G by combining spanning trees of GL’s Theorem (OZ13): For every L, can find spanning tree TL of GL s.t. if T = combination of TL’s, then degT(S) = O(x*(d(S))) SC. Based on modifying x*L to satisfy certain property (rainbow-freeness) Can  cost of fractional tree arbitrarily, unless we have uniform costs

Rounding algorithm ingredients Let L = maximal laminar family of sets from {S: x*(E(S))=|S|-1} sets in L children of L L Let GL = (V, EL) be graph obtained from (L, E(L)) by contracting children of L Theorem (OZ13): For every L, can find spanning tree TL of GL s.t. if T = combination of TL’s, then degT(S) = O(x*(d(S))) SC. Observation: OZ13 gives low-cost tree if, for all L, all edges in EL have equal cost (weaker than: all edges in E have equal costs) Key insight: Can equalize costs in EL by perturbing costs using optimal values of dual vars. corresponding to degree constr. But this also seems rather special !

Equalizing costs in EL Minimize ∑e ce xe (P) subject to, x(E(S)) ≤ |S|-1 for all ≠S  V x(E) = n-1 x ≥ 0 x(d(S)) ≤ bS for all SC. (ST) y*S ≥ 0: opt. value of dual variable Define cy*e = ce + ∑SC: ed(S) y*S Key Lemma: For all LL, for all e, fEL, we have cy*e = cy*f Proof: By complementary slackness, ce = (Dual contribution to e from (ST)) – ∑SC: ed(S) y*S cf = (Dual contribution to f from (ST)) – ∑SC: fd(S) y*S But e, f belong to same sets of laminar family L  incur same dual contribution from spanning tree constraints, so cy*e = cy*f .

Putting everything together Algorithm (almost) Solve (P) and its dual to get x* and (y*S) SC . Define laminar family L, use OZ13 to find spanning tree TL of GL for each LL; return T = combination of TL’s. Analysis: By OZ13, have degT(S) = O(x*(d(S)) = O(bS) Define cy*e = ce + ∑SC: ed(S) y*S for all e in support(x*). For every L, all edges in EL have same cy*-cost, so cy*(TL) = ∑eEL cy*e x*e  c(T) ≤ cy*(T) = ∑eE cy*e x*e = OPT + ∑SC bSy*S Problem: ∑SC bSy*S may be >> OPT Fix: Start with slightly inflated degree bounds (e.g., 2bS)

Putting everything together with degree bounds (2bS)SC Algorithm (almost) Solve (P) and its dual to get x* and (y*S) SC . Define laminar family L, use OZ13 to find spanning tree TL of GL for each LL; return T = combination of TL’s. Analysis: By OZ13, have degT(S) = O(x*(d(S)) = O(bS) O(2bS) Define cy*e = ce + ∑SC: ed(S) y*S for all e in support(x*). For every L, all edges in EL have same cy*-cost, so cy*(TL) = ∑eEL cy*e x*e  c(T) ≤ cy*(T) = ∑eE cy*e x*e = ∑eE ce x*e + 2∑SC bSy*S Problem: ∑SC bSy*S may be >> OPT Fix: Start with slightly inflated degree bounds (e.g., 2bS) ≤ OPT ≤ 2.OPT

General reduction from weighted to unweighted problems Min cTx s.t. x is an extreme point of P, Ax ≤ b (QP) How can we use an O(1)-approximation for unweighted (QP) to obtain approximation guarantees for (QP)? Key properties we utilize from OZ13-algorithm: approximation for unweighted problem preserves tight spanning-tree constraints Face-preserving rounding algorithm (FPRA): rounds xP to an extreme point x s.t. x minimal face of P containing x x  x b-approximation FPRA: also A x ≤ bb (no guarantee on cost)

Reductions to unweighted (QP) Theorem: Given a b-approximation FPRA for (QP), we can obtain a (l/(l-1), bl)-approximation for (QP) for any l > 1. Theorem: Suppose we have an FPRA for (QP) that rounds x to an extreme point x such that Ax/b ≤ A x ≤ bAx (2-sided multiplicative guarantee) Or Ax-D ≤ A x ≤ Ax+D (2-sided additive guarantee) Then, there exists a (1, O(1))-approximation for (QP).

Why is an FPRA useful? P x ∗ : optimal solution to Min cTx s.t. x P, Ax ≤ b y*: optimal dual values corresp. to side constraints Ax ≤ b x ∗ Then y* is an optimal solution to Lagrangian problem: Max { –bTy + [min (c + ATy)Tx s.t. x P ] : y ≥ 0 } And x* is optimal solution to inner problem: min (cy*)Tx s.t. x P cy

Why is an FPRA useful? P x ∗ : optimal solution to Min cTx s.t. x P, Ax ≤ b y*: optimal dual values corresp. to side constraints Ax ≤ b x ∗ Then y* is an optimal solution to Lagrangian problem: Max { –bTy + [min (c + ATy)Tx s.t. x P ] : y ≥ 0 } And x* is optimal solution to inner problem: min (cy*)Tx s.t. x P

Why is an FPRA useful? P x ∗ : optimal solution to Min cTx s.t. x P, Ax ≤ b y*: optimal dual values corresp. to side constraints Ax ≤ b x ∗ Then y* is an optimal solution to Lagrangian problem: Max { –bTy + [min (c + ATy)Tx s.t. x P ] : y ≥ 0 } And x* is optimal solution to inner problem: min (cy*)Tx s.t. x P all points on minimal face of P containing x* are optimal solutions to inner problem  essentially unweighted problem output of FPRA has optimal cy*-cost ( = (cy*)Tx* )

Summary and open questions Devise the first algorithm for chain-constrained spanning tree that gives O(1)-approx. to both cost and degrees Use Lagrangian relaxation in an unorthodox way to obtain a novel reduction to the unweighted setting Open questions What about the laminar case (i.e., C is laminar)? The reduction still works, so can focus on unweighted setting What about chain degree-constraints for other connectivity problems (e.g., Steiner forest etc.)? Other applications of our reduction? Iterative rounding/relaxation based algorithms? Not clear how to make this work even for chains.

Thank You