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