2
Чи хороші PCP для NP дають нам хороші PCP для всієї ієрархії поліномів?
Теорема PCP стверджує, що кожна проблема вирішення в NP має ймовірніше перевіряються докази (або що рівнозначно, що існує повна і квазізвукова система доказів теорем в NP з використанням постійної складності запитів і логарифмічно багато випадкових біт). "Народна мудрість", що оточує теорему PCP (на хвилину ігноруючи важливість PCP для теорії наближення), …