What are the P and NP complexity classes?
When is a problem in NP?
When is a formula satisfiable? Is this in P or NP.
In propositional logic
What is NP-completeness?
How can P=NP be proven?
When is a problem co-NP?
What are the complexity space classes PSpace and NPSpace?