Results 1  10
of
23
An oracle builder’s toolkit
, 2002
"... We show how to use various notions of genericity as tools in oracle creation. In particular, 1. we give an abstract definition of genericity that encompasses a large collection of different generic notions; 2. we consider a new complexity class AWPP, which contains BQP (quantum polynomial time), and ..."
Abstract

Cited by 47 (10 self)
 Add to MetaCart
We show how to use various notions of genericity as tools in oracle creation. In particular, 1. we give an abstract definition of genericity that encompasses a large collection of different generic notions; 2. we consider a new complexity class AWPP, which contains BQP (quantum polynomial time), and infer several strong collapses relative to SPgenerics; 3. we show that under additional assumptions these collapses also occur relative to Cohen generics; 4. we show that relative to SPgenerics, ULIN ∩ coULIN ̸ ⊆ DTIME(n k) for any k, where ULIN is unambiguous linear time, despite the fact that UP ∪ (NP ∩ coNP) ⊆ P relative to these generics; 5. we show that there is an oracle relative to which NP/1∩coNP/1 ̸ ⊆ (NP∩coNP)/poly; and 6. we use a specialized notion of genericity to create an oracle relative to which NP BPP ̸ ⊇ MA.
On provably disjoint NPpairs
 ELECTRONIC COLLOQUIUM ON COMPUTATIONAL COMPLEXITY
, 1994
"... In this paper we study the pairs (U; V ) of disjoint NPsets representable in a theory T of Bounded Arithmetic in the sense that T proves U " V = ;. For a large variety of theories T we exhibit a natural disjoint NPpair which is complete for the class of disjoint NPpairs representable in T . Th ..."
Abstract

Cited by 42 (2 self)
 Add to MetaCart
In this paper we study the pairs (U; V ) of disjoint NPsets representable in a theory T of Bounded Arithmetic in the sense that T proves U " V = ;. For a large variety of theories T we exhibit a natural disjoint NPpair which is complete for the class of disjoint NPpairs representable in T . This allows us to clarify the approach to showing independence of central open questions in Boolean complexity from theories of Bounded Arithmetic initiated in [11]. Namely, in order to prove the independence result from a theory T , it is sufficient to separate the corresponding complete NPpair by a (quasi)polytime computable set. We remark that such a separation is obvious for the theory S(S 2 ) + S \Sigma 2 \Gamma PIND considered in [11], and this gives an alternative proof of the main result from that paper.
The Isomorphism Conjecture Fails Relative to a Random Oracle
 J. ACM
, 1996
"... Berman and Hartmanis [BH77] conjectured that there is a polynomialtime computable isomorphism between any two languages complete for NP with respect to polynomialtime computable manyone (Karp) reductions. Joseph and Young [JY85] gave a structural definition of a class of NPcomplete setsthe kc ..."
Abstract

Cited by 40 (4 self)
 Add to MetaCart
Berman and Hartmanis [BH77] conjectured that there is a polynomialtime computable isomorphism between any two languages complete for NP with respect to polynomialtime computable manyone (Karp) reductions. Joseph and Young [JY85] gave a structural definition of a class of NPcomplete setsthe kcreative setsand defined a class of sets (the K k f 's) that are necessarily kcreative. They went on to conjecture that certain of these K k f 's are not isomorphic to the standard NPcomplete sets. Clearly, the BermanHartmanis and JosephYoung conjectures cannot both be correct. We introduce a family of strong oneway functions, the scrambling functions. If f is a scrambling function, then K k f is not isomorphic to the standard NPcomplete sets, as Joseph and Young conjectured, and the BermanHartmanis conjecture fails. Indeed, if scrambling functions exist, then the isomorphism also fails at higher complexity classes such as EXP and NEXP. As evidence for the existence of scramb...
The Role of Relativization in Complexity Theory
 Bulletin of the European Association for Theoretical Computer Science
, 1994
"... Several recent nonrelativizing results in the area of interactive proofs have caused many people to review the importance of relativization. In this paper we take a look at how complexity theorists use and misuse oracle results. We pay special attention to the new interactive proof systems and progr ..."
Abstract

Cited by 40 (9 self)
 Add to MetaCart
Several recent nonrelativizing results in the area of interactive proofs have caused many people to review the importance of relativization. In this paper we take a look at how complexity theorists use and misuse oracle results. We pay special attention to the new interactive proof systems and program checking results and try to understand why they do not relativize. We give some new results that may help us to understand these questions better.
The Isomorphism Conjecture Holds Relative to an Oracle
, 1996
"... We introduce symmetric perfect generic sets. These sets vary from the usual generic sets by allowing limited infinite encoding into the oracle. We then show that the BermanHartmanis isomorphism conjecture [BH77] holds relative to any spgeneric oracle, i.e., for any symmetric perfect generic set A, ..."
Abstract

Cited by 26 (11 self)
 Add to MetaCart
We introduce symmetric perfect generic sets. These sets vary from the usual generic sets by allowing limited infinite encoding into the oracle. We then show that the BermanHartmanis isomorphism conjecture [BH77] holds relative to any spgeneric oracle, i.e., for any symmetric perfect generic set A, all NP^Acomplete sets are polynomialtime isomorphic relative to A. Prior to this work there were no known oracles relative to which the isomorphism conjecture held. As part of our proof that the isomorphism conjecture holds relative to symmetric perfect generic sets we also show that P A = FewP A for any symmetric perfect generic A.
Separability and Oneway Functions
, 2000
"... We settle all relativized questions of the relationships between the following ve propositions: P = NP P = UP P = NP \ coNP All disjoint pairs of NP sets are Pseparable. ..."
Abstract

Cited by 25 (13 self)
 Add to MetaCart
We settle all relativized questions of the relationships between the following ve propositions: P = NP P = UP P = NP \ coNP All disjoint pairs of NP sets are Pseparable.
NP Might Not Be As Easy As Detecting Unique Solutions
, 1998
"... We construct an oracle A such that P A = \PhiP A and NP A = EXP A : This relativized world has several amazing properties: ffl The oracle A gives the first relativized world where one can solve satisfiability on formulae with at most one assignment yet P 6= NP. ffl The oracle A is the fi ..."
Abstract

Cited by 23 (6 self)
 Add to MetaCart
We construct an oracle A such that P A = \PhiP A and NP A = EXP A : This relativized world has several amazing properties: ffl The oracle A gives the first relativized world where one can solve satisfiability on formulae with at most one assignment yet P 6= NP. ffl The oracle A is the first where P A = UP A 6= NP A = coNP A : ffl The construction gives a much simpler proof than Fenner, Fortnow and Kurtz of a relativized world where all NPcomplete sets are polynomialtime isomorphic. It is the first such computable oracle. ffl Relative to A we have a collapse of \PhiEXP A ` ZPP A ` P A /poly. We also create a different relativized world where there exists a set L in NP that is NP complete under reductions that make one query to L but not under traditional manyone reductions. This contrasts with the result of Buhrman, Spaan and Torenvliet showing that these two completeness notions for NEXP coincide. 1 Introduction Valiant and Vazirani [VV86] show the sur...
Disjoint NPPairs
, 2003
"... We study the question of whether the class DisNP of disjoint pairs (A, B) of NPsets contains a complete pair. The question relates to the question of whether optimal proof systems exist, and we relate it to the previously studied question of whether there exists a disjoint pair of NPsets that is N ..."
Abstract

Cited by 20 (6 self)
 Add to MetaCart
We study the question of whether the class DisNP of disjoint pairs (A, B) of NPsets contains a complete pair. The question relates to the question of whether optimal proof systems exist, and we relate it to the previously studied question of whether there exists a disjoint pair of NPsets that is NPhard. We show under reasonable hypotheses that nonsymmetric disjoint NPpairs exist, which provides additional evidence for the existence of Pinseparable disjoint NPpairs. We construct
Survey of disjoint NPpairs and relations to propositional proof systems
 Essays in Theoretical Computer Science in Memory of Shimon Even
, 2006
"... ..."
Properties of NPcomplete sets
 In Proceedings of the 19th IEEE Conference on Computational Complexity
, 2004
"... We study several properties of sets that are complete for NP. We prove that if L is an NPcomplete set and S � ⊇ L is a pselective sparse set, then L − S is ≤p mhard for NP. We demonstrate existence of a sparse set S ∈ DTIME(22n) such that for every L ∈ NP − P, L − S is not ≤p mhard for NP. Moreo ..."
Abstract

Cited by 10 (6 self)
 Add to MetaCart
We study several properties of sets that are complete for NP. We prove that if L is an NPcomplete set and S � ⊇ L is a pselective sparse set, then L − S is ≤p mhard for NP. We demonstrate existence of a sparse set S ∈ DTIME(22n) such that for every L ∈ NP − P, L − S is not ≤p mhard for NP. Moreover, we prove for every L ∈ NP − P, that there exists a sparse S ∈ EXP such that L − S is not ≤ p mhard for NP. Hence, removing sparse information in P from a complete set leaves the set complete, while removing sparse information in EXP from a complete set may destroy its completeness. Previously, these properties were known only for exponential time complexity classes. We use hypotheses about pseudorandom generators and secure oneway permutations to derive consequences for longstanding open questions about whether NPcomplete sets are immune. For example, assuming that pseudorandom generators and secure oneway permutations exist, it follows easily that NPcomplete sets are not pimmune. Assuming only that secure oneway permutations exist, we prove that no NPcomplete set is DTIME(2nɛ)immune. Also, using these hypotheses we show that no NPcomplete set is quasipolynomialclose to P. We introduce a strong but reasonable hypothesis and infer from it that disjoint Turingcomplete sets for NP are not closed under union. Our hypothesis asserts existence of a UPmachine M that accepts 0 ∗ such that for some 0 < ɛ < 1, no 2nɛ timebounded machine can correctly compute infinitely many accepting computations of M. We show that if UP∩coUP contains DTIME(2nɛ)biimmune sets, then this hypothesis is true.