https://discopal.ispras.ru/index.php?title=3SAT&feed=atom&action=history3SAT - История изменений2024-03-19T13:59:22ZИстория изменений этой страницы в викиMediaWiki 1.26.4https://discopal.ispras.ru/index.php?title=3SAT&diff=573&oldid=prevWikiSysop: 1 версия2008-08-04T09:55:46Z<p>1 версия</p>
<p><b>Новая страница</b></p><div>[[3SAT]] или «[[3-Выполнимость]]» — частный случай задачи [[SAT]], в которой все дизъюнкции имеют не более чем три терма.<br />
<br />
Однако, показано, что несмотря на это ограничение, [[3SAT]] является [[NPC|NP-полной]] задачей.<br />
<br />
[[Category:Задачи]]<br />
{{replicate-from-custiswiki-to-lib}}</div>WikiSysop