4640
правок
Максимальная выполнимость формул в 2-КНФ: различия между версиями
Перейти к навигации
Перейти к поиску
Максимальная выполнимость формул в 2-КНФ (посмотреть исходный код)
Версия от 03:42, 25 марта 2025
, 25 мартНовая страница: «== Ключевые слова и синонимы == МАКС 2-ВЫП (''MAX 2-SAT'') == Постановка задачи == В задаче о максимальной выполнимости формул в 2-КНФ (которая далее будет обозначаться как MAX 2-SAT, или МАКС 2-ВЫП) на входе имеется булева формула в конъюнктивной нормальной форме, такая...»
Irina (обсуждение | вклад) (Новая страница: «== Ключевые слова и синонимы == МАКС 2-ВЫП (''MAX 2-SAT'') == Постановка задачи == В задаче о максимальной выполнимости формул в 2-КНФ (которая далее будет обозначаться как MAX 2-SAT, или МАКС 2-ВЫП) на входе имеется булева формула в конъюнктивной нормальной форме, такая...») |
(нет различий)
|