En théorie de la complexité, un domaine de l`informatique théorique, le théorème PCP (acronyme de l`anglais probabilistically checkable proof, qui peut se traduire en français par « preuve vérifiable en probabilité ») est une caractérisation de la classe NP dans le contexte d`un syst...