2-SAT
disPlayLzy_
梦在前方,路在脚下
展开
-
jzoj P3796 议案决定___2-SAT
题目大意:国王手下有M个大臣,他们有一天对国王要处理的N件事务进行投票。每个大臣可以对两件事务赞成或反对,格式如下:x c_x y c_y表示这个大臣对事务x的态度为c_x,对事务y的态度为c_y。如果国王的决定和某个大臣的两个意见都不同,那么这个大臣就会离开国王。小C认为不能让任何一个大臣离开国王,否则国王就无法正常地处理自己的事务。请你帮助小C做个决定。 如果小C无论如何都只能让至少一个原创 2018-02-05 20:37:06 · 302 阅读 · 0 评论 -
Poj P3678 Katu Puzzle___2-SAT
题目大意:给出NNN个点,MMM条边, 每条边给出A,B,C,opA,B,C,opA,B,C,op 要求任意一条边满足AAA opopop BBB === CCC opopop为OROROR,ANDANDAND, XORXORXOR中一个1 ≤ N ≤ 1000 0 ≤ M ≤ 1,000,000分析:因为每个点的情况仅为000或111, 所以设iii为点iii选000的...原创 2018-05-20 20:48:35 · 271 阅读 · 0 评论 -
Poj P3207 Ikki's Story IV - Panda's Trick___2-SAT
题目大意:在圆上有N个点N个点N个点,有MMM个要求Ai,BiAi,BiAi,Bi,要求满足点Ai,BiAi,BiAi,Bi之间在圆内或者圆外存在一条连边,问是否存在一种边的分配方案使得任意两边之间不相交。n≤1,000,m≤500n≤1,000,m≤500n ≤ 1,000, m ≤ 500分析:显然一条边AAA与边BBB在圆内相交, 那么显然它们在圆外也会相交 那么我们对于...原创 2018-05-21 17:08:46 · 175 阅读 · 0 评论 -
Poj P3683 Priest John's Busiest Day___2-SAT
题目大意:给出NNN个个婚礼的描述Ai,Bi,LiAi,Bi,LiAi,Bi,Li, 婚礼可以从[Ai,Ai+LiAi,Ai+LiAi,Ai+Li]或[Bi−Li,BiBi−Li,BiBi-Li,Bi]222段时间开始, 问是否存在一种安排方式使得婚礼两两不冲突,如果有,请输出安排方案。N≤1000N≤1000N≤1000分析:可以转化成2-SAT的模型, 对于第iii个婚礼...原创 2018-05-21 21:24:51 · 224 阅读 · 0 评论 -
Poj P3648 Wedding___2-SAT
题目大意:给出N对夫妻N对夫妻N对夫妻,从第0对开始第0对开始第0对开始,现在有一场宴会,可以坐两排,wife0wife0wife_0必须做左边,husband0必须坐右边husband0必须坐右边husband_0必须坐右边,其他的夫妻不能坐在同一边,给出MMM对通奸关系,有通奸关系的不能同时出现在wifte0wifte0wifte_0的对面。 问是否存在一种可行安排方案,存在则输出可行方...原创 2018-05-23 21:03:12 · 228 阅读 · 0 评论 -
Bzoj P1823 [JSOI2010]满汉全席___2-SAT
题目大意:数据TTT组,有nnn道材料,mmm个评委,每个评委会有2个要求,(a,x),(b,y)(a,x),(b,y)(a,x),(b,y)x,yx,yx,y为材料编号,a,ba,ba,b为做法,做法仅有满式或者汉式对于一个评委被满足,至少有一个要求被满足每道材料有且只有一道,即每道材料只能被一种做法使用,问是否有一种方案能使得所有的评委都满足对于每组数据,有输出GOODGOOD...原创 2018-12-04 22:09:44 · 166 阅读 · 0 评论 -
Jzoj P4672 Graph Coloring___01图染色+dfs
题目大意:一张n个节点m条边的无向图。最初,每一条边都是蓝色或者红色。每一次你可以将一个节点连接的所有边变色(从红变蓝,蓝变红)。找到一种步数最小的方案,使得所有边的颜色相同。1<=n,m<=1000001<=n,m<=1000001<=n,m<=100000没有自环的边分析:分别将边变为蓝色或者红色,然后取最优方...原创 2019-03-26 16:17:52 · 244 阅读 · 0 评论