Two other points of clarification. NP stands for "non-deterministic polynomial," not "non-polynomial" as a lot of people assume. A problem is in NP if or can be solved in polynomial time when you're allowed to make one polynomial-sized "guess" that's guaranteed to be right.