Resource Bounded Randomness and Weakly Complete Problems

We introduce and study resource bounded random sets based on Lutz's concept of resource bounded measure ([5, 6]). We concentrate on nc-randomness (c ≥ 2) which corresponds to the polynomial time bounded (p-) measure of Lutz, and which is adequate for studying the internal and quantative structure of E = DTIME(2lin). First we show that the class of nc-random sets has p-measure 1. This provides a new, simplified approach to p-measure 1-results. Next we compare randomness with genericity (in the sense of [1, 2]) and we show that nc+1-random sets are nc-generic, whereas the converse fails. From the former we conclude thatnc-random sets are not p-btt-complete for E. Our technical main results describe the distribution of the nc-random sets under p-m-reducibility. We show that every nc-random set in E has nk-random predecessors in E for any k ≥ 1, whereas the amount of randomness of the successors is bounded. We apply this result to answer a question raised by Lutz [8]: We show that the class of weakly complete sets has measure 1 in E and that there are weakly complete problems which are not p-btt-complete for E.

[1]  C. Schnorr Zufälligkeit und Wahrscheinlichkeit , 1971 .

[2]  Jack H. Lutz,et al.  Category and Measure in Complexity Classes , 1990, SIAM J. Comput..

[3]  Pekka Orponen,et al.  The Density and Complexity of Polynomial Cores for Intractable Sets , 1986, Inf. Control..

[4]  Klaus Ambos-Spies,et al.  Diagonalizing over Deterministic Polynomial Time , 1987, CSL.

[5]  Jack H. Lutz,et al.  The complexity and distribution of hard problems , 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.

[6]  Per Martin-Löf,et al.  The Definition of Random Sequences , 1966, Inf. Control..

[7]  Jack H. Lutz Almost Everywhere High Nonuniform Complexity , 1992, J. Comput. Syst. Sci..

[8]  Jack H. Lutz,et al.  Measure, Stochasticity, and the Density of Hard Languages , 1994, SIAM J. Comput..

[9]  Klaus Ambos-Spies,et al.  Diagonalizations over Polynomial Time Computable Sets , 1987, Theor. Comput. Sci..