Персональные инструменты
 

3SAT — различия между версиями

Материал из CustisWiki

Перейти к: навигация, поиск
м
м (Содержимое страницы заменено на «#REDIRECT [[discopal:{{PAGENAME}}]]»)
 
(не показаны 2 промежуточные версии 2 участников)
Строка 1: Строка 1:
[[3SAT]] или «[[3-Выполнимость]]» — частный случай задачи [[SAT]], в которой все дизъюнкции имеют не более чем три терма.
+
#REDIRECT [[discopal:{{PAGENAME}}]]
 
+
Однако, показано, что несмотря на это ограничение, [[3SAT]] является [[NPC|NP-полной]] задачей.
+
 
+
[[Category:Задачи]]
+
{{replicate-from-custiswiki-to-lib}}
+

Текущая версия на 20:23, 13 июня 2011

  1. REDIRECT discopal:3SAT