Abstract
We show that, for any abstract complexity measure in the sense of Blum and for any computable function f (or computable operator F), the class of problems which are f-speedable (or F-speedable) does not have effective measure 0. On the other hand, for sufficiently fast growing f (or F), the class of the nonspeedable problems does not have effective measure 0 too. These results answer some questions raised by Calude and Zimand in [CZ96] and [Zim06]. We also give a short quantitative analysis of Borodin and Trakhtenbrot’s Gap Theorem which corrects a claim in [CZ96] and [Zim06].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ambos-Spies, K.: Resource-bounded genericity. In: Cooper, S., Slaman, T., Wainer, S. (eds.) Computability, enumerability, unsolvability. Directions in recursion theory, pp. 1–60. Cambridge University Press, Cambridge (1996)
Ambos-Spies, K., Mayordomo, E.: Resource-bounded measure and randomness. In: Sorbi, A. (ed.) Complexity, Logic and Recursion Theory, pp. 1–47. Dekker, New York (1997)
Ambos-Spies, K., Reimann, J.: Effective Baire category concepts. In: Proc. Sixth Asian Logic Conference 1996, pp. 13–29. Singapore University Press (1997)
Blum, M.: A machine-independent theory of the complexity of recursive functions. Journal of the ACM 14(2), 322–336 (1967)
Borodin, A.: Computational complexity and the existence of complexity gaps. Journal of the ACM 19(1), 158–174 (1972)
Calude, C., Zimand, M.: Effective category and measure in abstract complexity theory. Theoretical Computer Science 154(2), 307–327 (1996)
Lutz, J.: Almost everywhere high nonuniform complexity. Journal of Computer and System Sciences 44, 220–258 (1992)
Mayordomo, E.: Almost every set in exponential time is P-bi-immune. Theoretical Computer Science 136, 487–506 (1994)
Mehlhorn, K.: On the size of sets of computable functions. In: Proceedings of the 14th IEEE Symposium on Switching and Automata Theory, pp. 190–196 (1973)
Meyer, A.R., Fischer, P.C.: Computational speed-up by effective operators. Journal of Symbolic Logic 37(1), 55–68 (1972)
Schnorr, C.: Process complexity and effective random tests. Journal of Computer and System Sciences 7, 376–388 (1973)
Trakhtenbrot, B.A.: Complexity of algorithms and computations. Course Notes, Novosibirsk (in Russian) (1967)
Zimand, M.: Computational Complexity: A Quantitative Perspective. Elsevier, Amsterdam (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ambos-Spies, K., Kräling, T. (2009). Quantitative Aspects of Speed-Up and Gap Phenomena. In: Chen, J., Cooper, S.B. (eds) Theory and Applications of Models of Computation. TAMC 2009. Lecture Notes in Computer Science, vol 5532. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02017-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-02017-9_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02016-2
Online ISBN: 978-3-642-02017-9
eBook Packages: Computer ScienceComputer Science (R0)