NP如何得到一个新的定义：概率可检验证明的综述
How NP got a new definition: a survey of probabilistically checkable proofs
摘要：
我们调查了一组研究人员的集体成就：PCP定理。他们给出了新的定义类\np，并暗示，计算近似解决方案，许多\np -硬问题本身是\np -硬。为证明这些理论而开发的技术已经产生了许多其他后果。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
