Equivalence of measures of complexity classes
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 (fi) over tilde = (fi(0); fi(1); fi(2);:::): of real numbers (biases) fi(i) 2 [; 1 ;], and for 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 E(2)) relative to the coin-toss probability measure given by the sequence (fi) over tilde. (2) C has p-measure 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 measure into an efficient martingale for a \nearby" probability measure; (ii) the construction of a positive bias reduction, a truth-table 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 ecient martingale for the simulating probability measure.
complexity classes resource-bounded measure martingales