In computational complexity theory, the PCP theorem (also known as the PCP Characterization Theorem) states that every decision problem in the NP complexity class has probabilistically checkable proofs (proofs that can be checked by a randomized algorithm) of constant query complexity and logarithmic randomness complexity (uses a logarithmic number of random bits).
В теории вычислительной сложности, теорема PCP утверждает, что любое решение задачи в классе сложности NP имеет вероятностно проверяемое доказательство (доказательство, которое можно проверить с помощью рандомизированного алгоритма) постоянной и логарифмической сложности случайности (использует логарифмическое число случайных бит).