Abstract
For every ε < 0, we present a deterministic log-space algorithm that correctly decides undirected graph connectivity on all but at most 2nε of the nvertex graphs. The same holds for every problem in Symmetric Log-space (i.e., SL). Using a plausible complexity assumption (i.e., that P cannot be approximated by SIZE(p)SAT, for every polynomial p) we showthat, for every ε > 0, each problem in BPP has a deterministic polynomial-time algorithm that errs on at most 2n of the n-bit long inputs. (The complexity assumption that we use is not known to imply BPP = P.) All results are obtained as special cases of a general methodology that explores which probabilistic algorithms can be derandomized by generating their coin tosses deterministically from the input itself.We show that this is possible (for all but extremely few inputs) for algorithms which take advice (in the usual Karp- Lipton sense), in which the advice string is short, and most choices of the advice string are good for the algorithm. To get the applications above and others, we show that algorithms with short and typically-good advice strings do exist, unconditionally for SL, and under reasonable assumptions for BPP and AM.
Original language | English |
---|---|
Title of host publication | Randomization and Approximation Techniques in Computer Science - 6th International Workshop, RANDOM 2002, Proceedings |
Editors | Salil Vadhan, Jose D. P. Rolim |
Publisher | Springer Verlag |
Pages | 209-223 |
Number of pages | 15 |
ISBN (Print) | 3540441476, 9783540457268 |
DOIs | |
State | Published - 2002 |
Event | 6th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2002 - Cambridge, United States Duration: 13 Sep 2002 → 15 Sep 2002 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 2483 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 6th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2002 |
---|---|
Country/Territory | United States |
City | Cambridge |
Period | 13/09/02 → 15/09/02 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 2002.