Изменения

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

Сведение по Куку

33 байта добавлено, 12:51, 19 марта 2010
Нет описания правки
Класс <tex>P</tex> замкнут относительно сведения по Куку, т.к. и без обращения к оракулу программа <tex>m</tex> может разрешить сводимый язык.
 
Если A \in P то P = P ^ A
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/453»

Навигация