2—SAT
A_loud_name
23333333~~~
展开
-
poj 3678 Katu Puzzle 2-SAT
题目大意 给定n个布尔型变量,以及m个限制,限制有三种类型,AND,OR,XOR。分别表示两个变量进行这些运算的值。每个变量只能取0或1.问是否有一种情况满足所有条件的限制 分析 对于本题,设i表示该变量为false,i’表示该变量为true。 i and j=1-------------->add(i,i') add(j,j') i and j=0------原创 2016-06-11 21:07:31 · 346 阅读 · 2 评论 -
poj 3683 Priest John's Busiest Day 2_sat
题目大意 有n个婚礼,每个婚礼有起始时间si,结束时间ti,还有一个主持时间ti,ti必须安排在婚礼的开始或者结束,主持由祭祀来做,但是只有一个祭祀,所以各个婚礼的主持时间不能重复,问你有没有可能正常的安排主持时间,不能输出no,能的话要输出具体的答案:即每个婚礼的主持时间段是什么样的。 分析 把一个婚礼分成两个点,分别代表一场婚礼开头主持和结束主持(用分钟算)的时间。那么就把原创 2016-06-13 19:34:31 · 406 阅读 · 3 评论 -
poj 3648 Wedding 2_SAT
题目大意 有n对夫妇第i对夫妇表示为i-1h、i-1w。每对夫妇必须坐在桌子的不同侧。现在有m对通奸关系,新娘(0号妻子)不想看到她对面的任意两个人有通奸关系。求一种满足的坐法并输出坐新娘同侧的人。 分析 因为每对夫妻要么夫左妻右要么夫右妻左,所以很明显是一道2-SAT问题。 建图:设i'为第i个人的伴侣。对于某对通奸关系i和j,则连边i->j',j->i'。最后从新娘连原创 2016-06-14 17:04:45 · 378 阅读 · 4 评论 -
poj 2723 Get Luffy Out 2_SAT
题目大意有m层楼,从一层到m层,要进入每层都要打开位于该层的两道门中的至少一道。门锁有2n种,每个门锁为2n种中的一种,可以重复。有2n把钥匙,分别对应2n种锁,但是钥匙两两一组,共n组,每组只能选一个来开门,被选中的可以多次使用,另一个一次都不能用。问最多能上多少层。 分析 对于每组钥匙,只能二取一,所以是2-SAT模型。 建图:某层有x,y两种锁,x的钥匙a与钥匙b一组原创 2016-06-14 20:59:32 · 423 阅读 · 3 评论 -
poj 3207 Ikki's Story IV - Panda's Trick
题目大意平面上,一个圆,圆的边上按顺时针放着n个点。现在要连m条边,比如a,b,那么a到b可以从圆的内部连接,也可以从圆的外部连接。给你的信息中,每个点最多只会连接的一条边。问能不能连接这m条边,使这些边都不相交。分析对于每条边s,该边有两种连发,一种是圆内,一种是圆外,根据这两种连发把边分为s和s'。若两条边i和j,它们不能在圆内共存,则它们也不能在圆外共存(自己画一下图就明原创 2016-06-12 16:38:40 · 401 阅读 · 3 评论