Review of: Computability and Complexity Theory 4 by Authors: Steven Homer and Alan L. Selman Publisher: Springer Review of: The Complexity Theory Companion by Authors: Lane A. Hemaspaandra and Mitsunori Ogihara Publisher: Springer Reviewed by E W Cenek, University of Waterloo Overview The study of computability and complexity theory lies at the root of computing science, as computer scientists try to address the dual questions of which problems are in fact solvable, and how much effort should we expect to expend to solve a given problem. Problems are grouped together in classes on the basis of these questions. Thus P is the class of problems that can be solved in polynomial time, while NP is the class of problems that can be accepted in polynomial time using a non-deterministic Taring Machine. NP-complete problems were first studied in the sixties and early seventies. 2.1 S u m m a r y of Contents Computability and Complexity Theory Homer and Selman's "Computability and Complexity Theory" is clearly intended as an introductory text. The book is reasonably self-contained, and tightly focused on its topic. The book can loosely be divided into three parts; the first and shortest comprises the Preliminaries; a
/lp/association-for-computing-machinery/computability-and-complexity-theory-and-the-complexity-theory-QaizvI5Ic0