1632
правки
Изменения
м
Если A \in P то P = P ^ A---- Смотрите также [[сведение по Карпу]].
rollbackEdits.php mass rollback
----
Класс <tex>P</tex> замкнут относительно сведения по Куку. Если язык <tex>A \in P</tex>, тто использование <tex>A</tex> в качестве оракула ничего не дает, так как можно решить задачу <tex>A</tex> за полиномиальное время.Полиномиальное количество обращений ктакому "оракулу" выполняется опять же за полиномиальное время. и без обращения к оракулу программа Таким образом, <tex>mP = P ^ A</tex> может разрешить сводимый язык.