8.2 /10 1 Votes
Language English Media type Print Originally published 15 January 1979 Genre Textbook Country United States of America | 4.1/5 AbeBooks Publication date 1979 Pages x+338 Page count 338 Subject Computer Science | |||||||||||||||||||||||||||||||||
 | ||||||||||||||||||||||||||||||||||
Series A Series of Books in the Mathematical Sciences Publisher W. H. Freeman and Company Similar Textbook books, Computer Science books, Algorithm books | ||||||||||||||||||||||||||||||||||
In computer science, more specifically computational complexity theory, Computers and Intractability: A Guide to the Theory of NP-Completeness is an influential textbook by Michael Garey and David S. Johnson. It was the first book exclusively on the theory of NP-completeness and computational intractability. The book features an appendix providing a thorough compendium of NP-complete problems (which was updated in later printings of the book). The book is now outdated in some respects as it does not cover more recent development such as the PCP theorem. It is nevertheless still in print and is regarded as a classic: in a 2006 study, the CiteSeer search engine listed the book as the most cited reference in computer science literature.
Contents
Open problems
Another appendix of the book featured problems for which it was not known whether they were NP-complete or in P (or neither). The problems (with their original names) are:
- Graph isomorphism
- Subgraph homeomorphism (for a fixed graph H)
- Graph genus
- Chordal graph completion
- Chromatic index
- Spanning tree parity problem
- Partial order dimension
- Precedence constrained 3-processor scheduling
- Linear programming
- Total unimodularity
- Composite number
- Minimum length triangulation
As of 2015, only problem 1 has yet to be classified. Problem 12 is known to be NP-hard, but it is unknown if it is in NP.
Reception
Soon after it appeared, the book received positive reviews by reputed researchers in the area of theoretical computer science.
In his review, Ronald V. Book recommends the book to "anyone who wishes to learn about the subject of NP-completeness", and he explicitly mentions the "extremely useful" appendix with over 300 NP-hard computational problems. He concludes: "Computer science needs more books like this one."
Harry R. Lewis praises the mathematical prose of the authors: "Garey and Johnson's book is a thorough, clear, and practical exposition of NP-completeness. In many respects it is hard to imagine a better treatment of the subject." Also, he considers the appendix as "unique" and "as a starting point in attempts to show new problems to be NP-complete".
Twenty-three years after the book appeared, Lance Fortnow, editor-in-chief of the scientific journal Transactions on Computational Theory, states: "I consider Garey and Johnson the single most important book on my office bookshelf. Every computer scientist should have this book on their shelves as well. [...] Garey and Johnson has the best introduction to computational complexity I have ever seen."