|
 |
Персональные инструменты
Просмотры |
|
Персональные инструменты |
|
||
|
|
3SAT — различия между версиямиМатериал из CustisWiki
Версия 12:55, 4 августа 20083SAT или «3-Выполнимость» — частный случай задачи SAT, в которой все дизъюнкции имеют не более чем три терма. Однако, показано, что несмотря на это ограничение, 3SAT является NP-полной задачей.
Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion». Репликация: База Знаний «Заказных Информ Систем» → «3SAT» |
 |
||||||
 |
||||||||
 |
