complexity theory What is the definition of P, NP, NP-complete and NP-hard