Изменения

Перейти к: навигация, поиск

Теория сложности

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

Навигация