Efficient Reductions from NP to Parity using Error-Correcting Codes (preliminary version)
Abstract:
This paper proves that every language in NP is recognized by an RP [ \Phi P] machine whose time complexity is quasilinear, apart from the time to verify witnesses. The results significantly improve the number of random bits, success probability, and running time of Valiant and Vazirani's original construction [VV86], and beat both the 2n random bits and time/success tradeoff in subsequent methods based on universal hashing. Questions of further improvements are connected to open problems in the theory of error-correcting codes. 1.
Citations
| 2005 | The Design and Analysis of Computer Algorithms – Aho, Hopcroft, et al. - 1974 |
| 91 | Construction of asymptotically good, lowrate error-correcting codes through pseudo-random graphs – Alon, Bruck, et al. - 1992 |
| 82 | A note on the power of threshold circuits – Allender - 1989 |
| 45 | Probabilistic checking of proofs – Arora, Safra - 1992 |
| 18 | On the power of uniform families of constant depth threshold circuits,” draft – Allender, Hertrampf - 1990 |
| 10 | Transparent (holographic) proofs – Babai - 1993 |

