Stav dette: Computers and intractability: A guide to the theory of NP-Completeness