Computability and Complexity Theory

• Main Authors: Homer, Steven (Author), Selman, Alan L. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US : Imprint: Springer, 2011.
• Edition: 2.
• Series: Texts in Computer Science,
• Subjects: Computer science.; Computers.; Algorithms.; Computer Science.; Theory of Computation.; Algorithm Analysis and Problem Complexity.

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

Table of Contents:

• Preliminaries
• Introduction to Computability
• Undecidability
• Introduction to Complexity Theory
• Basic Results of Complexity Theory
• Nondeterminism and NP-Completeness
• Relative Computability
• Nonuniform Complexity
• Parallelism
• Probabilistic Complexity Classes
• Introduction to Counting Classes
• Interactive Proof Systems
• References
• Author Index
• Subject Index.