P(C) vs. NP(C) — LessWrong