VII · Computational complexity

P vs NP

What it is

P: problems solvable in polynomial time. NP: problems whose solutions can be verified in polynomial time. The conjecture P ≠ NP is the most consequential open problem in computing.

Where it lives

Underpins all of cryptography, optimisation theory, and the very notion of "this problem is hard".

The key insight

A million-dollar Clay Prize is open for either direction. Most cryptographers bet P ≠ NP, but no proof exists.