Results 1 
9 of
9
Threshold Computation and Cryptographic Security
 SIAM JOURNAL ON COMPUTING
, 1995
"... Threshold machines are Turing machines whose acceptance is determined by what portion of the machine's computation paths are accepting paths. Probabilistic machines are Turing machines whose acceptance is determined by the probability weight of the machine's accepting computation paths. In 1975, ..."
Abstract

Cited by 37 (7 self)
 Add to MetaCart
Threshold machines are Turing machines whose acceptance is determined by what portion of the machine's computation paths are accepting paths. Probabilistic machines are Turing machines whose acceptance is determined by the probability weight of the machine's accepting computation paths. In 1975, Simon proved that for unboundederror polynomialtime machines these two notions yield the same class, PP. Perhaps because Simon's result seemed to collapse the threshold and probabilistic modes of computation, the relationship between threshold and probabilistic computing for the case of bounded error has remained unexplored. In this paper, we compare the boundederror probabilistic class BPP with the analogous threshold class, BPP path , and, more generally, we study the structural properties of BPP path . We prove that BPP path contains both NP BPP and P NP[log] , and that BPP path is contained in P \Sigma p 2 [log] , BPP NP , and PP. We conclude that, unless the polynomial hierarchy collapses, boundederror threshold computation is strictly more powerful than boundederror probabilistic computation. We also consider the natural notion of secure access to a database: an adversary who watches the queries should gain no information about the input other than perhaps its length. We show, for both BPP and BPP path , that if there is any database for which this formalization of security differs from the security given by oblivious database access, then P 6= PSPACE. It follows that if any set lacking small circuits can be securely accepted, then P 6= PSPACE.
The Structure of Complete Degrees
, 1990
"... This paper surveys investigations into how strong these commonalities are. More concretely, we are concerned with: What do NPcomplete sets look like? To what extent are the properties of particular NPcomplete sets, e.g., SAT, shared by all NPcomplete sets? If there are are structural differences ..."
Abstract

Cited by 29 (3 self)
 Add to MetaCart
This paper surveys investigations into how strong these commonalities are. More concretely, we are concerned with: What do NPcomplete sets look like? To what extent are the properties of particular NPcomplete sets, e.g., SAT, shared by all NPcomplete sets? If there are are structural differences between NPcomplete sets, what are they and what explains the differences? We make these questions, and the analogous questions for other complexity classes, more precise below. We need first to formalize NPcompleteness. There are a number of competing definitions of NPcompleteness. (See [Har78a, p. 7] for a discussion.) The most common, and the one we use, is based on the notion of mreduction, also known as polynomialtime manyone reduction and Karp reduction. A set A is mreducible to B if and only if there is a (total) polynomialtime computable function f such that for all x, x 2 A () f(x) 2 B: (1) 1
An Observation on Probability versus Randomness with Applications to Complexity Classes
 MATHEMATICAL SYSTEMS THEORY
, 1993
"... Every class C of languages satisfying a simple topological condition is shown to have probability one if and only if it contains some language that is algorithmically random in the sense of MartinLof. This result is used to derive separation properties of algorithmically random oracles and to gi ..."
Abstract

Cited by 20 (7 self)
 Add to MetaCart
Every class C of languages satisfying a simple topological condition is shown to have probability one if and only if it contains some language that is algorithmically random in the sense of MartinLof. This result is used to derive separation properties of algorithmically random oracles and to give characterizations of the complexity classes P, BPP, AM, and PH in terms of reducibility to such oracles. These characterizations lead to results like: P = NP if and only if there exists an algorithmically random set that is P btt hard for NP.
Circuit Size Relative to Pseudorandom Oracles
, 1993
"... Circuitsize complexity is compared with deterministic and nondeterministic time complexity in the presence of pseudorandom oracles. The following separations are shown to hold relative to every pspacerandom oracle A, and relative to almost every oracle A 2 ESPACE. ..."
Abstract

Cited by 15 (4 self)
 Add to MetaCart
Circuitsize complexity is compared with deterministic and nondeterministic time complexity in the presence of pseudorandom oracles. The following separations are shown to hold relative to every pspacerandom oracle A, and relative to almost every oracle A 2 ESPACE.
Competing Provers Yield Improved KarpLipton Collapse Results
 Information and Computation
, 2002
"... Via competing provers, we show that if a language A is selfreducible and has polynomialsize circuits then S 2 = S 2 . Building on this, we strengthen the Kamper AFK Theorem, namely, we prove that if NP coNP)/poly then the polynomial hierarchy collapses to S 2 . We also strengthen Yap ..."
Abstract

Cited by 15 (2 self)
 Add to MetaCart
Via competing provers, we show that if a language A is selfreducible and has polynomialsize circuits then S 2 = S 2 . Building on this, we strengthen the Kamper AFK Theorem, namely, we prove that if NP coNP)/poly then the polynomial hierarchy collapses to S 2 . We also strengthen Yap's Theorem, namely, we prove that if NP coNP/poly then the polynomial hierarchy collapses to S 2 . Under the same assumptions, the best previously known collapses were to ZPP respectively ([KW98, BCK 94], building on [KL80, AFK89, Kam91, Yap83]). It is known that S 2 [Cai01]. That result and its relativized version show that our new collapses indeed improve the previously known results. Since the Kamper AFK Theorem and Yap's Theorem are used in the literature as bridges in a variety of resultsranging from the study of unique solutions to issues of approximationour results implicitly strengthen all those results.
Robust reductions
 Theory of Computing Systems
, 1999
"... We continue the study of robust reductions initiated by Gavaldà and Balcázar. In particular, a 1991 paper of Gavaldà and Balcázar [7] claimed an optimal separation between the power of robust and nondeterministic strong reductions. Unfortunately, their proof is invalid. We reestablish their theorem ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
We continue the study of robust reductions initiated by Gavaldà and Balcázar. In particular, a 1991 paper of Gavaldà and Balcázar [7] claimed an optimal separation between the power of robust and nondeterministic strong reductions. Unfortunately, their proof is invalid. We reestablish their theorem. Generalizing robust reductions, we note that robustly strong reductions are built from two restrictions, robust underproductivity and robust overproductivity, both of which have been separately studied before in other contexts. By systematically analyzing the power of these reductions, we
Tally NP Sets and Easy Census Functions
, 1998
"... We study the question of whether every P set has an easy (i.e., polynomialtime computable) census function. We characterize this question in terms of unlikely collapses of language and function classes such as #P 1 ` FP, where #P 1 is the class of functions that count the witnesses for tally NP sets ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We study the question of whether every P set has an easy (i.e., polynomialtime computable) census function. We characterize this question in terms of unlikely collapses of language and function classes such as #P 1 ` FP, where #P 1 is the class of functions that count the witnesses for tally NP sets. We prove that every #P PH 1 function can be computed in FP #P #P 1 1 . Consequently, every P set has an easy census function if and only if every set in the polynomial hierarchy does. We show that the assumption #P 1 ` FP implies P = BPP and PH ` MOD k P for each k 2, which provides further evidence that not all sets in P have an easy census function. We also relate a set's property of having an easy census function to other wellstudied properties of sets, such as rankability and scalability (the closure of the rankable sets under Pisomorphisms). Finally, we prove that it is no more likely that the census function of any set in P can be approximated (more precisely, can be n ff e...
DistributionallyHard Languages
 In COCOON 99, Lecture Notes in Computer Science 1627
, 2000
"... Cai and Selman [CS99] defined a modification of Levin's notion of average polynomial time and proved, for every Pbiimmune language L and every polynomialtime computable distribution with infinite support, that L is not recognizable in polynomial time on the average. We call such languages di ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Cai and Selman [CS99] defined a modification of Levin's notion of average polynomial time and proved, for every Pbiimmune language L and every polynomialtime computable distribution with infinite support, that L is not recognizable in polynomial time on the average. We call such languages distributionallyhard. Pavan and Selman [PS00] proved that there exist distributionallyhard sets that are not Pbiimmune if and only P contains Pprintableimmune sets. We extend this characterizion to include assertions about several traditional questions about immunity, about finding witnesses for NPmachines, and about existence of oneway functions. Similarly, we address the question of whether NP contains sets that are distributionally hard. Several of our results are implications for which we cannot prove whether or not their converse holds. In nearly all such cases we provide oracles relative to which the converse fails.
Relativizations of the PPrintable Sets and the Sets with Small Generalized Kolmogorov Complexity
, 1992
"... Although tally sets are generally considered to be weak when used as oracles, it is shown here that in relativizing certain complexity classes, they are in fact no less powerful than any other class of sets and are more powerful than the class of recursive sets. More specifically, relativizations of ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Although tally sets are generally considered to be weak when used as oracles, it is shown here that in relativizing certain complexity classes, they are in fact no less powerful than any other class of sets and are more powerful than the class of recursive sets. More specifically, relativizations of the classes of Pprintable sets and sets with small Generalized Kolmogorov complexity (SGK) are studied. It is shown here that all sparse sets are P TALLY printable and are in SGK TALLY , and that there are selfPprintable sets that are neither P REC printable nor in SGK REC . There are also sets that are P REC printable and in SGK REC that are not selfPprintable. Relativizations to various subrecursive oracles are also presented. A restriction on the number of oracle queries is also presented, with the result that relativizing SGK to any oracle with at most O(log n) queries results in a set that is still in SGK. 1 Introduction Tally sets have generally been considered wea...