摘要：https://www.lydsy.com/JudgeOnline/problem.php?id=4945 https://www.luogu.org/problemnew/show/P3825 http://uoj.ac/problem/317 题目不粘了。 对于冲突关系很明显是2-SAT，但是注 阅读全文

摘要：https://www.lydsy.com/JudgeOnline/problem.php?id=1823 https://www.luogu.org/problemnew/show/P4171 题面太长啦就不粘过来啦！ 裸的2-SAT用来练板子的。 显然属于“a和b之间必须选一种”模型，只要a'向 阅读全文

摘要：http://poj.org/problem?id=2749 （这个约翰的奶牛真多事…………………………） i表示u与s1连，i+n表示u与s2连。 老规矩，u到v表示取u必须取v。 那么对于互相打架的奶牛u，v，有： add(u,v+n);add(v,u+n); add(u+n,v);add(v+ 阅读全文

摘要：http://poj.org/problem?id=3678 总觉得这题比例题简单。 设a为x取0的点，a+n为x取1的点。 我们还是定义a到b表示取a必须取b。 那么我们有： 当AND： 1.当c=1：add(a,a+n); add(b,b+n);//我们不能取0的点，所以我们让程序一旦取0必会矛 阅读全文

摘要：http://poj.org/problem?id=3648 （在家，而且因为2-SAT写的不明不白的，所以这篇详细写） 题目大意： 有一对新人结婚，邀请了n-1 对夫妇去参加婚礼。婚礼上所有人要坐在一张很长的桌子的两边。所有的夫妇不能坐在同一边。还有m 对人，这对人不能同时坐在新郎一边，但可以同时 阅读全文