code

2-SAT 问题       有关2-SAT问题的详解可见刘汝佳>P323页,不过这里有个问题: 如何证明”如果当前考虑的变量不管赋值为真还是假都会引起矛盾,可以证明整个2-SAT问题无解(即使调整以前赋值的其他变量也没有用)”.算法模板:#include#include#includeusing namespace std;const int maxn=10000+10;s

POJ 3905 Perfect Election(简单2-SAT)http://poj.org/problem?id=3905题意:这里有1到N个人正在进行议员选举,每个人有2种结果,选上(0),未选上(1).现在的问题是,有M个选民的议员,结果必须符合这M条意愿,问你是否存在这种选举结果.分析:       由于每条意愿都是或的关系.则直接用2-sat添加对应边即可.

POJ 3648 Wedding(2-SAT)http://poj.org/problem?id=3648题意:有一对新人结婚,n-1对夫妇去参加婚礼.有一个很长的座子,新娘与新郎坐在座子的两边(相反).接下来n-1对夫妇就做,其中任何一对夫妇都不能坐在同一边,且(有一些人有奸情)这些有奸情的两个人不能同时坐在新娘对面.(只能分开做,或者都坐到新娘一边去)分析:       由于有

POJ 3683 Priest John's Busiest Day(2-SAT输出方案)http://poj.org/problem?id=3683题意:有N对新人举行婚礼,且每次婚礼需要持续d时间,从s时间到t时间之间举行且只能选择s到s+d时间或t-d到t时间这两个完整的时间段举行.现在只有一个神父,问他有没有可能参加所有新人的婚礼(待完整段时间且任意两对新人的婚礼时间不重叠)? 输

POJ 3678 Katu Puzzle(2-SAT)http://poj.org/problem?id=3678题意:一个N个顶点和M条边的有向图,每个顶点能取0或1两个值.现在每条边被一个操作符(or,and,xor)以及一个值(0或1)标记了,表示a与b按操作符运算的结果是值(0或1).问你该有向图是否有可行解?分析:       由于每个点只能取0或1两个值,所以我们把该问

HDU 1814 Peaceful Commission(2-SAT:最小字典序)http://acm.hdu.edu.cn/showproblem.php?pid=1814题意:现在有n个党派,每个党派有2个代表,我们需要从每个党派中选一个代表出来,构成一个n个人的立法委员会.但是可能有一些代表互相讨厌,所以他们不能同时出现在立法委员会中.现在问你是否存在一个合理的方案,且输出所有可能立

HDU 4115 Eliminate the Conflict (2-SAT)http://acm.hdu.edu.cn/showproblem.php?pid=4115题意: Bob和Alice玩剪刀石头布，一个玩n轮，Alice已经知道了Bob每次要出什么，1代表剪刀，2代表石头，3代表布，然后Bob对Alice作出了一些限制：给m行，每行是a b k，如果k是0，表示Alice第

HDU 1824 Let's go home(2-SAT)http://acm.hdu.edu.cn/showproblem.php?pid=1824题意: 集训是辛苦的，道路是坎坷的，休息还是必须的。经过一段时间的训练，lcy决定让大家回家放松一下，但是训练还是得照常进行，lcy想出了如下回家规定，每一个队（三人一队）或者队长留下或者其余两名队员同时留下；每一对队员，如果队员A留下，则队

POJ 2723 Get Luffy Out(2-SAT)http://poj.org/problem?id=2723题意:你手里有2n把不同的钥匙,这2n把钥匙被分为n对,每对由两个不同的钥匙组成.现在按顺序出现了M个门,每个门上有两个锁,你只需打开其中一个锁就可以打开这个门.现在你需要用你手里的钥匙去按顺序打开门,但是对于属于同一组的两把钥匙,如果你用了钥匙A,那么以后永远不能再用钥匙

HDU 3062 Party(2-SAT简单题)http://acm.hdu.edu.cn/showproblem.php?pid=3062题意: 有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n 个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席？分析:

POJ2296 Map Labeler(2-SAT)http://poj.org/problem?id=2296题意:平面上有n个给定坐标且不重叠的点,现在每个点要画一个大小相同的正方形(各边平行于坐标轴),对于每个点来说,该点只能在该正方形的上边的中点或下边的中点.现在的问题是,该正方形最大边长能为多少(整数),且各个点的正方形还能不重叠?分析:       其实每个点只有两种选

POJ 3207 Ikki's Story IV - Panda's Trick(2-SAT)http://poj.org/problem?id=3207题意:平面上有一个圆,圆上有n个点(分别编号0-n-1,按顺序在圆上排列),现在要对着n个点连接m条线,这个线可以从圆内连或从圆外连.且任意一个点最多只作为一条线的端点.要求任意两条线不相交,问你是否可能?分析:       由于

HDU 3622 Bomb Game(2-SAT+二分)http://acm.hdu.edu.cn/showproblem.php?pid=3622题意:有N对地点,每对地点中的一个地方要放一个炸弹,你可以控制炸弹的爆炸半径,现在要求所有N个被放的炸弹爆炸范围不重叠.问你在所有可行方案中的炸弹爆炸最大半径是多少?(假设所有炸弹爆炸半径相同,本假设与原提议的要求等价,可以自己想想)分析:

HDU 3715 Go Deeper(2-SAT)http://acm.hdu.edu.cn/showproblem.php?pid=3715题意：有下面一个递归程序：go(int dep, int n, int m)beginoutput the value of dep.if dep end问你dep最多能达到什么值？由题意可知dep现在给出了a,b,c数组

POJ 2749 Building roads(2-SAT)http://poj.org/problem?id=2749题意:有n个农场和2个集合点S1和S2,现在我们现在S1与S2之间连一条路,然后我们把每个农场与S1或S2连一条路(只连一个集合点,不会同时连两个).不过有一些农场对因为相互憎恨所以不能连接到同一个集合点,而有一些农场对因为相互喜欢所以要连接到同一个集合点.现在的问题是,

2-SAT问题        现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x]AND A[y]=0、A[x] OR A[y] OR A[z]=1等，要确定A[0..N-1]的值，使得其满足所有限制关系。这个称为SAT问题，特别的，若每种限制关系中最多只对两个元素进行限制，则称为2-SAT问题。        由于在2-SAT问题中，最多只对两个元素进行限制，所以可能的限制关