Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/3SAT-TAUTOLOGY-reducibility — различия между версиями
Материал из DISCOPAL
<
Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC
|
Задачи
Перейти к:
навигация
,
поиск
Категории
:
Нерешенные задачи
P1401
Версия 18:04, 29 мая 2014
(
просмотреть исходный код
)
StasFomin
(
обсуждение
|
вклад
)
(Новая страница: «Покажите, что если
3SAT
и
TAUTOLOGY
полиномиально сводятся к друг другу по Карпу, то
NP
= [[C…»)
Следующая правка →
(нет различий)
Версия 18:04, 29 мая 2014
Покажите, что если
3SAT
и
TAUTOLOGY
полиномиально сводятся к друг другу по Карпу, то
NP
=
CoNP
.
Категории
:
Нерешенные задачи
P1401
Навигация
Просмотры
Статья
Обсуждение
Просмотр
История
Обновить
Персональные инструменты
Создать учётную запись
Войти
Навигация
Заглавная страница
Текущие события
Свежие правки
Случайная статья
Справка
Поиск
Инструменты
Ссылки сюда
Связанные правки
Спецстраницы
Версия для печати
Постоянная ссылка
Сведения о странице
Чистый HTML
→M$WORD
→OOffice