1632
правки
Изменения
м
rollbackEdits.php mass rollback
== #P-трудность задачи вычисления гиперобъема ==
{{Определение
|definition=Задача #MON-CNF (Satisfability problem for monotone boolean formulas) — задача вычисления количества удовлетворяющих подстановок для монотонной булевой формулы, записанной в [[КНФ]] <tex>f = \bigwedge \limits _{k=1}^n \bigvee_{i \in C_k} x_i</tex>,
где все дизъюнкты <tex> C_k \subseteq {1,...,d}</tex>
}}
