Описание тега 2-satisfiability
Задача логической 2-выполнимости спрашивает, существует ли решение для данного набора парных ограничений на булевы переменные. 2SAT, как его обычно называют, разрешима за полиномиальное время.
Задача логической 2-выполнимости спрашивает, существует ли решение для данного набора парных ограничений на булевы переменные. 2SAT, как его обычно называют, разрешима за полиномиальное время.