45
правок
Изменения
→Разрешимость булевой формулы, заданой в форме Крома
=== Разрешимость булевой формулы, заданой в форме Крома ===
{{Утверждение
|statement= Существует алгоритм, который за полиномиальное время проверяет, что функциюформулу, заданную в форме Крома можно удовлетворить.
|proof= {{main|2SAT}}
}}
