Results 1  10
of
43
A Taxonomy of Complexity Classes of Functions
 Journal of Computer and System Sciences
, 1992
"... This paper comprises a systematic comparison of several complexity classes of functions that are computed nondeterministically in polynomial time or with an oracle in NP. There are three components to this work. ffl A taxonomy is presented that demonstrates all known inclusion relations of these cla ..."
Abstract

Cited by 88 (12 self)
 Add to MetaCart
This paper comprises a systematic comparison of several complexity classes of functions that are computed nondeterministically in polynomial time or with an oracle in NP. There are three components to this work. ffl A taxonomy is presented that demonstrates all known inclusion relations of these classes. For (nearly) each inclusion that is not shown to hold, evidence is presented to indicate that the inclusion is false. As an example, consider FewPF, the class of multivalued functions that are nondeterministically computable in polynomial time such that for each x, there is a polynomial bound on the number of distinct output values of f(x). We show that FewPF ` PF NP tt . However, we show PF NP tt ` FewPF if and only if NP = coNP, and thus PF NP tt ` FewPF is likely to be false. ffl Whereas it is known that P NP (O(log n)) = P NP tt ` P NP [Hem87, Wagb, BH88], we show that PF NP (O(log n)) = PF NP tt implies P = FewP and R = NP. Also, we show that PF NP tt = PF ...
Measure on small complexity classes, with applications for BPP
 In Proceedings of the 35th Symposium on Foundations of Computer Science
, 1994
"... We present a notion of resourcebounded measure for P and other subexponentialtime classes. This genemlization is based on Lutz’s notion of measure, but overcomes the limitations that cause Lptz’s definitions to apply only to classes at least as large as E. We present many of the basic properties ..."
Abstract

Cited by 48 (7 self)
 Add to MetaCart
We present a notion of resourcebounded measure for P and other subexponentialtime classes. This genemlization is based on Lutz’s notion of measure, but overcomes the limitations that cause Lptz’s definitions to apply only to classes at least as large as E. We present many of the basic properties of this measure, and use it to ezplore the class of sets that are hard for BPP. Bennett and Gill showed that almost all sets are hard for BPP; Lutz improved this from Lebesgue measure to measure on ESPACE. We use OUT measure to improve this still further, showing that for all E> 0, almost every set in E, is hard for BPP, where E, = Us<rDTIME(2”6), which is the best that can be achieved without showing that BPP is properly contained in E. A number of related results are also obtained in this way. 1
Separation of NPcompleteness notions
 SIAM Journal on Computing
, 2001
"... Abstract. We use hypotheses of structural complexity theory to separate various NPcompleteness notions. In particular, we introduce an hypothesis from which we describe a set in NP that is ¡ P Tcomplete but not ¡ P ttcomplete. We provide fairly thorough analyses of the hypotheses that we introduc ..."
Abstract

Cited by 26 (12 self)
 Add to MetaCart
Abstract. We use hypotheses of structural complexity theory to separate various NPcompleteness notions. In particular, we introduce an hypothesis from which we describe a set in NP that is ¡ P Tcomplete but not ¡ P ttcomplete. We provide fairly thorough analyses of the hypotheses that we introduce. Key words. Turing completeness, truthtable completeness, manyone completeness, pselectivity, pgenericity AMS subject classifications. 1. Introduction. Ladner, Lynch, and Selman [LLS75] were the first to compare the strength of polyno), truth), that mialtime reducibilities. They showed, for the common polynomialtime reducibilities, ( ¢ Turing P T ( ¢ table P tt), bounded truthtable ( ¢ P btt), and manyone ( ¢ P m
Isolation, Matching, and Counting: Uniform and Nonuniform Upper Bounds
 Journal of Computer and System Sciences
, 1998
"... We show that the perfect matching problem is in the complexity class SPL (in the nonuniform setting). This provides a better upper bound on the complexity of the matching problem, as well as providing motivation for studying the complexity class SPL. Using similar techniques, we show that counting t ..."
Abstract

Cited by 22 (4 self)
 Add to MetaCart
We show that the perfect matching problem is in the complexity class SPL (in the nonuniform setting). This provides a better upper bound on the complexity of the matching problem, as well as providing motivation for studying the complexity class SPL. Using similar techniques, we show that counting the number of accepting paths of a nondeterministic logspace machine can be done in NL/poly, if the number of paths is small. This clarifies the complexity of the class LogFew (defined and studied in [BDHM91]). Using derandomization techniques, we then improve this to show that this counting problem is in NL. Determining if our other theorems hold in the uniform setting remains an The material in this paper appeared in preliminary form in papers in the Proceedings of the IEEE Conference on Computational Complexity, 1998, and in the Proceedings of the Workshop on Randomized Algorithms, Brno, 1998. y Supported in part by NSF grants CCR9509603 and CCR9734918. z Supported in part by the ...
Applications of TimeBounded Kolmogorov Complexity in Complexity Theory
 Kolmogorov complexity and computational complexity
, 1992
"... This paper presents one method of using timebounded Kolmogorov complexity as a measure of the complexity of sets, and outlines anumber of applications of this approach to di#erent questions in complexity theory. Connections will be drawn among the following topics: NE predicates, ranking functi ..."
Abstract

Cited by 18 (4 self)
 Add to MetaCart
This paper presents one method of using timebounded Kolmogorov complexity as a measure of the complexity of sets, and outlines anumber of applications of this approach to di#erent questions in complexity theory. Connections will be drawn among the following topics: NE predicates, ranking functions, pseudorandom generators, and hierarchy theorems in circuit complexity.
When Worlds Collide: Derandomization, Lower Bounds, and Kolmogorov Complexity
 OF REDUCTIONS,IN“PROC.29THACM SYMPOSIUM ON THEORY OF COMPUTING
, 1997
"... This paper has the following goals:  To survey some of the recent developments in the field of derandomization.  To introduce a new notion of timebounded Kolmogorov complexity (KT), and show that it provides a useful tool for understanding advances in derandomization, and for putting vario ..."
Abstract

Cited by 18 (5 self)
 Add to MetaCart
This paper has the following goals:  To survey some of the recent developments in the field of derandomization.  To introduce a new notion of timebounded Kolmogorov complexity (KT), and show that it provides a useful tool for understanding advances in derandomization, and for putting various results in context.  To illustrate the usefulness of KT, by answering a question that has been posed in the literature, and  To pose some promising directions for future research.
Limitations of the Upward Separation Technique
, 1990
"... this paper was presented at the 16th International Colloquium on Automata, Languages, and Programming [3] ..."
Abstract

Cited by 16 (0 self)
 Add to MetaCart
this paper was presented at the 16th International Colloquium on Automata, Languages, and Programming [3]
Easy sets and hard certificate schemes
 Acta Informatica
, 1997
"... Can easy sets only have easy certificate schemes? In this paper, we study the class of sets that, for all NP certificate schemes (i.e., NP machines), always have easy acceptance certificates (i.e., accepting paths) that can be computed in polynomial time. We also study the class of sets that, for al ..."
Abstract

Cited by 16 (4 self)
 Add to MetaCart
Can easy sets only have easy certificate schemes? In this paper, we study the class of sets that, for all NP certificate schemes (i.e., NP machines), always have easy acceptance certificates (i.e., accepting paths) that can be computed in polynomial time. We also study the class of sets that, for all NP certificate schemes, infinitely often have easy acceptance certificates. In particular, we provide equivalent characterizations of these classes in terms of relative generalized Kolmogorov complexity, showing that they are robust. We also provide structural conditions—regarding immunity and class collapses—that put upper and lower bounds on the sizes of these two classes. Finally, we provide negative results showing that some of our positive claims are optimal with regard to being relativizable. Our negative results are proven using a novel observation: we show that the classical “wide spacing ” oracle construction technique yields instant nonbiimmunity results. Furthermore, we establish a result that improves upon Baker, Gill, and Solovay’s classical result that NP = P = NP ∩ coNP holds in some relativized world.
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.
Upward Separation for FewP and Related Classes
, 1994
"... This paper studies the range of application of the upward separation technique that has been introduced by Hartmanis to relate certain structural properties of polynomialtime complexity classes to their exponentialtime analogs and was first applied to NP [Har83]. Later work revealed the limitation ..."
Abstract

Cited by 15 (3 self)
 Add to MetaCart
This paper studies the range of application of the upward separation technique that has been introduced by Hartmanis to relate certain structural properties of polynomialtime complexity classes to their exponentialtime analogs and was first applied to NP [Har83]. Later work revealed the limitations of the technique and identified classes defying upward separation. In particular, it is known that coNP as well as certain promise classes such as BPP, R, and ZPP do not possess upward separation in all relativized worlds [HIS85; HJ93], and it had been suspected that this was also the case for other promise classes such as UP and FewP [All91]. In this paper, we refute this conjecture by proving that, in particular, FewP does display upward separation, thus providing the first upward separation result for a promise class. In fact, this follows from a more general result the proof of which heavily draws on Buhrman, Longpr'e, and Spaan's recently discovered tally encoding of sparse sets. As ...