An overview of current developments in research on feasible computations; and its relation to provable properties of complexity of computations.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
An overview of current developments in research on feasible computations. Defines and discusses efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL, P, NP, PTAPE, EXPTIME, and EXPTAPE.
Reductions and complete sets; L-Isomorphisms of complete sets; Structure of complete sets; Long proofs of trivial theorems; What can and cannot be proven about computational complexity; Relativized P NP problem.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: PASCALE'S BOOKS, NORTH READING, MA, U.S.A.
Soft Cover. Condizione: Fine. 62 pages. "The purpose of this monograph is to give an overview and a discussion of some recent results about computational complexity of feasible computations and the study of provable properties about complexity of computations." FINE SOFTCOVER. Size: 4to - over 9¾" - 12" tall. Codice articolo 022766
Quantità: 1 disponibili
Da: Coffee Cat Books, Chapel Hill, NC, U.S.A.
paperback. Condizione: GOOD. First Edition. 1978. Vintage / Collectable Computer Science. PBK. Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 30). Society for Industrial and Applied Mathematics. Previous ownerâs name on title page. Text / formulas appear to be unmarked, no highlighting, underlining or writing. Softcover shows rubbing, corner creasing to back cover and some pages, edge and shelf wear from normal use. Binding is solid, square. Photos are of actual book you will receive. Ships quickly and with care. Codice articolo C0G091224G11
Quantità: 1 disponibili
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo FW-9780898710274
Quantità: 2 disponibili
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Paperback. Condizione: New. An overview of current developments in research on feasible computations; and a consideration of this area of research in relation to provable properties of complexity of computations.The author begins by defining and discussing efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL, P, NP, PTAPE, EXPTIME, and EXPTAPE. Definitions and results are uniformly extended to computationally simpler natural families of languages such as NL, P, and CSL by using Log n-tape bounded reductions.The problem of determining what can and cannot be formally proven about running times of algorithms is discussed and related to the problem of establishing sharp time bounds for one-tape Turing machine computations, and the inability to formally prove running times for algorithms is then related to the presence of gaps in the hierarchy of complexity classes.The concluding discussion is on the possibility that the famous P=NP? problem is independent of the axioms of formal mathematical systems such as set theory. Codice articolo LU-9780898710274
Quantità: 1 disponibili
Da: Revaluation Books, Exeter, Regno Unito
Paperback. Condizione: Brand New. 70 pages. 10.00x7.00x0.25 inches. In Stock. Codice articolo __0898710278
Quantità: 2 disponibili
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days. Codice articolo B9780898710274
Quantità: 2 disponibili
Da: Kennys Bookstore, Olney, MD, U.S.A.
Condizione: New. 1987. paperback. . . . . . Books ship from the US and Ireland. Codice articolo V9780898710274
Quantità: 1 disponibili
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condizione: New. 1987. paperback. . . . . . Codice articolo V9780898710274
Quantità: 1 disponibili
Da: Rarewaves.com UK, London, Regno Unito
Paperback. Condizione: New. An overview of current developments in research on feasible computations; and a consideration of this area of research in relation to provable properties of complexity of computations.The author begins by defining and discussing efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL, P, NP, PTAPE, EXPTIME, and EXPTAPE. Definitions and results are uniformly extended to computationally simpler natural families of languages such as NL, P, and CSL by using Log n-tape bounded reductions.The problem of determining what can and cannot be formally proven about running times of algorithms is discussed and related to the problem of establishing sharp time bounds for one-tape Turing machine computations, and the inability to formally prove running times for algorithms is then related to the presence of gaps in the hierarchy of complexity classes.The concluding discussion is on the possibility that the famous P=NP? problem is independent of the axioms of formal mathematical systems such as set theory. Codice articolo LU-9780898710274
Quantità: 1 disponibili
Da: SHIMEDIA, Brooklyn, NY, U.S.A.
Condizione: New. Satisfaction Guaranteed or your money back. Codice articolo 0898710278
Quantità: 1 disponibili