Computational complexity of real functions

Ker-I. Ko, Harvey Friedman
1982 Theoretical Computer Science  
Recursive analysis, the theory of computation of functions on real numbers, has been studied from various aspects. We investigate the computational complexity of real functions using the methods of recursive function theory. Partial recursive real functions are defined and their domains are characterized as the recursively open sets. We define the time complexity of recursive real continuous functions and show that the time complexity and the modulus of uniform continuity of a function are
more » ... ly related. We study the complexity of the roots and the differentiability of polynomial time computable real functions. In particular, a polynomial time computable real function may have a root of arbitrarily high complexity and may be nowhere differentiable. The concepts of the space complexity and nondeterministic computation are used to study the complexity of the integrals and the maximum values of real functions. These problems are shown to be related to the "P = ?NP " and the "P = ?PSPACE" questions.
doi:10.1016/s0304-3975(82)80003-0 fatcat:njl6vcb7kjhx3owlluzvmis4ei