小蒟蒻皮皮鱼

摘要： 引入： 相信大家都了解过差分约束系统。差分约束系统的大体意思就是给出一些有某种关系的变量，问你是否有某种赋值使得这些关系全部成立 其实$2 SAT$的题目描述和这个很像（~~虽然解法不一样~~） 那么$2 SAT$到底是什么呢？ 首先，把$2$和$SAT$拆开。$SAT$ 是 $Satisfiabi 阅读全文