83
правки
Изменения
м
Нет описания правки
Одним из центральных вопросов теории сложности является вопрос о равенстве классов <tex>P</tex> и [[NP]], не разрешенный по сей день.
Легко показать, что по определению, <tex> P \subset NP</tex>, так как достаточно для любой задачи класса <tex>P</tex> привести ее решение в качестве сертификатасуществует соответствующая ДМТ, которая является частным случаем НМТ, а значит задача по определению будет входить в класс <tex>NP</tex>
