leiyuanze

摘要： $\text{2-SAT}$ 问题 大致是从题目中得到一些限制，形如： $x$ 为真/假或 $y$ 为真/假 问题是给 $x$ 赋值满足上述条件，判定有无解，有则输出一种方案。 我们从条件中推出一些必然关系 如：若 $x$ 为 $a$ ，则 $y$ 必为 $b$ 这是具有传递性的 这样我们只要判断是 阅读全文