Просмотр исходного текста страницы 3ESAT

Материал из DISCOPAL

Перейти к: навигация, поиск

У вас нет прав на редактирование этой страницы по следующей причине:

Запрошенное действие могут выполнять только участники из группы «Участники»

Вы можете просмотреть и скопировать исходный текст этой страницы.

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

[[Категория:Задачи]]

Возврат к странице 3ESAT.

Источник — «https://discopal.ispras.ru/3ESAT»

Навигация