some notes on NP completeness
some more notes on NP-completeness