Bounded Queries in Recursion Theory (Progress in Computer Science and Applied Logic, Band 16) - Softcover

Levine, William; Martin, Georgia

Softcover

ISBN 10: 1461268486 ISBN 13: 9781461268482

Verlag: Birkhäuser, 2013

Inhaltsangabe

One of the major concerns of theoretical computer science is the classifi­ cation of problems in terms of how hard they are. The natural measure of difficulty of a function is the amount of time needed to compute it (as a function of the length of the input). Other resources, such as space, have also been considered. In recursion theory, by contrast, a function is considered to be easy to compute if there exists some algorithm that computes it. We wish to classify functions that are hard, i.e., not computable, in a quantitative way. We cannot use time or space, since the functions are not even computable. We cannot use Turing degree, since this notion is not quantitative. Hence we need a new notion of complexity-much like time or spac~that is quantitative and yet in some way captures the level of difficulty (such as the Turing degree) of a function.

Details zur Ausgabe

• Verlag: Birkhäuser
• Erscheinungsdatum: 2013
• Sprache: Englisch
• ISBN 10: 1461268486
• ISBN 13: 9781461268482
• Einband: Taschenbuch
• Anzahl der Seiten: 366
• Kontakt zum Hersteller: preigu GmbH & Co. KG; mail@preigu.de; ; Lengericher Landstr. 19; Osnabrück; Niedersachsen; 49078; Deutschland