vertex sparsification and oblivious reductions
play

Vertex Sparsification and Oblivious Reductions Ankur Moitra, MIT - PowerPoint PPT Presentation

Jan 09, 2023 •34 likes •1.66k views

Vertex Sparsification and Oblivious Reductions Ankur Moitra, MIT September 14, 2010 Ankur Moitra (MIT) Sparsification September 14, 2010 Background The Minimum Bisection Problem Goal: Minimize cost of bisection Ankur Moitra (MIT)

  1. Background Highlights 1 Approximation Guarantees Independent of the Graph Size: We give the first poly (log k ) approximation algorithms (or competitive ratios) for: Steiner minimum bisection, requirement cut, l -multicut, oblivious 0-extension, and Steiner generalizations of oblivious routing, min-cut linear arrangement, Ankur Moitra (MIT) Sparsification September 14, 2010

  2. Background Highlights 1 Approximation Guarantees Independent of the Graph Size: We give the first poly (log k ) approximation algorithms (or competitive ratios) for: Steiner minimum bisection, requirement cut, l -multicut, oblivious 0-extension, and Steiner generalizations of oblivious routing, min-cut linear arrangement, and minimum linear arrangement Ankur Moitra (MIT) Sparsification September 14, 2010

  3. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c Ankur Moitra (MIT) Sparsification September 14, 2010

  4. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c Ankur Moitra (MIT) Sparsification September 14, 2010

  5. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c Ankur Moitra (MIT) Sparsification September 14, 2010

  6. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c h (a) = 5 K Ankur Moitra (MIT) Sparsification September 14, 2010

  7. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c h (a) = 5 K Ankur Moitra (MIT) Sparsification September 14, 2010

  8. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c h (a) = 5 K Ankur Moitra (MIT) Sparsification September 14, 2010

  9. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c Ankur Moitra (MIT) Sparsification September 14, 2010

  10. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c Ankur Moitra (MIT) Sparsification September 14, 2010

  11. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c Ankur Moitra (MIT) Sparsification September 14, 2010

  12. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c h (b) = 2 K Ankur Moitra (MIT) Sparsification September 14, 2010

  13. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c h (b) = 2 K Ankur Moitra (MIT) Sparsification September 14, 2010

  14. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c h (b) = 2 K Ankur Moitra (MIT) Sparsification September 14, 2010

  15. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c Ankur Moitra (MIT) Sparsification September 14, 2010

  16. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c Ankur Moitra (MIT) Sparsification September 14, 2010

  17. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c Ankur Moitra (MIT) Sparsification September 14, 2010

  18. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c h (ac) = 4 K Ankur Moitra (MIT) Sparsification September 14, 2010

  19. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c h (ac) = 4 K Ankur Moitra (MIT) Sparsification September 14, 2010

  20. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) a a b b c d d c h (ac) = 4 K Ankur Moitra (MIT) Sparsification September 14, 2010

  21. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c Ankur Moitra (MIT) Sparsification September 14, 2010

  22. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 K Ankur Moitra (MIT) Sparsification September 14, 2010

  23. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h’(a) = 6 K Ankur Moitra (MIT) Sparsification September 14, 2010

  24. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h’(a) = 6 K Ankur Moitra (MIT) Sparsification September 14, 2010

  25. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h’(a) = 6 K h (b) = 2 K Ankur Moitra (MIT) Sparsification September 14, 2010

  26. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h’(a) = 6 K h (b) = 2 h’(b) = 2.5 K Ankur Moitra (MIT) Sparsification September 14, 2010

  27. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h’(a) = 6 K h (b) = 2 h’(b) = 2.5 K Ankur Moitra (MIT) Sparsification September 14, 2010

  28. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h’(a) = 6 K h (b) = 2 h’(b) = 2.5 K h (ac) = 4 K Ankur Moitra (MIT) Sparsification September 14, 2010

  29. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h’(a) = 6 K h (b) = 2 h’(b) = 2.5 K h’(ac) = 4.5 h (ac) = 4 K Ankur Moitra (MIT) Sparsification September 14, 2010

  30. Vertex Sparsifiers General Approach: Cut Sparsifiers Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h (d) = 4 h (ad) = 5 h’(a) = 6 h’(d) = 5 h’(ad) = 5 K K K h (b) = 2 h (ab) = 7 h’(b) = 2.5 h’(ab) = 7.5 K K h’(c) = 3.5 h’(ac) = 4.5 h (c) = 3 h (ac) = 4 K K Ankur Moitra (MIT) Sparsification September 14, 2010

  31. Vertex Sparsifiers General Approach: Cut Sparsifiers Quality = ___ 5 4 __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h (d) = 4 h (ad) = 5 h’(a) = 6 h’(d) = 5 h’(ad) = 5 K K K h (b) = 2 h (ab) = 7 h’(b) = 2.5 h’(ab) = 7.5 K K h’(c) = 3.5 h’(ac) = 4.5 h (c) = 3 h (ac) = 4 K K Ankur Moitra (MIT) Sparsification September 14, 2010

  32. Vertex Sparsifiers Cut Sparsifiers, Informally Definition G ′ = ( K , E ′ ) is a Cut Sparsifier for G = ( V , E ) if all cuts in G ′ are at least as large as the corresponding min-cut in G . Ankur Moitra (MIT) Sparsification September 14, 2010

  33. Vertex Sparsifiers Cut Sparsifiers, Informally Definition G ′ = ( K , E ′ ) is a Cut Sparsifier for G = ( V , E ) if all cuts in G ′ are at least as large as the corresponding min-cut in G . Definition The Quality of a Cut Sparsifier is the maximum ratio of a cut in G ′ to the corresponding min-cut in G . Ankur Moitra (MIT) Sparsification September 14, 2010

  34. Vertex Sparsifiers Cut Sparsifiers Good quality Cut Sparsifiers exist! Ankur Moitra (MIT) Sparsification September 14, 2010

  35. Vertex Sparsifiers Cut Sparsifiers Good quality Cut Sparsifiers exist! And such graphs can be computed efficiently! Ankur Moitra (MIT) Sparsification September 14, 2010

  36. Vertex Sparsifiers Cut Sparsifiers Good quality Cut Sparsifiers exist! And such graphs can be computed efficiently! Theorem (Moitra, FOCS 2009) For all (undirected) weighted graphs G = ( V , E ) , and all K ⊂ V there is an (undirected) weighted graph G ′ = ( K , E ′ ) such that G ′ is a O (log k / log log k ) -quality Cut Sparsifier. Ankur Moitra (MIT) Sparsification September 14, 2010

  37. Vertex Sparsifiers Cut Sparsifiers Good quality Cut Sparsifiers exist! And such graphs can be computed efficiently! Theorem (Moitra, FOCS 2009) For all (undirected) weighted graphs G = ( V , E ) , and all K ⊂ V there is an (undirected) weighted graph G ′ = ( K , E ′ ) such that G ′ is a O (log k / log log k ) -quality Cut Sparsifier. This bound improves to O (1) if G is planar, or if G excludes any fixed minor! Ankur Moitra (MIT) Sparsification September 14, 2010

  38. Vertex Sparsifiers An Application to Steiner Minimum Bisection Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h (d) = 4 h (ad) = 5 h’(a) = 6 h’(d) = 5 h’(ad) = 5 K K K h (b) = 2 h (ab) = 7 h’(b) = 2.5 h’(ab) = 7.5 K K h’(c) = 3.5 h’(ac) = 4.5 h (c) = 3 h (ac) = 4 K K Ankur Moitra (MIT) Sparsification September 14, 2010

  39. Vertex Sparsifiers An Application to Steiner Minimum Bisection Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h (d) = 4 h (ad) = 5 h’(a) = 6 h’(d) = 5 h’(ad) = 5 K K K h (b) = 2 h (ab) = 7 h’(b) = 2.5 h’(ab) = 7.5 K K h’(c) = 3.5 h’(ac) = 4.5 h (c) = 3 h (ac) = 4 K K Ankur Moitra (MIT) Sparsification September 14, 2010

  40. Vertex Sparsifiers An Application to Steiner Minimum Bisection Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h (d) = 4 h (ad) = 5 h’(a) = 6 h’(d) = 5 h’(ad) = 5 K K K h (b) = 2 h (ab) = 7 h’(b) = 2.5 h’(ab) = 7.5 K K h’(c) = 3.5 h’(ac) = 4.5 h (c) = 3 h (ac) = 4 K K Ankur Moitra (MIT) Sparsification September 14, 2010

  41. Vertex Sparsifiers An Application to Steiner Minimum Bisection Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h (d) = 4 h (ad) = 5 h’(a) = 6 h’(d) = 5 h’(ad) = 5 K K K h (b) = 2 h (ab) = 7 h’(b) = 2.5 h’(ab) = 7.5 K K h’(c) = 3.5 h’(ac) = 4.5 h (c) = 3 h (ac) = 4 K K Ankur Moitra (MIT) Sparsification September 14, 2010

  42. Vertex Sparsifiers An Application to Steiner Minimum Bisection Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h (d) = 4 h (ad) = 5 h’(a) = 6 h’(d) = 5 h’(ad) = 5 K K K h (b) = 2 h (ab) = 7 h’(b) = 2.5 h’(ab) = 7.5 K K h’(c) = 3.5 h’(ac) = 4.5 h (c) = 3 h (ac) = 4 K K Ankur Moitra (MIT) Sparsification September 14, 2010

  43. Vertex Sparsifiers An Application to Steiner Minimum Bisection Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h (d) = 4 h (ad) = 5 h’(a) = 6 h’(d) = 5 h’(ad) = 5 K K K h (b) = 2 h (ab) = 7 h’(b) = 2.5 h’(ab) = 7.5 K K h’(c) = 3.5 h’(ac) = 4.5 h (c) = 3 h (ac) = 4 K K Ankur Moitra (MIT) Sparsification September 14, 2010

  44. Vertex Sparsifiers An Application to Steiner Minimum Bisection Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h (d) = 4 h (ad) = 5 h’(a) = 6 h’(d) = 5 h’(ad) = 5 K K K h (b) = 2 h (ab) = 7 h’(b) = 2.5 h’(ab) = 7.5 K K h’(c) = 3.5 h’(ac) = 4.5 h (c) = 3 h (ac) = 4 K K Ankur Moitra (MIT) Sparsification September 14, 2010

  45. Vertex Sparsifiers An Application to Steiner Minimum Bisection Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h (d) = 4 h (ad) = 5 h’(a) = 6 h’(d) = 5 h’(ad) = 5 K K K h (b) = 2 h (ab) = 7 h’(b) = 2.5 h’(ab) = 7.5 K K h’(c) = 3.5 h’(ac) = 4.5 h (c) = 3 h (ac) = 4 K K Ankur Moitra (MIT) Sparsification September 14, 2010

  46. Vertex Sparsifiers An Application to Steiner Minimum Bisection Graph G=(V,E) Sparsifier G’=(K,E’) __ 1 a 2 a b __ 1 __ 5 3 __ 3 2 2 2 b __ 1 2 c d d c h (a) = 5 h (d) = 4 h (ad) = 5 h’(a) = 6 h’(d) = 5 h’(ad) = 5 K K K h (b) = 2 h (ab) = 7 h’(b) = 2.5 h’(ab) = 7.5 K K h’(c) = 3.5 h’(ac) = 4.5 h (c) = 3 h (ac) = 4 K K Ankur Moitra (MIT) Sparsification September 14, 2010

  47. Vertex Sparsifiers This is a general strategy! Ankur Moitra (MIT) Sparsification September 14, 2010

  48. Vertex Sparsifiers This is a general strategy! For any problem characterized by cuts or flows: Ankur Moitra (MIT) Sparsification September 14, 2010

  49. Vertex Sparsifiers This is a general strategy! For any problem characterized by cuts or flows: 1 Construct G ′ so OPT ′ ≤ poly (log k ) OPT Ankur Moitra (MIT) Sparsification September 14, 2010

  50. Vertex Sparsifiers This is a general strategy! For any problem characterized by cuts or flows: 1 Construct G ′ so OPT ′ ≤ poly (log k ) OPT 2 Run approximation algorithm on G ′ Ankur Moitra (MIT) Sparsification September 14, 2010

  51. Vertex Sparsifiers This is a general strategy! For any problem characterized by cuts or flows: 1 Construct G ′ so OPT ′ ≤ poly (log k ) OPT 2 Run approximation algorithm on G ′ 3 Map solution back to G Ankur Moitra (MIT) Sparsification September 14, 2010

  52. Vertex Sparsifiers This is a general strategy! For any problem characterized by cuts or flows: 1 Construct G ′ so OPT ′ ≤ poly (log k ) OPT 2 Run approximation algorithm on G ′ 3 Map solution back to G This will bootstrap a poly (log k ) guarantee from a poly (log n ) guarantee Ankur Moitra (MIT) Sparsification September 14, 2010

  53. Vertex Sparsifiers Oblivious Reductions Ankur Moitra (MIT) Sparsification September 14, 2010

  54. Vertex Sparsifiers Oblivious Reductions This approach is useful even for efficiently solvable problems! Ankur Moitra (MIT) Sparsification September 14, 2010

  55. Vertex Sparsifiers Oblivious Reductions This approach is useful even for efficiently solvable problems! Question What if we are asked to solve a routing problem on K, but we don’t yet know the demands? Ankur Moitra (MIT) Sparsification September 14, 2010

  56. Vertex Sparsifiers Oblivious Reductions This approach is useful even for efficiently solvable problems! Question What if we are asked to solve a routing problem on K, but we don’t yet know the demands? 1 Construct G ′ Ankur Moitra (MIT) Sparsification September 14, 2010

  57. Vertex Sparsifiers Oblivious Reductions This approach is useful even for efficiently solvable problems! Question What if we are asked to solve a routing problem on K, but we don’t yet know the demands? 1 Construct G ′ Given G ′ , there will be a canonical way to map flows in G ′ back to G Ankur Moitra (MIT) Sparsification September 14, 2010

  58. Vertex Sparsifiers Oblivious Reductions This approach is useful even for efficiently solvable problems! Question What if we are asked to solve a routing problem on K, but we don’t yet know the demands? 1 Construct G ′ Given G ′ , there will be a canonical way to map flows in G ′ back to G 2 Given demands, optimally solve on G ′ Ankur Moitra (MIT) Sparsification September 14, 2010

  59. Vertex Sparsifiers Oblivious Reductions This approach is useful even for efficiently solvable problems! Question What if we are asked to solve a routing problem on K, but we don’t yet know the demands? 1 Construct G ′ Given G ′ , there will be a canonical way to map flows in G ′ back to G 2 Given demands, optimally solve on G ′ 3 Map solution back to G Ankur Moitra (MIT) Sparsification September 14, 2010

  60. Vertex Sparsifiers Highlights 1 Approximation Guarantees Independent of the Graph Size: We give the first poly (log k ) approximation algorithms (or competitive ratios) for: Steiner minimum bisection, requirement cut, l -multicut, oblivious 0-extension, and Steiner generalizations of oblivious routing, min-cut linear arrangement, and minimum linear arrangement Ankur Moitra (MIT) Sparsification September 14, 2010

  61. Vertex Sparsifiers Highlights 1 Approximation Guarantees Independent of the Graph Size: We give the first poly (log k ) approximation algorithms (or competitive ratios) for: Steiner minimum bisection, requirement cut, l -multicut, oblivious 0-extension, and Steiner generalizations of oblivious routing, min-cut linear arrangement, and minimum linear arrangement 2 Oblivious Reductions: All you need to know about the underlying communication network is its vertex sparsifier Ankur Moitra (MIT) Sparsification September 14, 2010

  62. Vertex Sparsifiers Definition G=(V,E) Ankur Moitra (MIT) Sparsification September 14, 2010

  63. Vertex Sparsifiers Definition G=(V,E) Ankur Moitra (MIT) Sparsification September 14, 2010

  64. Vertex Sparsifiers Definition G =(K,E ) f f Ankur Moitra (MIT) Sparsification September 14, 2010

  65. Vertex Sparsifiers Definition Let f : V → K , is a 0-extension if for all a ∈ K , f ( a ) = a . G =(K,E ) f f Ankur Moitra (MIT) Sparsification September 14, 2010

  66. Vertex Sparsifiers Lemma G f is a Cut Sparsifier G =(K,E ) f f Ankur Moitra (MIT) Sparsification September 14, 2010

  67. Vertex Sparsifiers Lemma G f is a Cut Sparsifier G =(K,E ) f f K−A A Ankur Moitra (MIT) Sparsification September 14, 2010

  68. Vertex Sparsifiers Lemma G f is a Cut Sparsifier G =(K,E ) f f K−A A Ankur Moitra (MIT) Sparsification September 14, 2010

  69. Vertex Sparsifiers Lemma G f is a Cut Sparsifier G=(V,E) K−A A Ankur Moitra (MIT) Sparsification September 14, 2010

Recommend

Quantitative Reductions and Vertex-Ranked Games Alexander Weinert Saarland University September

Quantitative Reductions and Vertex-Ranked Games Alexander Weinert Saarland University September

Quantitative Reductions and Vertex-Ranked Games Alexander Weinert Saarland University September 13th, 2017 Highlights 2017 - London Alexander Weinert Saarland University Quantitative Reductions and Vertex-Ranked Games 1/9 Reachability

634 views • 38 slides
Graph Sampling and Sparsification Lecture 19 CSCI 4974/6971 7 Nov 2016 1 / 10 Todays Biz 1.

Graph Sampling and Sparsification Lecture 19 CSCI 4974/6971 7 Nov 2016 1 / 10 Todays Biz 1.

Graph Sampling and Sparsification Lecture 19 CSCI 4974/6971 7 Nov 2016 1 / 10 Todays Biz 1. Reminders 2. Review 3. Graph Sampling/Sparsification 2 / 10 Reminders Assignment 4: due date November 10th Setting up and running on CCI

1.39k views • 105 slides
FUNCTIONALLY OBLIVIOUS (AND SUCCINCT) Edward Kmett BUILDING BETTER TOOLS Cache-Oblivious

FUNCTIONALLY OBLIVIOUS (AND SUCCINCT) Edward Kmett BUILDING BETTER TOOLS Cache-Oblivious

FUNCTIONALLY OBLIVIOUS (AND SUCCINCT) Edward Kmett BUILDING BETTER TOOLS Cache-Oblivious Algorithms Succinct Data Structures RAM MODEL Almost everything you do in Haskell assumes this model Good for ADTs, but not a realistic

673 views • 49 slides
Polynomial-time reductions We have seen several reductions: Polynomial-time reductions Informal

Polynomial-time reductions We have seen several reductions: Polynomial-time reductions Informal

Polynomial-time reductions We have seen several reductions: Polynomial-time reductions Informal explanation of reductions: We have two problems, X and Y. Suppose we have a black-box solving problem X in polynomial-time. Can we use the black-box

1.38k views • 32 slides
Graphs Vertex Cover Vertex Cover A vertex cover of a graph G=(V ,E) is a set C of vertices such

Graphs Vertex Cover Vertex Cover A vertex cover of a graph G=(V ,E) is a set C of vertices such

Graphs Vertex Cover Vertex Cover A vertex cover of a graph G=(V ,E) is a set C of vertices such that every edge is covered by (incident on) at least one vertex in C i.e., C V is a vertex cover if e E, e C Vertex Cover A

413 views • 8 slides
Reductions So far, two reductions that preserve the CS 611 meaning of a lambda calculus

Reductions So far, two reductions that preserve the CS 611 meaning of a lambda calculus

Reductions So far, two reductions that preserve the CS 611 meaning of a lambda calculus Advanced Programming Languages expression: Andrew Myers ( x e ) ( x e { x / x }) (if x FV e ) Cornell University

359 views • 3 slides
Perfectly S Secure O Oblivious A s Algorithms s in t the M Multi-Server S Setting T-H.

Perfectly S Secure O Oblivious A s Algorithms s in t the M Multi-Server S Setting T-H.

Perfectly S Secure O Oblivious A s Algorithms s in t the M Multi-Server S Setting T-H. Hubert Chan, Jonathan Katz, Ka Kartik Nay ayak, Antigoni Polychroniadou, Elaine Shi Defini De ning ng an n Obl Oblivious us RAM Example request

812 views • 33 slides
Oblivious Routing on Geometric Networks Costas Busch, Malik Magdon-Ismail and Jing Xi {

Oblivious Routing on Geometric Networks Costas Busch, Malik Magdon-Ismail and Jing Xi {

Oblivious Routing on Geometric Networks Costas Busch, Malik Magdon-Ismail and Jing Xi { buschc,magdon,xij2 } @cs.rpi.edu July 20, 2005. Outline Oblivious Routing: Background and Our Contribution The Algorithm: Oblivious Routing with Single

709 views • 50 slides
Lower Bound! Kasper Green Larsen Jesper Buus Nielsen Oblivious RAM Introduced by Goldreich

Lower Bound! Kasper Green Larsen Jesper Buus Nielsen Oblivious RAM Introduced by Goldreich

Yes, There is an Oblivious RAM Lower Bound! Kasper Green Larsen Jesper Buus Nielsen Oblivious RAM Introduced by Goldreich and Ostrovsky in 1996 Encrypts the memory access pattern of a random-access algorithm Oblivious RAM, Model

505 views • 32 slides
CS 301 Lecture 20 Reductions Stephen Checkoway April 9, 2018 1 / 17 Reductions Reductions

CS 301 Lecture 20 Reductions Stephen Checkoway April 9, 2018 1 / 17 Reductions Reductions

CS 301 Lecture 20 Reductions Stephen Checkoway April 9, 2018 1 / 17 Reductions Reductions are a way of saying, If problem B can be solved, then problem A can as well 2 / 17 Reductions Reductions are a way of saying, If problem B

640 views • 28 slides
Dual-Way Gradient Sparsification for Asynchronous Distributed Deep Learning Zijie Yan,

Dual-Way Gradient Sparsification for Asynchronous Distributed Deep Learning Zijie Yan,

Dual-Way Gradient Sparsification for Asynchronous Distributed Deep Learning Zijie Yan, Danyang Xiao, MengQiang Chen, Jieying Zhou, Weigang Wu Sun Yat-sen University Guangzhou, China 1 Outline 1. Introduction 2. The Proposed

524 views • 31 slides
Cache-Oblivious Algorithms 1 Cache-Oblivious Model 2 The Unknown Machine Algorithm Algorithm

Cache-Oblivious Algorithms 1 Cache-Oblivious Model 2 The Unknown Machine Algorithm Algorithm

Cache-Oblivious Algorithms 1 Cache-Oblivious Model 2 The Unknown Machine Algorithm Algorithm C program Java program gcc javac Object code Java bytecode linux java Execution Interpretation Can be executed on

963 views • 54 slides
Coping with the Memory Hierarchy the Cache-Oblivious Way Rolf Fagerberg University of Aarhus

Coping with the Memory Hierarchy the Cache-Oblivious Way Rolf Fagerberg University of Aarhus

Coping with the Memory Hierarchy the Cache-Oblivious Way Rolf Fagerberg University of Aarhus Imada, SDU, February 18, 2004 Overview The memory hierachy The I/O-model The cache-oblivious model Examples of cache-oblivious

1.23k views • 72 slides
11.4 The Pricing Method: Vertex Cover Weighted Vertex Cover Weighted vertex cover. Given a

11.4 The Pricing Method: Vertex Cover Weighted Vertex Cover Weighted vertex cover. Given a

11.4 The Pricing Method: Vertex Cover Weighted Vertex Cover Weighted vertex cover. Given a graph G with vertex weights, find a vertex cover of minimum weight. 2 4 2 4 2 9 2 9 weight = 2 + 2 + 4 weight = 9 23 Weighted Vertex Cover

445 views • 16 slides
CSE 373: Topological Sort and Minimum Questions such that no vertex appears before another vertex

CSE 373: Topological Sort and Minimum Questions such that no vertex appears before another vertex

CSE 373: Topological Sort and Minimum Questions such that no vertex appears before another vertex that has an edge to it. Example applications: Spanning Trees In general: taking a dependency graph and coming up with order of execution. 3

54 views • 4 slides
Stochastic six vertex model Ivan Corwin (Columbia University) Stochastic six vertex 1 Page 1

Stochastic six vertex model Ivan Corwin (Columbia University) Stochastic six vertex 1 Page 1

Stochastic six vertex model Ivan Corwin (Columbia University) Stochastic six vertex 1 Page 1 Goals of first hour Physical goal: Uncover nonequilibrium Kardar-Parisi-Zhang (KPZ) universality class behavior in the equilibrium six vertex model

672 views • 40 slides
Deterministic MST Sparsification in the Congested Clique Janne H. Korhonen University of

Deterministic MST Sparsification in the Congested Clique Janne H. Korhonen University of

Brief Announcement: Deterministic MST Sparsification in the Congested Clique Janne H. Korhonen University of Reykjavk Introduction 1: Congested Clique Model specialisation of CONGEST communication graph = clique on n nodes input

289 views • 17 slides
Polygon decomposition into monotone polygons Vertex types START vertex (2 edges on the right and

Polygon decomposition into monotone polygons Vertex types START vertex (2 edges on the right and

Polygon decomposition into monotone polygons Vertex types START vertex (2 edges on the right and < ) END vertex (2 edges on the left and < ) SPLIT vertex (2 edges on the right and > ) MERGE vertex (2 edges on

332 views • 7 slides
PanORAMa: Oblivious RAM with Logarithmic Overhead Sarvar Patel, Giuseppe Persiano, Mariana

PanORAMa: Oblivious RAM with Logarithmic Overhead Sarvar Patel, Giuseppe Persiano, Mariana

PanORAMa: Oblivious RAM with Logarithmic Overhead Sarvar Patel, Giuseppe Persiano, Mariana Raykova, Kevin Yeo Most frequently used file Bob knows what files I am accessing Bandwidth is expensive Retrieve the whole database Oblivious RAM

1.13k views • 85 slides
A Framework for Efficient and Composable Oblivious Transfer Chris Peikert 1 Vinod Vaikuntanathan

A Framework for Efficient and Composable Oblivious Transfer Chris Peikert 1 Vinod Vaikuntanathan

A Framework for Efficient and Composable Oblivious Transfer Chris Peikert 1 Vinod Vaikuntanathan 2 Brent Waters 1 1 SRI International 2 MIT CRYPTO 2008 1 / 10 Oblivious Transfer [R81,EGL85,BCR86,C87,K88,CK88,C89,CS91,CGT95,DCP95,FMR96,BC97,. .

1.02k views • 50 slides
Random Projections, Graph Sparsification, and Differential Privacy Jalaj Upadhyay Center for

Random Projections, Graph Sparsification, and Differential Privacy Jalaj Upadhyay Center for

Random Projections, Graph Sparsification, and Differential Privacy Jalaj Upadhyay Center for Applied Cryptographic Research University of Waterloo December 02, 2013 1/25 The Peril of Last Talk on Monday 2/25 This Paper in One Slide Random

761 views • 53 slides
Chapter 2 Reductions and NP CS 573: Algorithms, Fall 2013 August 29, 2013 2.1 Reductions

Chapter 2 Reductions and NP CS 573: Algorithms, Fall 2013 August 29, 2013 2.1 Reductions

Chapter 2 Reductions and NP CS 573: Algorithms, Fall 2013 August 29, 2013 2.1 Reductions Continued 2.1.1 The Satisfiability Problem (SAT) 2.1.1.1 Propositional Formulas Definition 2.1.1. Consider a set of boolean variables x 1 , x 2 , . . .

355 views • 12 slides
A Cache-Oblivious Heap Introduced by Arge et al. [1]. Based on distribution of elements

A Cache-Oblivious Heap Introduced by Arge et al. [1]. Based on distribution of elements

A Cache-Oblivious Heap Introduced by Arge et al. [1]. Based on distribution of elements References [1] L. Arge, M. A. Bender, E. D. Demaine, B. Holland-Minkley, and J. I. Munro, Cache-oblivious priority queue and graph algorithm

520 views • 15 slides
Budget Proposal Personnel/BOCES Personnel Reductions Personnel Reductions Assistant

Budget Proposal Personnel/BOCES Personnel Reductions Personnel Reductions Assistant

2020-2021 Staffing and Budget Proposal Personnel/BOCES Personnel Reductions Personnel Reductions Assistant Superintendent for School Administration Supervisor of Special Programs HS English positions due to retirement BOCES

595 views • 13 slides

More recommend