Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Теория сложности
116 байт убрано
,
18:47, 5 июня 2012
→
Интерактивные протоколы
=== Интерактивные протоколы ===
*[[Интерактивные протоколы. Класс IP. Класс AM]]
*[[Связь классов IP и AM друг с другом и с другими классами языков]]
*[[Арифметизация булевых формул с кванторами]]
*[[Теорема о соотношении coNP и IP]]
Анонимный участник
194.85.161.2
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы