Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. Saving Queries With Randomness

Saving Queries With Randomness

File(s)
91-1259.pdf (1.88 MB)
91-1259.ps (402.54 KB)
Permanent Link(s)
https://hdl.handle.net/1813/7099
Collections
Computer Science Technical Reports
Author
Rohatgi, Pankaj
Abstract

In this paper, we provide tight bounds on the success probabilities of randomized reductions between various classes in the Boolean and Bounded Query Hierarchies. The P$^{SAT\Vert[k]}$ $\leq^{P}{m}$ - complete language randomly reduces to a language in P$^{SAT\Vert[k-1]}$ with a one-sided error probability of 1/$\lceil$k/2$\rceil$. If two-sided error is allowed, then we show that a much lower error probability of 1/($k$ + 1) can be achieved. We prove that both these reductions are almost optimal by showing that the error probabilities cannot be reduced by even 1/poly, unless the PH collapses. These tight bounds precisely characterize the power and limitations of randomness in saving a query to SAT. These results can be used to identify optimal probability thresholds which determine when languages complete under randomized reductions inherit the hardness properties associated with $\leq^{P}{m}$ - complete languages. Using these thresholds we prove hardness properties for some languages in these classes which are not $\leq^{P}_{m}$ - complete in certain relativized worlds. We also explore the relationship between randomization and functions computable using bounded queries to SAT. For any function $h (n) = O(log $n$), we show that there is a function $f$ computable using $h(n)$ nonadaptive queries to SAT, which cannot be computed correctly with probability 1/2+1/poly by any randomized machine which makes less than $h(n)$ adaptive queries to any oracle, unless PH collapses.

Date Issued
1991-12
Publisher
Cornell University
Keywords
computer science
•
technical report
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR91-1259
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance