Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/unary-in-p-then-exptime-nexp

Ссылки сюда (2) →

Докажите, что если каждый унарный язык из NP также лежит в P, то EXPTIME=NEXP.

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.