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

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

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

358 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
CSL 101 Logistics Instructors Huzur Saran (saran@cse.iitd.ac.in) Parag Singla

CSL 101 Logistics Instructors Huzur Saran (saran@cse.iitd.ac.in) Parag Singla

Introduction to Computers and Programming CSL 101 Logistics Instructors Huzur Saran (saran@cse.iitd.ac.in) Parag Singla (parags@cse.iitd.ac.in) Classes M, Th: 8:00 am 9:20 am (VI LT 1) Parag M, Th: 2:00 pm 3:20 pm (IV

1.17k views • 80 slides
Optimal control of non-smooth partial differential equations Vu Huu Nhu 1 Christian Clason Arnd

Optimal control of non-smooth partial differential equations Vu Huu Nhu 1 Christian Clason Arnd

Optimal control of non-smooth partial differential equations Vu Huu Nhu 1 Christian Clason Arnd Rsch Stephan Walther 2 Constantin Christof Christian Meyer 1 Faculty of Mathematics, Universitt Duisburg-Essen 2 Faculty of Mathematics, TU

654 views • 29 slides
for Fresh Produce Authors: Saran Limvorasak and Zhiheng Xu Advisor: Dr. Francisco Jauffred Sponsor:

for Fresh Produce Authors: Saran Limvorasak and Zhiheng Xu Advisor: Dr. Francisco Jauffred Sponsor:

Multi-Echelon Inventory Optimization for Fresh Produce Authors: Saran Limvorasak and Zhiheng Xu Advisor: Dr. Francisco Jauffred Sponsor: A Mass Discount Retailer MIT SCM ResearchFest May 22-23, 2013 Fresh Produce for Retail Business Product

440 views • 16 slides
AGLP CKGSB 2019 Report from AGLP Scholar : SONG Saran I am very excited to join the AGLP in CKGSB

AGLP CKGSB 2019 Report from AGLP Scholar : SONG Saran I am very excited to join the AGLP in CKGSB

AGLP CKGSB 2019 Report from AGLP Scholar : SONG Saran I am very excited to join the AGLP in CKGSB as the AGLP Scholar. It is an amazing program that gives me clear insights and understanding on how to position ASEAN countries as potential business

379 views • 3 slides
0 - Course Outline C0L100 - Introduction to Computer Science Instructors: Prem Kalra and Huzur

0 - Course Outline C0L100 - Introduction to Computer Science Instructors: Prem Kalra and Huzur

0 - Course Outline C0L100 - Introduction to Computer Science Instructors: Prem Kalra and Huzur Saran I Semester 2019-2020 Department of Computer Science and Engineering Indian Institute of Technology Delhi Course Administration Class

645 views • 11 slides
Education Disrupted, Education Disrupted, Education Reimagined Education Reimagined Part II

Education Disrupted, Education Disrupted, Education Reimagined Education Reimagined Part II

Education Disrupted, Education Disrupted, Education Reimagined Education Reimagined Part II Part II #EducationReimagined #SGSedu Day 1: From Rapid Response to Future Preparation Conference Session 2: June 23, 18:00 21:45 (GMT +3)

295 views • 14 slides
LCS 11: Cognitive Science Nature vs. nuture divide Poverty of the stimulus and reactions

LCS 11: Cognitive Science Nature vs. nuture divide Poverty of the stimulus and reactions

Agenda Pomona College LCS 11: Cognitive Science Nature vs. nuture divide Poverty of the stimulus and reactions Language acquisition Critical period Replication projects Jesse A. Harris Class evaluations March 25, 2013 Jesse A.

554 views • 7 slides
Black hole instabilities and violation of the weak cosmic censorship in higher dimensions Pau

Black hole instabilities and violation of the weak cosmic censorship in higher dimensions Pau

Black hole instabilities and violation of the weak cosmic censorship in higher dimensions Pau Figueras School of Mathematical Sciences, Queen Mary University of London w/ Markus Kunesch, Luis Lehner and Saran Tunyasuvunakool Phys.Rev.Lett.

759 views • 31 slides

More recommend