What is the Cook-Levin Theorem?
SAT is NP-hard.
Explain Valid(h) and Best(h) for the Stable Matching problem.
Valid(h) = {s : There is a stable matching which matches h to s}
Best(h) is the highest ranked (in preference list of h) student from Valid(h)