Изменения

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

116 байт убрано, 18:47, 5 июня 2012

→‎Интерактивные протоколы

=== Интерактивные протоколы ===

*[[Интерактивные протоколы. Класс IP. Класс AM]]

*[[Связь классов IP и AM друг с другом и с другими классами языков]]

*[[Арифметизация булевых формул с кванторами]]

*[[Теорема о соотношении coNP и IP]]

Анонимный участник