Персональные инструменты
Создать учётную запись
Войти
Просмотры
Статья
Обсуждение
Просмотр
История
Обновить
CUSTIS
Сайт CUSTIS →
Вакансии
Блог команды
Архив событий
Архив публикаций
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Поиск
Инструменты
Ссылки сюда
Связанные правки
Спецстраницы
Версия для печати
Чистый HTML
→M$WORD
→OOffice
3SAT — различия между версиями
Материал из CustisWiki
Перейти к:
навигация
,
поиск
Версия 07:39, 8 декабря 2005
(
просмотреть исходный код
)
BenderBot
(
обсуждение
|
вклад
)
м
(реплицировано из внутренней CustisWiki)
← Предыдущая правка
Текущая версия на 20:23, 13 июня 2011
(
просмотреть исходный код
)
StasFomin
(
обсуждение
|
вклад
)
м
(Содержимое страницы заменено на «#REDIRECT [[discopal:{{PAGENAME}}]]»)
(не показаны 3 промежуточные версии 3 участников)
Строка 1:
Строка 1:
−
[[
3SAT]] или «3-Выполнимость» — частный случай задачи [[SAT]], в которой все дизъюнкции имеют не более чем три терма.
+
#REDIRECT
[[
discopal
:{{
PAGENAME
}}
]]
−
+
−
Однако, показано, что несмотря на это ограничение, [[3SAT]] является [[NPC|NP-полной]] задачей.
+
−
+
−
[[Category
:
Задачи]]
+
−
{{
replicate-from-custiswiki-to-lib
}}
+
Текущая версия на 20:23, 13 июня 2011
REDIRECT
discopal:3SAT
