Title :
On the complexity of real functions
Author_Institution :
Dept. of Comput. Sci., Toronto Univ., Ont., Canada
Abstract :
We establish a new connection between the two most common traditions in the theory of real computation, the Blum-Shub-Smale model and the computable analysis approach. We then use the connection to develop a notion of computability and complexity of functions over the reals that can be viewed as an extension of both models. We argue that this notion is very natural when one tries to determine just how difficult a certain function is for a very rich class of functions.
Keywords :
computability; computational complexity; Blum-Shub-Smale model; computable analysis; functions computability; real computation; real functions complexity; Computational complexity; Computational modeling; Computer science; Logic; Physics computing; Predictive models; Read-write memory; Scholarships; Scientific computing; Turing machines;
Conference_Titel :
Foundations of Computer Science, 2005. FOCS 2005. 46th Annual IEEE Symposium on
Print_ISBN :
0-7695-2468-0
DOI :
10.1109/SFCS.2005.58