ECS 220 2b:4.3-1 formal definition of NP and NP in EXP

From David Doty