PCP Theorem

Concept

A landmark result in complexity theory proving that every language in NP has probabilistically checkable proofs, laying the foundation for hardness of approximation.

Mentioned in 1 video