Augmenting Paths, Witnesses and Improved Approximations for Bounded Degree MSTs

1 / 66

# Augmenting Paths, Witnesses and Improved Approximations for Bounded Degree MSTs - PowerPoint PPT Presentation

Augmenting Paths, Witnesses and Improved Approximations for Bounded Degree MSTs. K. Chaudhuri , S. Rao, S. Riesenfeld, K. Talwar UC Berkeley. BDMST : The Problem. Given: Graph: G Edge costs: c e Degree bound : D Find a minimum cost tree that respects the degree bounds. 2. 2. 1. 1. 1.

I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.

## Augmenting Paths, Witnesses and Improved Approximations for Bounded Degree MSTs

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
1. Augmenting Paths, Witnesses and Improved Approximations for Bounded Degree MSTs K. Chaudhuri, S. Rao, S. Riesenfeld, K. Talwar UC Berkeley

2. BDMST : The Problem • Given: • Graph: G • Edge costs: ce • Degree bound : D • Find a minimum cost tree that respects the degree bounds 2 2 1 1 1 2 2 1 1 1 2 2 MST BDMST, D = 3

3. BDMST : The Problem • Generalization of Minimum Cost Hamiltonian Path • For general weighted graphs, • No Polynomial-Factor Approximation unless P=NP • Our Work: • Relax degree bounds to obtain an approximation in cost

4. Previous Results • [FR94] Unweighted graphs • Additive 1 approximation to degree • [KR00] Weighted graphs, uniform degree bounds • deg(v) · b(1+) D + logb n • cost(T) · (1 + 1/) OPT • [KR03] Non-uniform degree bounds • [CRRT] Quasipolynomial Running Time • deg(v) · D + log n / log log n • cost(T) · OPT • [CRRT]Polynomial Running Time • deg(v) · bD + logb n • cost(T) · OPT

5. LP Formulation • Primal: min e ce xe e 2(v) xe· D x 2 SPG • Dual: maxv minT (C(T) + vv(degT(v) - D)) MST in cost function cuv + u + v v : Penalties on high-degree vertices

6. An Algorithm • Solve Dual LP • Optimal Penalties v • Pick MST in cost function (cuv + u + v) with: • Low maximum degree • Low actual cost

7. An Algorithm • Solve Dual LP • Optimal Penalties v • Pick MST in cost function (cuv + u + v) with: • Maximum degree : D • Real cost : OPT

8. An Algorithm • Solve Dual LP • Optimal Penalties v • Pick MST in cost function (cuv + u + v) with: • Maximum degree : D + O(log n/loglog n) • Real cost : OPT

9. Picking the Right Tree • T is MST in cost function cuv + u + v with: • Max degree : D + O(log n/loglogn) • For every vertex v with v > 0, Min degree : D – O(log n/loglog n) • Theorem: T has • Max degree: D + O(log n/log log n) • Actual cost : OPT

10. MSTDB Problem • Given: • Graph: G • Edge costs: ce • Degree upper bound: DH • A set of nodes: L • Degree lower bound on L: DL • Find a MST with • Max degree : DH • Min degree of L : DL • Or prove that no such tree exists 2 1 1 1 1 2 1 1 1 1 1 2 DH = 3, DL = 2, L = O

11. Previous Work • [FR94] Unweighted graphs, degree upper bounds • Additive 1 approximation • [F93] Degree upper bounds • Finds an MST with max degree bD + logb n • Or proves no MST with max degree D exists

12. Our Guarantees • Given: • Graph: G • Edge costs: ce • Degree upper bound: DH • A set of nodes: L • Degree lower bound on L: DL • We can find an MST with: • Max Degree: DH + O(log n/log log n) • Min Degree of L : DL – O(log n/log log n) • Or prove that no MST with given bounds exist

13. Final BDMST Algorithm • Solve Dual LP • Optimal Penalties v • Run our MSTDB algorithm : • Cost function : cuv + u + v • Degree upper bound : D • L: Set of nodes with v > 0 • Degree lower bound : D • Theorem: Failure contradicts optimality of v

14. MSTDB Algorithm Outline • Start with arbitrary MST T0 • Phase i: Ti-1 : use Augmenting Paths to • Reduce the degree of a “high degree” node • Or increase the degree of a “low degree” node • Success: • New tree Ti • Failure: • Witness for either DH = dmax(Ti-1) – O(log n/log log n) or DL = dmin(L) + O(log n/log log n)

15. 1 B A 1 1 1 D 2 C Useful Edges and Witness Witness: Structure to show a lower(upper) bound on the degree of any MST • Useful edge: • Occurs in some MST of G e f

16. High Degree Witness • High degree Witness: • Center Set : W • Clusters: C1, .., Ck • No useful intercluster edge W In any MST: Max Degree (W) ¸d (|W| + k – 1) / |W| e

17. Feasible Swaps • Feasible swap (e,f,T): • Tree edge e • Non-tree edge f • Unique cycle in T [ f contains e • c(e) = c(f) • A feasible swap (e,f,T): • Produces an equal cost tree • Reduces degree of endpoints of e 1 B A 1 1 1 e f D 2 C

18. Augmenting Paths • Algorithm: • Construct an augmenting path of feasible swaps

19. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge W 2 2 1 1 Ci 1 1

20. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge W 2 2 1 1 Ci 1 1

21. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge W 2 2 1 1 Ci 1 1

22. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge W 2 2 1 1 Ci 1 1

23. Algorithm Outline • Start with: • Center Set : W0 • Clusters : connected through W0 • In step i: • Find an augmenting path of feasible swaps to improve some v in Wi • Failure: Center Set and clusters form a high degree witness

24. Conclusion • Improved approximation for: • BDMST (Bounded Degree MST) • MSTDB (MST with Degree Bounds) • New Techniques: • Improved cost bounding techniques based on Edmond’s matching algorithm • Improved degree improvement techniques based on augmenting paths • Open Question: • Can degree bounds be relaxed to additive constant? • [FR94] Gives additive 1 for unweighted graphs

25. Questions?

26. Reduce-Max-Degree Initialize: • Let • Sd = nodes with degree d or more • Pick d : • |Sd-1| · (log n/log log n) |Sd| • Center Set : • W0 = Sd[ Sd-1 • Initial clusters: • Components when W0 is deleted from T

27. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge 1 1 1 1 W 2 2 Ci

28. Reduce-Max-Degree • For each useful intercluster edge f : • Find feasible swap (e,f,T) that improves v 2 Wt • Remove v from Wt • Form new cluster with: • e • f • v • children clusters of v

29. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge 1 1 1 1 2 2

30. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge 1 1 2 2 1 1

31. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge 1 1 1 1 2 2

32. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge 1 1 1 1 2 2

33. Reduce-Max-Degree Termination Conditions: • Degree d vertex v removed from Wt: • Can find a sequence of swaps to improve v • Number of degree d vertices decreases by one

34. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge 1 1 1 1 2 2

35. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge 1 1 1 1 2 2

36. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge 1 1 2 2 1 1

37. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge 1 1 2 2 1 1

38. Degree d – 1 node Degree d node Tree edge Low degree node Useful nontree edge 1 1 2 2 1 1

39. Reduce-Max-Degree Termination Conditions: • Degree d vertex v removed from Wt: • Can find a set of swaps which improve v • Number of degree d vertices decreases by one • No feasible intercluster edges: • Can find witness to show that max degree of any MST is at least d – O(log n/log log n)

40. Obtaining a Witness • Center Set : Wt • |Wt| · |Sd| • Clusters: • From deleting Wt: ¸ (d-2)|Wt| • Lost from merges: · |Sd-1| • Total: ¸ (d-2)|Wt| - |Sd-1| • Witness Quality: • At least (d-2) - O(log n/log log n)

41. Summary • Improved approximation for: • BDMST (Bounded Degree MST) • MSTDB (MST with Degree Bounds) • New Techniques: • Improved cost bounding techniques based on Edmond’s matching algorithm • Improved degree improvement techniques based on augmenting paths • Open Question: • Can degree bounds be relaxed to additive constant? • [FR94] Gives additive 1 for unweighted graphs

42. A Better Algorithm • Suppose given DH, we can find an MST with : • Max Degree : 5DH + 2 • Or show there is no MST with max degree DH • BDMST Guarantees: • deg(v) · 10(1+)D + O(1) • cost(T) · (1+1/) OPT • MSTDB Algorithm uses Push-Relabel

43. Push Relabel[G85, GT86] • A node has: • A Label • An Excess • Push: • Push flow from a higher to a lower label along an edge • Relabel: • Raise the label of a node with no edges to a lower label • Feasibility: • Node at label L has edges to nodes at label L-1 or above

44. Push Relabel for Max Flow • Initially: • Source : 1 excess • Sink : 1 deficit • All other nodes: 0 excess • Push and Relabel until: • No node has any excess • Or there is a label with no nodes A

45. Push-Relabel for MSTDB • Works for MSTDB with degree upper bounds only • Each node has: • A label • An excess/deficit degree • Excess and Deficits: • deg(v) ¸ d : (deg(v) – d + 1) units excess • deg(v) < d-1: (d – 1 – deg(v)) units deficit

46. Push-Relabel for MSTDB • Push: • A node can transfer degree to a node at a lower label • Relabel: • Raise the label of a node which cannot transfer degree to any node at a lower level • Feasibility: • A node at label L can be improved only by nodes at label L-1 or higher

47. Algorithm Outline • Sparse Label: • Has less than 4 times as many nodes as the number of nodes in all the labels above it • Algorithm: Push and relabel until: • Either no nodes have any excess • Or there is a sparse label • Sparse Label ! Witness • Average degree : d/5 - 2

48. Publications & Manuscripts: • [CRRT] Improved Approximation Algorithms for Degree Bounded MSTs using Push-Relabel • [CRRT] What would Edmonds do? Augmenting Paths and Witnesses for Degree Bounded MSTs • [CCWBPK04] Selfish Caching in Distributed Systems : A Game Theoretic Approach, PODC 2004 • [CGRT03] Paths, Trees and Minimum Latency Tours, FOCS 2003