Results 1  10
of
21
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.
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 42 (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 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 41 (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...
Inverting Onto Functions
, 1996
"... We look at the hypothesis that all honest onto polynomialtime computable functions have a polynomialtime computable inverse. We show this hypothesis equivalent to several other complexity conjectures including ffl In polynomial time, one can find accepting paths of nondeterministic polynomialtim ..."
Abstract

Cited by 37 (6 self)
 Add to MetaCart
We look at the hypothesis that all honest onto polynomialtime computable functions have a polynomialtime computable inverse. We show this hypothesis equivalent to several other complexity conjectures including ffl In polynomial time, one can find accepting paths of nondeterministic polynomialtime Turing machines that accept \Sigma . ffl Every total multivalued nondeterministic function has a polynomialtime computable refinement. ffl In polynomial time, one can compute satisfying assignments for any polynomialtime computable set of satisfiable formulae. ffl In polynomial time, one can convert the accepting computations of any nondeterministic Turing machine that accepts SAT to satisfying assignments. We compare these hypotheses with several other important complexity statements. We also examine the complexity of these statements where we only require a single bit instead of the entire inverse. 1 Introduction Understanding the power of nondeterminism has been one of the pri...
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 24 (7 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...
Complete Sets and Structure in Subrecursive Classes
 In Proceedings of Logic Colloquium '96
, 1998
"... In this expository paper, we investigate the structure of complexity classes and the structure of complete sets therein. We give an overview of recent results on both set structure and class structure induced by various notions of reductions. 1 Introduction After the demonstration of the completene ..."
Abstract

Cited by 16 (1 self)
 Add to MetaCart
In this expository paper, we investigate the structure of complexity classes and the structure of complete sets therein. We give an overview of recent results on both set structure and class structure induced by various notions of reductions. 1 Introduction After the demonstration of the completeness of several problems for NP by Cook [Coo71] and Levin [Lev73] and for many other problems by Karp [Kar72], the interest in completeness notions in complexity classes has tremendously increased. Virtually every form of reduction known in computability theory has found its way to complexity theory. This is usually done by imposing time and/or space bounds on the computational power of the device representing the reduction. Early on, Ladner et al. [LLS75] categorized the then known types of reductions and made a comparison between these by constructing sets that are reducible to each other via one type of reduction and not reducible via the other. They however were interested just in the rela...
On the Structure of Low Sets
 PROC. 10TH STRUCTURE IN COMPLEXITY THEORY CONFERENCE, IEEE
, 1995
"... Over a decade ago, Schöning introduced the concept of lowness into structural complexity theory. Since then a large body of results has been obtained classifying various complexity classes according to their lowness properties. In this paper we highlight some of the more recent advances on selected ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
Over a decade ago, Schöning introduced the concept of lowness into structural complexity theory. Since then a large body of results has been obtained classifying various complexity classes according to their lowness properties. In this paper we highlight some of the more recent advances on selected topics in the area. Among the lowness properties we consider are polynomialsize circuit complexity, membership comparability, approximability, selectivity, and cheatability. Furthermore, we review some of the recent results concerning lowness for counting classes.
The Isomorphism Conjecture Holds and Oneway Functions Exist Relative to an Oracle
 Journal of Computer and System Sciences
, 1994
"... In this paper we demonstrate an oracle relative to which there are oneway functions but every paddable 1lidegree collapses to an isomorphism type, thus yielding a relativized failure of the JosephYoung Conjecture (JYC) [JY85]. We then use this result to construct an oracle relative to which t ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
In this paper we demonstrate an oracle relative to which there are oneway functions but every paddable 1lidegree collapses to an isomorphism type, thus yielding a relativized failure of the JosephYoung Conjecture (JYC) [JY85]. We then use this result to construct an oracle relative to which the Isomorphism Conjecture (IC) is true but oneway functions exist, which answers an open question of Fenner, Fortnow, and Kurtz [FFK92]. Thus, there are now relativizations realizing every one of the four possible states of affairs between the IC and the existence of oneway functions. 1 Introduction Berman and Hartmanis [BH76, BH77] showed that if two languages A and B are equivalent to one another under polynomialtime manytoone reductions and if they are both paddable then they are polynomialtime isomorphic. After surveying all of the thenknown NPcomplete languages and discovering that each was indeed paddable, they posed: The Isomorphism Conjecture (IC) Every NPcomplete lan...
On the Cutting Edge of Relativization: The Resource Bounded Injury Method
, 1994
"... In this report we present a new method of diagonalization that is a refinement of the wellknown finite injury priority method discovered independently by Friedberg and Muchnik in 1957. In the resource bounded injury method , it is necessary in addition to proving that the number injuries for a give ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
In this report we present a new method of diagonalization that is a refinement of the wellknown finite injury priority method discovered independently by Friedberg and Muchnik in 1957. In the resource bounded injury method , it is necessary in addition to proving that the number injuries for a given requirement is finite to carefully count these injuries and prove that this number does not exceed a bound given by the index of the requirement. The method is used to construct an oracle relative to which the polynomial time hierarchy collapses to an extent that the second level of this hierarchy (P NP A ) captures nondeterministic exponential time. This oracle is an answer to an open problem posed by Heller in 1984 that has thus far resisted existing methods and that has recently regained interest by work of Fu et. al. and by work of Homer and Mocas. Moreover, our oracle provides a constructive counterexample to Sewelson's conjecture that does not make use of information theoretical l...
The firstorder isomorphism theorem
 In Foundations of Software Technology and Theoretical Computer Science: 21st Conference
, 2001
"... Abstract. For any class C und closed under NC 1 reductions, it is shown that all sets complete for C under firstorder (equivalently, Dlogtimeuniform AC 0) reductions are isomorphic under firstorder computable isomorphisms. 1 ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
Abstract. For any class C und closed under NC 1 reductions, it is shown that all sets complete for C under firstorder (equivalently, Dlogtimeuniform AC 0) reductions are isomorphic under firstorder computable isomorphisms. 1