Изменения

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

Класс IP

1 байт убрано, 15:47, 6 мая 2010
Определение
==Определение==
<tex>I = IP[poly]</tex> - класс языков, распознаваемых с помощью интерактивного протокола доказательства с полиномиальным числом запросов от <tex> PV</tex> к <tex>VP</tex>.
Анонимный участник

Навигация