Polynomial-time pseudodeterministic construction of primes

L Chen, Z Lu, IC Oliveira, H Ren… - 2023 IEEE 64th …, 2023 - ieeexplore.ieee.org
A randomized algorithm for a search problem is pseudodeterministic if it produces a fixed
canonical solution to the search problem with high probability. In their seminal work on the …

Pseudodeterministic algorithms and the structure of probabilistic time

Z Lu, IC Oliveira, R Santhanam - Proceedings of the 53rd Annual ACM …, 2021 - dl.acm.org
We connect the study of pseudodeterministic algorithms to two major open problems about
the structural complexity of BPTIME: proving hierarchy theorems and showing the existence …

Tight space lower bound for pseudo-deterministic approximate counting

O Grossman, M Gupta, M Sellke - 2023 IEEE 64th Annual …, 2023 - ieeexplore.ieee.org
We investigate one of the most basic problems in streaming algorithms: approximating the
number of elements in the stream. Famously, Mor78 gave a randomized algorithm achieving …

Lower bounds for pseudo-deterministic counting in a stream

V Braverman, R Krauthgamer, A Krishnan… - arXiv preprint arXiv …, 2023 - arxiv.org
Many streaming algorithms provide only a high-probability relative approximation. These
two relaxations, of allowing approximation and randomization, seem necessary--for many …

Pseudodeterminism: promises and lowerbounds

P Dixon, A Pavan, JV Woude… - Proceedings of the 54th …, 2022 - dl.acm.org
A probabilistic algorithm A is pseudodeterministic if, on every input, there exists a canonical
value that is output with high probability. If the algorithm outputs one of k canonical values …

[PDF][PDF] On the Complexity of Avoiding Heavy Elements

Z Lu, IC Oliveira, H Ren, R Santhanam - 2024 - dcs.warwick.ac.uk
We introduce and study the following natural total search problem, which we call the heavy
element avoidance (Heavy Avoid) problem: for a distribution on N bits specified by a …

Promise problems meet pseudodeterminism

P Dixon, A Pavan, NV Vinodchandran - arXiv preprint arXiv:2103.08589, 2021 - arxiv.org
The Acceptance Probability Estimation Problem (APEP) is to additively approximate the
acceptance probability of a Boolean circuit. This problem admits a probabilistic …

Probabilistic computations: Mild derandomizatons and zero-knowledge classes

P Dixon - 2021 - search.proquest.com
Random algorithms have a unique place in complexity theory as a model of computation
that ispotentially more powerful than “normal” algorithms, and is also practical. However, it is …