dovada verificabilă probabilistic

Teorema PCP, numită și teorema caracterizării PCP, este unul dintre rezultatele fundamentale ale teoriei complexității computaționale. Inițialele PCP provin din expresia engleză Probabilistically Checkable Proof, adică „dovadă verificabilă probabilistic”. Ideea centrală este surprinzătoare: orice problemă din clasa de complexitate NP … Citeşte mai mult