~/talk

The Computational Benefit of Correlated Instances

links:none on file
slides:none on file

Two theoretical papers claim concrete speedups when many instances share structure: for Boolean constraint‑satisfaction, order log n auxiliary instances produced by flipping solution bits let a polynomial‑time algorithm recover a close (random case) or exact (worst case when given bit‑difference locations) solution via solving sparse linear systems; for string similarity (LCS, edit, DTW) mapping each position to an O(log n)-bit vector and using hashing on O(log n)-bit vectors plus nearest‑neighbor tools drops running time well below Θ(n^2). Results require specific perturbation/correlation models and are validated only theoretically.

AI-written summary · about

  1. 0:00Introduction
  2. 0:45What is this about
  3. 2:08Factoring integers
  4. 4:55Examples
  5. 6:15Algorithms
  6. 7:58Model
  7. 11:16Rules of Thumb
  8. 14:30Constraint Satisfaction
  9. 19:02Correlations
  10. 33:56Dynamic Time
  11. 35:42Finegrained Complexity Theory
  12. 37:09Strict Model
  13. 42:23Relaxed Model
  14. 43:49Algorithm
  15. 45:12Matches
  16. 49:35Smooth analysis
~/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.