#### Filter Results:

- Full text PDF available (50)

#### Publication Year

1989

2017

- This year (2)
- Last five years (7)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Stephen A. Fenner, Lance Fortnow, Stuart A. Kurtz
- Structure in Complexity Theory Conference
- 1991

- Stephen A. Fenner, Lance Fortnow, Ashish V. Naik, John D. Rogers
- IEEE Conference on Computational Complexity
- 1996

We look at the hypothesis that all honest onto polynomial-time computable functions have a polynomial-time computable inverse. We show this hypothesis equivalent to several other complexity conjectures including In polynomial time, one can nd accepting paths of nondeterministic polynomial-time Turing machines that accept. Every total multivalued… (More)

- Stephen A. Fenner, Frederic Green, Steven Homer, Randall Pruim
- Electronic Colloquium on Computational Complexity
- 1999

It is shown that determining whether a quantum computation has a non-zero probability of accepting is at least as hard as the polynomial time hierarchy. This hardness result also applies to determining in general whether a given quantum basis state appears with nonzero amplitude in a superposition, or whether a given quantum bit has positive expectation… (More)

- Stephen A. Fenner, Lance Fortnow, Stuart A. Kurtz
- SIAM J. Comput.
- 1992

We introduce symmetric perfect generic sets. These sets vary from the usual generic sets by allowing limited innnite encoding into the oracle. We then show that the Berman-Hartmanis isomorphism conjecture BH77] holds relative to any sp-generic oracle, i.e., for any symmetric perfect generic set A, all NP A-complete sets are polynomial-time isomorphic… (More)

- Stephen A. Fenner
- Structure in Complexity Theory Conference
- 1991

- Stephen A. Fenner, Marcus Schaefer
- Math. Log. Q.
- 1999

We define and study a new notion called k-immunity that lies between immunity and hyperimmunity in strength. Our interest in k-immunity is justified by the result that ∅ ′ does not k-tt reduce to a k-immune set, which improves a previous result by Kobzev [7, 13]. We apply the result to show that ∅ ′ does not btt-reduce to MIN, the set of minimal programs.… (More)

- Stephen A. Fenner
- ArXiv
- 2002

We show that for a wide range of probability measures, constructive gales are interchangable with constructive supergales for defining constructive Hausdorff dimension, thus generalizing a previous independent result of Hitchcock [2] and partially answering an open question of Lutz [5].

- Stephen A. Fenner, Lance Fortnow, Stuart A. Kurtz, Lide Li
- Inf. Comput.
- 2003

We show how to use various notions of genericity as a tool in oracle creation. We give an abstract deenition of genericity that encompasses a large collection of diierent generic notions. We then show several speciic results: 1. We show how to use standard (Cohen) genericity to create an oracle where the isomorphism conjecture fails in a strong way. 2. We… (More)

- Stephen A. Fenner, Steven Homer, Mitsunori Ogihara, Alan L. Selman
- STACS
- 1993

This paper focuses on complexity classes of partial functions that are computed in polynomial time with oracles in NPMV, the class of all multivalued partial functions that are computable nondeterministically in polynomial time. Concerning deterministic polynomial-time reducibilities, it is shown that 1. A multivalued partial function is polynomial-time… (More)

We show that if a language is recognized within certain error bounds by constant-depth quantum circuits over a finite family of gates, then it is computable in (classical) polynomial time. In particular, for 0 < ≤ δ ≤ 1, we define BQNC 0 ,δ to be the class of languages recognized by constant depth, polynomial-size quantum circuits with acceptance… (More)