Computers And Intractability door David S. Johnson & Michael R. Garey