research
∙
11/02/2021
Truly Low-Space Element Distinctness and Subset Sum via Pseudorandom Hash Functions
We consider low-space algorithms for the classic Element Distinctness pr...
research
∙
12/01/2020
Time-Space Lower Bounds for Simulating Proof Systems with Quantum and Randomized Verifiers
A line of work initiated by Fortnow in 1997 has proven model-independent...
research
∙
02/26/2018