Uniform Generation of NP-witnesses using an NP-oracle (1997)
Cached
Download Links
- [www.wisdom.weizmann.ac.il]
- [www.cs.technion.ac.il]
- [www-cse.ucsd.edu]
- [www.cs.ucsd.edu]
- [www.cs.ucsd.edu]
- [www.cs.ucsd.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | Information and Computation |
| Citations: | 20 - 1 self |
BibTeX
@ARTICLE{Bellare97uniformgeneration,
author = {Mihir Bellare and Oded Goldreich and Erez Petrank},
title = {Uniform Generation of NP-witnesses using an NP-oracle},
journal = {Information and Computation},
year = {1997},
volume = {163},
pages = {2000}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A Uniform Generation procedure for NP is an algorithm which given any input in a fixed NP-language, outputs a uniformly distributed NP-witness for membership of the input in the language. We present a Uniform Generation procedure for NP that runs in probabilistic polynomial-time with an NP-oracle. This improves upon results of Jerrum, Valiant and Vazirani, which either require a \Sigma P 2 oracle or obtain only almost uniform generation. Our procedure utilizes ideas originating in the works of Sipser, Stockmeyer, and Jerrum, Valiant and Vazirani. Dept. of Computer Science & Engineering, University of California at San Diego, 9500 Gilman Drive, La Jolla, California 92093, USA. E-Mail: mihir@cs.ucsd.edu. URL: http://www-cse.ucsd.edu/users/mihir. Supported in part by NSF CAREER Award CCR-9624439 and a 1996 Packard Foundation Fellowship in Science and Engineering. y Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel. E-Mail: oded@wis...
