~/talk

Succinct Representations and Efficient Algorithms Based on Linear Programming

links:none on file
slides:none on file

Shows how to compute a 1 - ε approximation to maximum cardinality matching in non‑bipartite graphs in a semi‑streaming/map‑reduce style model using p/ε passes and roughly n^{1+1/p} space, with running time dominated by sketching inner products. Key tools are total dual integrality to bound LP width, a primal–dual reduction that asks an oracle for dense odd sets, and a deferred specification trick plus cut sparsifiers/sketches to collapse adaptivity so the algorithm accesses the raw edges only in few passes.

AI-written summary · about

  1. 0:00Intro
  2. 3:05Representation = Optimization
  3. 4:06Resource Constrained Computations
  4. 5:14Semi-Streaming
  5. 7:27That being said...
  6. 9:20Specific Example Problem
  7. 10:32The Standard LP
  8. 13:08The overall plan
  9. 13:37Approximately Solving LPs
  10. 14:52The Canonical Setup
  11. 16:38Multiplicative Weights Update
  12. 20:10Fractional Covering and Packing
  13. 23:25Paying the piper?
  14. 24:31A Dual-Primal Framework
  15. 25:50An Elenchus
  16. 27:46A Dual-Primal on Matching
  17. 29:22The task for the Oracle
  18. 30:42A Maximal Covering
  19. 33:22The Width
  20. 34:10What is the algorithm doing?
  21. 37:07One comes back!!
  22. 38:17A One-Two Punch: One, finally
  23. 39:21The One-Two Punch: Two
  24. 41:36So what happened?
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.