Персональные инструменты
Создать учётную запись
Войти
Просмотры
Статья
Обсуждение
Просмотр
История
Обновить
CUSTIS
Сайт CUSTIS →
Вакансии
Блог команды
Архив событий
Архив публикаций
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Поиск
Инструменты
Ссылки сюда
Связанные правки
Спецстраницы
Версия для печати
Чистый HTML
→M$WORD
→OOffice
2SAT — различия между версиями
Материал из CustisWiki
Перейти к:
навигация
,
поиск
Версия 12:55, 4 августа 2008
(
просмотреть исходный код
)
WikiSysop
(
обсуждение
|
вклад
)
м
(1 версия)
← Предыдущая правка
Текущая версия на 20:21, 13 июня 2011
(
просмотреть исходный код
)
StasFomin
(
обсуждение
|
вклад
)
м
(Содержимое страницы заменено на «#REDIRECT [[discopal:{{PAGENAME}}]]»)
Строка 1:
Строка 1:
−
[[
2SAT]] или «[[2-Выполнимость]]» — частный случай задачи [[SAT]], в которой все дизъюнкции имеют не более чем два терма.
+
#REDIRECT
[[
discopal
:{{
PAGENAME
}}
]]
−
+
−
Эта задача полиномиально разрешима (т.е. лежит в классе [[P]]) алгоритмом [[2SAT
:
Решение]].
+
−
+
−
[[Category:Задачи]]
+
−
{{
replicate-from-custiswiki-to-lib
}}
+
Текущая версия на 20:21, 13 июня 2011
REDIRECT
discopal:2SAT
