Questions marquées «pcp»

Le théorème du PCP déclare que chaque problème de décision dans NP a des preuves probabilistes vérifiables (ou de manière équivalente, qu'il existe un système de preuve complet et quasi-sain pour les théorèmes dans NP utilisant une complexité de requête constante et logarithmiquement de nombreux bits aléatoires). La «sagesse populaire» …

9 lo.logic  pcp  polynomial-hierarchy