Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

Revision #1 to TR95-061 | 9th February 1996 00:00

Hitting Sets Derandomize BPP Revision of: TR95-061

RSS-Feed

Abstract:

We show that hitting sets can derandomize any BPP-algorithm.
This gives a positive answer to a fundamental open question in
probabilistic algorithms. More precisely, we present a polynomial
time deterministic algorithm which uses any given hitting set
to approximate the fractions of 1's in the output of any boolean
circuit of polynomial size.
This new algorithm implies that if a quick hitting set generator
with logarithmic price exists then BPP=P. Furthermore,
the algorithm can be applied in order to show that the existence
of a quick hitting set generator with price k implies that
BPTIME(t) <= DTIME(2^{O(k(t^{O(1)}))}).
The existence of quick hitting set generators is thus a new
weaker sufficient condition to obtain BPP=P.


Paper:

TR95-061 | 27th November 1995 00:00

Hitting sets derandomize BPP


Abstract:

We show that hitting sets can derandomize any BPP-algorithm.
This gives a positive answer to a fundamental open question in
probabilistic algorithms. More precisely, we present a polynomial
time deterministic algorithm which uses any given hitting set
to approximate the fractions of 1's in the output of any boolean
circuit of polynomial size.
This new algorithm implies that if a quick hitting set generator
with logarithmic price exists then BPP=P. Furthermore, we
generalize this result by showing that the existence of a quick
hitting set generator with price k implies that
BPTIME(t) <= DTIME(2^{O(k(t^{O(1)}))}).
The existence of quick hitting set generators is thus a new
weaker sufficient condition to obtain BPP=P; this can be
considered as another strong indication that the gap between
probabilistic and deterministic computational power is not large.



ISSN 1433-8092 | Imprint