211
правок
Изменения
м
→Интерактивные протоколы
*[[Связь классов IP и AM друг с другом и с другими классами языков]]
*[[Арифметизация булевых формул с кванторами]]
*[[Лемма Теорема о соотношении coNP и IP]]
*[[Теорема Шамира]]
*[[Семейство универсальных попарно независимых хеш-функций]]
