All about Programming Theories/NP problems

(1)