Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/NTIME-NlogN-reduction-3SAT

Материал из DISCOPAL
< Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC‎ | Задачи
Версия от 20:59, 20 сентября 2018; StasFomin (обсуждение | вклад) (Массовая правка: замена :Решенные задачи]] на :Нерешенные задачи]])

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

Покажите, что для любого языка , можно построить полиномиальную Карп-сводимость, от слов длины n, к 3SAT-формулам длины .

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

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

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