Sommario
Quanto segue è una rassegna volta a puntualizzare lo stato della ricerche nel campo della Complessità di Calcolo, svolte essenzialmente negli U.S.A. La rassegna esamina vari approcci allo studio della Complessità di Calcolo, la loro evoluzione e le loro interrelazioni. Particolare interesse è dedicato alla teoria assimatica alla quale è stata dedicata la più intensa attività di ricerca negli anni 1967–1970.
Abstract
In this paper different approaches to the problem of Computational Complexity are surveyed. Subrecursive hierarchies are first examined, then the machine dependent theory of complexity is considered and, finally, the greatest attention is given to work done under the abstract point of view. The last section is concerned with results relating various theories.
This is a preview of subscription content, log in via an institution to check access.
Bibliografia su Relazioni tra classi subricorsive e teoria assiomatica
M. Blum, On the size of machines, Information and Control II (1967).
R. L. Constable, “On the size of programs in subrecursive formalisms”, Second Annual ACM Symposium on Theory of Computing, Northampton, Mass. (May 1970).
R. L. Constable, A. B. Borodin, On the efficiency of programs in subrecursive formalisms, Comp. Sci. Tech. Repart 70-53 Cornell. Univ., Ithaca N. Y. (1970).
Additional information
Istituto per le Applicazioni del Calcolo-Consiglio Nazionale delle Ricerche.
Rights and permissions
About this article
Cite this article
Ausiello, G. Teorie della Complessita di Calcolo. Calcolo 7, 387–408 (1970). https://doi.org/10.1007/BF02575607
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02575607