Abstract
A classic result known as the speed-up theorem in machine-independent complexity theory shows that there exist some computable functions that do not have best programs for them [2][3]. In this paper we lift this result into type-2 computation under the notion of our type-2 complexity theory depicted in [15][13][14]. While the speed-up phenomenon is essentially inherited from type-1 computation, we cannot directly apply the original proof to our type-2 speed-up theorem because the oracle queries can interfere the speed of the programs and hence the cancellation strategy used in the original proof is no longer correct at type-2. We also argue that a type-2 analog of the operator speed-up theorem [16] does not hold, which suggests that this curious phenomenon disappears in higher-typed computation beyond type-2.
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
Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.): Handbook of Logic in Computer Science. In: Background: Mathematical Structures, Oxford University Press, Oxford (1992)
Blum, M.: A machine-independent theory of the complexity of recursive functions. Journal of the ACM 14(2), 322–336 (1967)
Blum, M.: On effective procedures for speeding up algorithms. Journal of the ACM 18(2), 290–305 (1971)
Calude, C.: Theories of Computational Complexity. Number 35 in Annals of Discrete Mathematics. Elsevier Science Publisher, B.V., North-Holland (1988)
Cook, S.A.: Computability and complexity of higher type functions. In: Logic from Computer Science, pp. 51–72. Springer, Heidelberg (1991)
Cutland, N.: Computability: An introduction to recursive function theory. Cambridge, New York (1980)
Davis, M.: The Undecidable. Raven Press, New York (1965)
Gödel, K.: Über die länge der beweise. Ergebnisse eines Math. Kolloquiums 7, pp. 23–24, Translation in [7], pp. 82–83, On the length of proofs (1936)
Hartmanis, J., Stearns, R.E.: On the computational complexity of algorithms. Transitions of the American Mathematics Society, pp. 285–306 (May 1965)
Kapron, B.M., Cook, S.A.: A new characterization of type 2 feasibility. SIAM Journal on Computing 25, 117–132 (1996)
Kleene, S.C.: Turing-machine computable functionals of finite types II. Proceedings of London Mathematical Society 12, 245–258 (1962)
Li, C.-C.: Speed-up theorems in type-2 computation (full version), http://www.itk.ilstu.edu/faculty/chungli/mypapers/SpeedUpFullVersion.pdf
Li, C.-C.: Asymptotic behaviors of type-2 algorithms and induced baire topologies. In: Proceedings of the Third International Conference on Theoretical Computer Science, pp. 471–484, Toulouse, France (August 2004)
Li, C.-C.: Clocking type-2 computation in the unit cost model. In: Proceedings of Computability in Europe: Logical Approach to Computational Barriers, pp. 182–192, Swansea, UK, Report# CSR 7-2006 (2006)
Li, C.-C., Royer, J.S.: On type-2 complexity classes: Preliminary report, pp. 123–138, (May 2001)
Meyer, A.R., Fischer, P.C.: Computational speed-up by effective operators. The Journal of Symbolic Logic 37, 55–68 (1972)
Rogers Jr., H.: Theory of Recursive Functions and Effective Computability. First paperback edition published by MIT Press in 1987, McGraw-Hill (1967)
Royer, J.S.: Semantics vs. syntax vs. computations: Machine models of type-2 polynomial-time bounded functionals. Journal of Computer and System Science 54, 424–436 (1997)
Seiferas, J.I.: Machine-independent complexity theory. In: van Leeuwen, J (ed.), Handbook of Theoretical Computer Science, volume A, pp. 163–186. North-Holland, Elsevier Science Publisher, B.V, MIT press for paperback edition (1990)
Seth, A.: Complexity theory of higher type functionals. Ph.d. dissertation, University of Bombay (1994)
Van Emde Boas, P.: Ten years of speed-up. In: Becvar, J. (ed.) Mathematical Foundations of Computer Science 1975. LNCS, vol. 32, pp. 13–29. Springer, Heidelberg (1975)
Wagner, K., Wechsung, G.: Computational Complexity. In: Mathematics and its applications, D. Reidel Publishing Company, Dordrecht (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, CC. (2007). Speed-Up Theorems in Type-2 Computation. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_50
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_50
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)