Computers and Intractability: A Guide to the Theory of NP-Completeness

David S. Johnson, Michael R. Garey