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

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

Материал из CustisWiki

Перейти к: навигация, поиск
м (реплицировано из внутренней CustisWiki)
 
м (реплицировано из внутренней CustisWiki)
(не показана 1 промежуточная версия 1 участника)
Строка 1: Строка 1:
[[3SAT]] или «[[3-Выполнимость]]» — частный случай задачи [[SAT]], в которой все дизъюнкции имеют не более чем три терма.
+
[[3SAT]] или «3-Выполнимость» — частный случай задачи [[SAT]], в которой все дизъюнкции имеют не более чем три терма.
  
 
Однако, показано, что несмотря на это ограничение, [[3SAT]] является [[NPC|NP-полной]] задачей.
 
Однако, показано, что несмотря на это ограничение, [[3SAT]] является [[NPC|NP-полной]] задачей.

Версия 07:39, 8 декабря 2005

3SAT или «3-Выполнимость» — частный случай задачи SAT, в которой все дизъюнкции имеют не более чем три терма.

Однако, показано, что несмотря на это ограничение, 3SAT является NP-полной задачей.


Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».

Репликация: База Знаний «Заказных Информ Систем» → «3SAT»