カテゴリー: NP = PCP(log n, 1)

Decrypt history, Encrypt future™

Probabilistically Checkable Proofs Theorem

PCP定理(Probabilistically Checkable Proofs Theorem)は、計算複雑性理論の一つで「巨大で複雑な証明も、ごく一部をランダムにチェックするだけで、その正しさを(高い確率で)判定でき…
Read more