Programmer's Guide To Theory - NP & Co-NP

As well as how long it takes to do a computation, you can also ask questions about how hard verification of a supposed answer is and this leads us on to the class of problems called NP – perhaps currently the most interesting of all.