Domande taggate «pcp»

Il teorema del PCP afferma che ogni problema decisionale in NP ha prove verificabili probabilisticamente (o equivalentemente, che esiste un sistema completo e quasi-a prova di suono per i teoremi in NP che utilizza una complessità di query costante e logaritmicamente molti bit casuali). La "saggezza popolare" che circonda il …

9 lo.logic  pcp  polynomial-hierarchy