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