The first theorem relating standard proofs and probabilistically checkable proofs is the statement that NEXP ⊆ PCP, proved by Babai, Fortnow & Lund (1990).
Першою теоремою, що пов’язує стандартні доведення та ймовірнісно перевірювані доведення є твердження, що NEXP ⊆ PCP, доведене Babai, Fortnow та Lund, (1990).