Computability and Complexity Theory

Nonfiction, Computers, Advanced Computing, Computer Science, General Computing, Programming
Cover of the book Computability and Complexity Theory by Steven Homer, Alan L. Selman, Springer US
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Steven Homer, Alan L. Selman ISBN: 9781461406822
Publisher: Springer US Publication: December 10, 2011
Imprint: Springer Language: English
Author: Steven Homer, Alan L. Selman
ISBN: 9781461406822
Publisher: Springer US
Publication: December 10, 2011
Imprint: Springer
Language: English

This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, with a preliminary chapter describing key mathematical concepts and notations.  Subsequent chapters move from the qualitative aspects of classical computability theory to the quantitative aspects of complexity theory. Dedicated chapters on undecidability, NP-completeness, and relative computability focus on the limitations of computability and the distinctions between feasible and intractable.  Substantial new content in this edition includes:

  • a chapter on nonuniformity studying Boolean circuits, advice classes and the important result of Karp─Lipton.
  • a chapter studying properties of the fundamental probabilistic complexity classes
  • a study of the alternating Turing machine and uniform circuit classes.
  • an introduction of counting classes, proving the famous results of Valiant and Vazirani and of Toda
  • a thorough treatment of the proof that IP is identical to PSPACE

With its accessibility and well-devised organization, this text/reference is an excellent resource and guide for those looking to develop a solid grounding in the theory of computing. Beginning graduates, advanced undergraduates, and professionals involved in theoretical computer science, complexity theory, and computability will find the book an essential and practical learning tool.

 

Topics and features:

  • Concise, focused  materials cover the most fundamental concepts and results in the field of modern complexity theory, including the theory of NP-completeness, NP-hardness, the polynomial hierarchy, and complete problems for other complexity classes
  • Contains information that otherwise exists only in research literature and presents it in a unified, simplified manner
  • Provides key mathematical background information, including sections on logic and number theory and algebra
  • Supported by numerous exercises and supplementary problems for reinforcement and self-study purposes
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, with a preliminary chapter describing key mathematical concepts and notations.  Subsequent chapters move from the qualitative aspects of classical computability theory to the quantitative aspects of complexity theory. Dedicated chapters on undecidability, NP-completeness, and relative computability focus on the limitations of computability and the distinctions between feasible and intractable.  Substantial new content in this edition includes:

With its accessibility and well-devised organization, this text/reference is an excellent resource and guide for those looking to develop a solid grounding in the theory of computing. Beginning graduates, advanced undergraduates, and professionals involved in theoretical computer science, complexity theory, and computability will find the book an essential and practical learning tool.

 

Topics and features:

More books from Springer US

Cover of the book Behavior and the Natural Environment by Steven Homer, Alan L. Selman
Cover of the book Manual of Clinical Dialysis by Steven Homer, Alan L. Selman
Cover of the book Calcium and the Secretory Process by Steven Homer, Alan L. Selman
Cover of the book Multiple Sclerosis by Steven Homer, Alan L. Selman
Cover of the book Teaching Transcultural Care by Steven Homer, Alan L. Selman
Cover of the book Lasers by Steven Homer, Alan L. Selman
Cover of the book Handbook of Marriage and the Family by Steven Homer, Alan L. Selman
Cover of the book Supporting Real Time Decision-Making by Steven Homer, Alan L. Selman
Cover of the book Minimally Processed Refrigerated Fruits and Vegetables by Steven Homer, Alan L. Selman
Cover of the book Optical Networks by Steven Homer, Alan L. Selman
Cover of the book The Power of Human Imagination by Steven Homer, Alan L. Selman
Cover of the book Hog Manure Management, the Environment and Human Health by Steven Homer, Alan L. Selman
Cover of the book Imagery and Visual Expression in Therapy by Steven Homer, Alan L. Selman
Cover of the book The Practice Nurse by Steven Homer, Alan L. Selman
Cover of the book Palaeozoic Fishes by Steven Homer, Alan L. Selman
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy