W.H. Freeman Computers and Intractability : A Guide to the Theory of NP-Completeness