Equivalence of measures of complexity classes

Abstract

Listen

Translate article

The resource-bounded measures of complexity classes are shown to be robust with respect to certain changes in the underlying probability measure. Specifically, for any real number δ > 0, any uniformly polynomial-time computable sequence β=(β 0,β 1,β 2), ... of real numbers (biases) β i ε [δ, 1−δ], and any complexity class C (such as P, NP, BPP, P/Poly, PH, PSPACE, etc.) that is closed under positive, polynomial-time, truth-table reductions with queries of at most linear length, it is shown that the following two conditions are equivalent. (1) C has p-measure 0 (respectively, measure 0 in E, measure 0 in E2) relative to the coin-toss probability measure given by the sequence β. (2) C has p-measure 0 (respectively, measure 0 in E, measure 0 in E2) 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 measure into an efficient martingale for a “nearby” probability measure; (ii) the construction of a positive bias reduction, a truthtable reduction that encodes a positive, efficient, approximate simulation of one bias sequence by another; and (iii) the use of such a reduction to dilate an efficient martingale for the simulated probability measure into an efficient martingale for the simulating probability measure.KeywordsProbability MeasureComplexity ClassFull VersionPositive SequenceEquivalence TheoremThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.