Computability and Complexity Theory

This textbook is intended for use in an introductory graduate course in theoretical computer science. The book presents core knowledge in the theory of computation for all graduate students in computer science. This self-contained reference is best suited for a one semester course, covered in one semester by moving expeditiously through the core material of Chapters 1 through 5 and then covering parts of Chapter 6. The text begins with classical computability theory and builds complexity theory on top of that foundation, thus enabling students to learn a qualitative subject before advancing to a quantitative one. In addition, the concepts build from one to the next. This new edition contains additional chapters on nonuniform complexity, circuit complexity and parallel complexity, and randomized complexity.