2-SAT
smilestruggler
这个作者很懒,什么都没留下…
展开
-
POJ 3648 Wedding(2-SAT)
题目链接:http://poj.org/problem?id=3648 题目大意: 有一对新郎新娘(编号为0)举办婚礼,请了一堆夫妇,每对夫妇不能坐同一边,然后有m个奸情,可能男男 男女 女女,啥性别之间都有可能,然后有奸情的一对不能同时坐在新娘对面,求跟新娘坐同一边的可能安排 题目思路: 首先说明定义,*2是男的,*2+1是女的,不+p表示是新娘这一边,+p是...原创 2020-03-05 21:48:12 · 217 阅读 · 0 评论 -
P4782 【模板】2-SAT 问题(2-SAT)
题目链接:https://www.luogu.org/problem/P4782 题目大意:有n个变量,要满足m个条件,为a或为b,输出是否存在能满足所有条件的情况,并输出 题目思路:所以开2*n个点,前n个表示0,后n个表示1,那么就是否命题指向命题,否命题指向命题,然后跑个tarjan,若命题与否命题在同一个强连通分量,则不存在,否则对于每个点,输出belong小的那个。 ...原创 2019-08-04 14:59:50 · 234 阅读 · 0 评论 -
Codeforces Round #400 (Div. 1 + Div. 2, combined) D. The Door Problem(并查集或2-SAT)
题目链接:https://codeforces.com/contest/776/problem/D 题目大意:有n扇门,刚开始有的开着有的关着,有m个开关可同时改变多个门的状态,问是否能通过这些开关是所有门同时打开。 题目思路: 并查集做法:由于题目有个限制条件是一扇门最多被两个开关控制,所以可以用并查集。将按钮没按作为前m个,按了作为后m个,那么当门之前是开着的时候,控制它的按...原创 2019-08-04 15:22:43 · 156 阅读 · 0 评论