PCP theorem

theorem in complexity theory that every problem in NP has probabilistically checkable proofs

Categories: