Work

How NP got a new definition: a survey of probabilistically checkable proofs

Year: 2003
Type: preprint
Abstract: We survey a collective achievement of a group of researchers: the PCP Theorems. They give new definitions of the class \np, and imply that computing approximate solutions to many \np-hard problems is itself \np-hard. Techniques developed to prove them have had many other consequences.
Language: English
Open Access status: green
OpenAlex ID: W2168605444
Cites: 55
Cited by: 12
Related to: 10