Noch Fragen? 0800 / 33 82 637

Bounded Queries in Recursion Theory

Produktform: Buch / Einband - flex.(Paperback)

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.weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-1-4612-6848-2 / 978-1461268482 / 9781461268482

Verlag: Birkhäuser Boston

Erscheinungsdatum: 13.07.2013

Seiten: 353

Auflage: 1

Zielgruppe: Research

Autor(en): William S. Levine, Georgia Martin, William Levine

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück