Day 6

We proved Ladner's Theorem that there exists a set A such that A is in NP, A is not in P and A is not NP-complete. Here is a write-up.

Enjoy the Labor Day weekend and see you on Wednesday.