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