Results 1  10
of
126
Dimension in Complexity Classes
 SIAM Journal on Computing
, 2000
"... A theory of resourcebounded dimension is developed using gales, which are natural generalizations of martingales. When the resource bound (a parameter of the theory) is unrestricted, the resulting dimension is precisely the classical Hausdorff dimension (sometimes called "fractal dimension"). Othe ..."
Abstract

Cited by 113 (17 self)
 Add to MetaCart
A theory of resourcebounded dimension is developed using gales, which are natural generalizations of martingales. When the resource bound (a parameter of the theory) is unrestricted, the resulting dimension is precisely the classical Hausdorff dimension (sometimes called "fractal dimension"). Other choices of the parameter yield internal dimension theories in E, E 2 , ESPACE, and other complexity classes, and in the class of all decidable problems. In general, if C is such a class, then every set X of languages has a dimension in C, which is a real number dim(X j C) 2 [0; 1]. Along with the elements of this theory, two preliminary applications are presented: 1. For every real number 0 1 2 , the set FREQ( ), consisting of all languages that asymptotically contain at most of all strings, has dimension H()  the binary entropy of  in E and in E 2 . 2. For every real number 0 1, the set SIZE( 2 n n ), consisting of all languages decidable by Boolean circuits of at most 2 n n gates, has dimension in ESPACE.
The quantitative structure of exponential time
 Complexity theory retrospective II
, 1997
"... ABSTRACT Recent results on the internal, measuretheoretic structure of the exponential time complexity classes E and EXP are surveyed. The measure structure of these classes is seen to interact in informative ways with biimmunity, complexity cores, polynomialtime reductions, completeness, circuit ..."
Abstract

Cited by 90 (13 self)
 Add to MetaCart
ABSTRACT Recent results on the internal, measuretheoretic structure of the exponential time complexity classes E and EXP are surveyed. The measure structure of these classes is seen to interact in informative ways with biimmunity, complexity cores, polynomialtime reductions, completeness, circuitsize complexity, Kolmogorov complexity, natural proofs, pseudorandom generators, the density of hard languages, randomized complexity, and lowness. Possible implications for the structure of NP are also discussed. 1
Effective strong dimension in algorithmic information and computational complexity
 SIAM Journal on Computing
, 2004
"... The two most important notions of fractal dimension are Hausdorff dimension, developed by Hausdorff (1919), and packing dimension, developed independently by Tricot (1982) and Sullivan (1984). Both dimensions have the mathematical advantage of being defined from measures, and both have yielded exten ..."
Abstract

Cited by 79 (29 self)
 Add to MetaCart
The two most important notions of fractal dimension are Hausdorff dimension, developed by Hausdorff (1919), and packing dimension, developed independently by Tricot (1982) and Sullivan (1984). Both dimensions have the mathematical advantage of being defined from measures, and both have yielded extensive applications in fractal geometry and dynamical systems. Lutz (2000) has recently proven a simple characterization of Hausdorff dimension in terms of gales, which are betting strategies that generalize martingales. Imposing various computability and complexity constraints on these gales produces a spectrum of effective versions of Hausdorff dimension, including constructive, computable, polynomialspace, polynomialtime, and finitestate dimensions. Work by several investigators has already used these effective dimensions to shed significant new light on a variety of topics in theoretical computer science. In this paper we show that packing dimension can also be characterized in terms of gales. Moreover, even though the usual definition of packing dimension is considerably more complex than that of Hausdorff dimension, our gale characterization of packing dimension is an exact dual
Equivalence of Measures of Complexity Classes
"... The resourcebounded measures of complexity classes are shown to be robust with respect to certain changes in the underlying probability measure. Specifically, for any real number ffi ? 0, any uniformly polynomialtime computable sequence ~ fi = (fi 0 ; fi 1 ; fi 2 ; : : : ) of real numbers (biases ..."
Abstract

Cited by 70 (19 self)
 Add to MetaCart
The resourcebounded measures of complexity classes are shown to be robust with respect to certain changes in the underlying probability measure. Specifically, for any real number ffi ? 0, any uniformly polynomialtime computable sequence ~ fi = (fi 0 ; fi 1 ; fi 2 ; : : : ) of real numbers (biases) fi i 2 [ffi; 1 \Gamma ffi], and any complexity class C (such as P, NP, BPP, P/Poly, PH, PSPACE, etc.) that is closed under positive, polynomialtime, truthtable reductions with queries of at most linear length, it is shown that the following two conditions are equivalent. (1) C has pmeasure 0 (respectively, measure 0 in E, measure 0 in E 2 ) relative to the cointoss probability measure given by the sequence ~ fi. (2) C has pmeasure 0 (respectively, measure 0 in E, measure 0 in E 2 ) relative to the uniform probability measure. The proof introduces three techniques that may be useful in other contexts, namely, (i) the transformation of an efficient martingale for one probability measu...
Calibrating randomness
 J. Symbolic Logic
"... 2. Sets, measure, and martingales 4 2.1. Sets and measure 4 2.2. Martingales 5 ..."
Abstract

Cited by 59 (34 self)
 Add to MetaCart
2. Sets, measure, and martingales 4 2.1. Sets and measure 4 2.2. Martingales 5
Cook versus KarpLevin: Separating Completeness Notions If NP Is Not Small
 Theoretical Computer Science
, 1992
"... Under the hypothesis that NP does not have pmeasure 0 (roughly, that NP contains more than a negligible subset of exponential time), it is show n that there is a language that is P T complete ("Cook complete "), but not P m complete ("KarpLevin complete"), for NP. This conclusion, widely be ..."
Abstract

Cited by 56 (12 self)
 Add to MetaCart
Under the hypothesis that NP does not have pmeasure 0 (roughly, that NP contains more than a negligible subset of exponential time), it is show n that there is a language that is P T complete ("Cook complete "), but not P m complete ("KarpLevin complete"), for NP. This conclusion, widely believed to be true, is not known to follow from P 6= NP or other traditional complexitytheoretic hypotheses. Evidence is presented that "NP does not have pmeasure 0" is a reasonable hypothesis with many credible consequences. Additional such consequences proven here include the separation of many truthtable reducibilities in NP (e.g., k queries versus k+1 queries), the class separation E 6= NE, and the existence of NP search problems that are not reducible to the corresponding decision problems. This research was supported in part by National Science Foundation Grant CCR9157382, with matching funds from Rockwell International. 1 Introduction The NPcompleteness of decision problems has...
Almost Every Set in Exponential Time is PBiImmune
 Theoretical Computer Science
, 1994
"... . A set A is Pbiimmune if neither A nor its complement has an infinite subset in P. We investigate here the abundance of Pbiimmune languages in linearexponential time (E). We prove that the class of Pbiimmune sets has measure 1 in E. This implies that `almost' every language in E is Pbiimmun ..."
Abstract

Cited by 51 (5 self)
 Add to MetaCart
. A set A is Pbiimmune if neither A nor its complement has an infinite subset in P. We investigate here the abundance of Pbiimmune languages in linearexponential time (E). We prove that the class of Pbiimmune sets has measure 1 in E. This implies that `almost' every language in E is Pbiimmune, that is to say, almost every set recognizable in linear exponential time has no algorithm that recognizes it and works in polynomial time on an infinite number of instances. A bit further, we show that every prandom (pseudorandom) language is Ebiimmune. Regarding the existence of Pbiimmune sets in NP, we show that if NP does not have measure 0 in E, then NP contains a Pbiimmune set. Another consequence is that the class of p m complete languages for E has measure 0 in E. In contrast, it is shown that in E, and even in REC, the class of Pbiimmune languages lacks the property of Baire (the Baire category analogue of Lebesgue measurability). * This work was supported by a Spani...
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
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.
Degrees of random sets
, 1991
"... An explicit recursiontheoretic definition of a random sequence or random set of natural numbers was given by MartinLöf in 1966. Other approaches leading to the notions of nrandomness and weak nrandomness have been presented by Solovay, Chaitin, and Kurtz. We investigate the properties of nrando ..."
Abstract

Cited by 46 (4 self)
 Add to MetaCart
An explicit recursiontheoretic definition of a random sequence or random set of natural numbers was given by MartinLöf in 1966. Other approaches leading to the notions of nrandomness and weak nrandomness have been presented by Solovay, Chaitin, and Kurtz. We investigate the properties of nrandom and weakly nrandom sequences with an emphasis on the structure of their Turing degrees. After an introduction and summary, in Chapter II we present several equivalent definitions of nrandomness and weak nrandomness including a new definition in terms of a forcing relation analogous to the characterization of ngeneric sequences in terms of Cohen forcing. We also prove that, as conjectured by Kurtz, weak nrandomness is indeed strictly weaker than nrandomness. Chapter III is concerned with intrinsic properties of nrandom sequences. The main results are that an (n + 1)random sequence A satisfies the condition A (n) ≡T A⊕0 (n) (strengthening a result due originally to Sacks) and that nrandom sequences satisfy a number of strong independence properties, e.g., if A ⊕ B is nrandom then A is nrandom relative to B. It follows that any countable distributive lattice can be embedded