PCP

PCP - Probabilistically Checkable Proof，是計算機科學領域近年來的重大成果之一。PCP理論最初起源於對不可近似性理論的研究，後來發展成為對計算模型的一種有力的刻畫工具。