Изменения

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

NP-полнота задачи BH1N

27 байт добавлено, 00:54, 11 октября 2019
Нет описания правки
Значит произвольный язык из класса '''NP''' сводится по Карпу к '''BH<sub>1N</sub>''', то есть '''BH<sub>1N</sub>''' ∈ '''NPC'''. Что и требовалось доказать.
 
[[Категория:NP]]
Infovarius
202
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/71852»

Навигация