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

Версия 00:13, 4 марта 2021 (просмотреть исходный код) StasFomin (обсуждение | вклад) ← Предыдущая правка		Текущая версия на 07:45, 11 марта 2021 (просмотреть исходный код) StasFomin (обсуждение | вклад)
Строка 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. ↑ разумеется, три разных литерала! Т.е. нельзя , можно