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.