~/talk

Complete Problems for Multi-Pseudodeterministic Computations

Talkat ITCS 2021 · 2021-01-06..01-08· [computing-history]
links:none on file
name:A Pavan
links:none on file
links:none on file
slides:none on file

Establishes that collision probability estimation is complete for turning approximation and multi-valued search algorithms into pseudodeterministic ones: if collision estimation is pseudodeterministic (with error small enough) then any constant-factor multi-pseudodeterministic algorithm becomes pseudodeterministic. Builds a selector that runs two strategies, estimates collisions, and uses a 34/64 threshold (bounds like 9/16 and 1/2+2ε^2 appear) to pick reliably. Generalizes to multi-pseudodeterminism K+1/(K+2) and uses prefix-search for search-BPP via per-bit acceptance estimates losing ε per bit.

AI-written summary · about

  1. 0:00Introduction
  2. 0:14Complete Problems
  3. 0:40Outline
  4. 2:48Pseudodeterminism
  5. 4:46Pseudorandomness
  6. 6:33Results
  7. 7:25Thresholds
  8. 18:58Other Complete Problems
  9. 19:22Multivalued Functions
  10. 22:39Prefix Search
  11. 25:12Conclusion
~/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.