11. The Class NP

11.1. Nondeterministic algorithms

11.2. NP

11.3. P, NP and computability