2
Хорошие PCP для NP дают нам хороших PCP для всей полиномиальной иерархии?
Теорема PCP утверждает, что каждая проблема решения в NP имеет вероятностно проверяемые доказательства (или, что то же самое, что существует полная и квази-звуковая система доказательств для теорем в NP, использующая постоянную сложность запроса и логарифмически много случайных битов). «Народная мудрость», окружающая теорему PCP (на мгновение игнорируя важность PCP для теории …