Sketching Algorithms for Max-DICUT and other CSPs
summary
Claims a concrete sketching pipeline: compute the L1 bias via an Indyk-style sketch to get a 2/5 approximation, then refine to 4/9 and 0.485–0.486 approximations in random-order and two-pass models using a snapshot sketch that collapses vertices by bias and uses layered edge sampling; proves matching information‑theoretic lower bounds showing you cannot beat these ratios in o(√n) space for large ranges and extends the bias-vs.-separation dichotomy to general Boolean CSPs with a decidable criterion.
AI-written summary · about
chapters (14)
- 0:00Sketching algorithms intro
- 0:42Constraint satisfaction problems overview
- 5:00Max-DICUT in streaming
- 8:11Folklore CSP approx
- 9:15State of the art max-DICUT
- 13:54Logspace sketching max-DICUT
- 15:03Bias-based algorithm
- 20:434/9 approx and dichotomy
- 23:58Lower bounds via comm comp
- 28:57Improved approx in sqrt n space
- 34:00Snapshot estimation streaming
- 46:17Generalizations to CSPs
- 51:40Open questions
- 59:45Q&A
