A note on dense and nondense families of complexity classes

AbstractIn a model for a measure of computational complexity, Ф, for a partial recursive functiont, letRtФ denote all partial recursive functions having the same domain ast and computable within timet. Let ΣФ = {RtФ|t is recursive} and let ΩФ = { $$R_{\Phi _i } $$ |Фi is actually the running time function of a computation}. ΣФ and ΩФ are partially ordered under set-theoretic inclusion. These partial orderings have been extensively investigated by Borodin, Constable and Hopcroft in [3]. In this paper we present a simple uniform proof of some of their results. For example, we give a procedure for easily calculating a model of computational complexity Ф for which ΣФ is not dense while ΩФ is dense. In our opinion, our technique is so transparent that it indicates that certain questions of density are not intrinsically interesting for general abstract measures of computational complexity, Ф. (This is not to say that similar questions are necessarily uninteresting for specific models.)