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

Материал из DISCOPAL
Перейти к: навигация, поиск
 
Строка 1: Строка 1:
Частный случай [[3SAT]], когда в каждой скобке ровно три литерала.
+
Частный случай [[3SAT]], когда в каждой скобке ровно три литерала<ref>разумеется, три разных литерала! Т.е. нельзя <m> (x_4 \lor x_4 \lor x_4)</m>, можно <m>(x_4 \lor \bar x_4 \lor x_5)</m></ref>.
  
 
[[Категория:Задачи]]
 
[[Категория:Задачи]]

Текущая версия на 07:45, 11 марта 2021

Частный случай 3SAT, когда в каждой скобке ровно три литерала[1].
  1. разумеется, три разных литерала! Т.е. нельзя , можно