NP is a complexity class for problems whose proposed solutions can be verified in polynomial time by a nondeterministic computation. It helps describe why some problems remain difficult even when a system can produce plausible answers. section 7.4
Computational complexity tracks how runtime grows as input grows. Polynomial growth can become expensive, while exponential growth becomes impractical quickly; approximate answers may sometimes avoid the cost of exact solutions. section 7.4

