![](https://img-blog.csdnimg.cn/20201014180756930.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
2-sat
sdj222555
这个作者很懒,什么都没留下…
展开
-
POJ 3207 2-sat 判断是否有合法解
---------------------------------------------------------------------------------------------------------以下转载自http://cainiao2hao.blogcn.com/articles/poj3207.html平面上,一个圆,圆的边上按顺时针放着n个点。现在要连m条边,比如a,b,那原创 2012-07-03 21:25:47 · 2196 阅读 · 0 评论 -
POJ 2723 二分+ 2-sat 判定
此题的题意很简单,有一些个门, 还有2 * n个钥匙分成了n组,每组里有两把钥匙,并且每组中只能使用一把钥匙, 然后每个门有两把锁,分别对应着钥匙,两个锁只要任意开一个门就会打开,并且,要打开一个门,必须保证他序号之前的所有门都打开了,类似于一关一关的往里闯然后思路的话,由于是必须顺序的开门,所以可以进行二分枚举答案,如果枚举的数为m, 则我们要判定的就是1~m的门是否能被打开, 就要原创 2012-07-04 11:51:23 · 966 阅读 · 0 评论 -
POJ 3648 2-sat 输出解
这题的题意稍不留神就会看错,注意那个keep ...from 是啥意思所以新娘看不见本排的情况,只能看见对面,要求不能看见不正常关系的一对。并且夫妇不能同时坐在一边。很明显的模型了,由于新娘看的是对面的情况,所以就需要对新娘对面的人来分析建图,n对夫妇是2 *n个点, n对夫妇每对夫妇只能挑一个到新娘对面坐下,这很符合2-sat的初始的状态。然后又有一些不正常关系,就需要分别建图了。 并且原创 2012-07-05 15:55:58 · 2513 阅读 · 0 评论 -
POJ 2749 二分+2-sat判定
这题还是挺好想建图的 二分判定就行了#include #include #include #include #include #include #include #define MAXN 2005#define MAXM 50005#define INF 1000000000using namespace std;vectorg[MAXN];int n, A,原创 2012-07-05 21:10:29 · 718 阅读 · 0 评论 -
POJ 3683 2-sat 输出解
题意方法和之前的3648基本一样注意输出解的方式,分成两部分的点集,应该遍历其中一个点集,根据染色判断选择该点集的点还是另一个点集的点#include #include #include #include #include #include #include #define MAXN 5005#define MAXM 50005#define INF 1000000000原创 2012-07-05 18:37:43 · 951 阅读 · 0 评论 -
COJ 1253 二分+2-sat判定
X城的精神病院只有两个病房,一共关着N 名病人,编号分别为1~N。病人之间的关系有时极不和谐。很多病人之间甚至积怨已久,如果客观条件具备则随时可能爆发冲突。我们用“不和谐值”(一个正整数值)来表示某两名病人之间的仇恨程度,不和谐值越大,则这两名病人之间的积怨越多。如果两名不和谐值为c 的病人被关在同一病房,他们俩之间会发生摩擦,并造成影响力为c 的冲突事件。每年年末,院里会将本年内病房中的所有原创 2012-07-05 21:36:11 · 1375 阅读 · 0 评论 -
HDU 3622 二分+2-sat
这题二分的话,二分半径可以过,但是二分半径的平方就会跪,不知道为什么#include #include #include #include #include #include #include #include #define MAXN 255#define MAXM 50005#define INF 500000005#define eps 1e-7using原创 2012-07-06 12:49:02 · 1156 阅读 · 0 评论 -
POJ 3678 Katu Puzzle 2-sat 判断是否有合法解
建图如下AND 1 a0->a1,b0->b1AND 0 a1->b0,b1->a0OR 1 a0->b1,b0->a1OR 0 a1->a0,b1->b0XOR 1 a0->b1,a1->b0,b1->a0,b0->a1XOR 0 a0->b0,b0->a0,a1->b1,b1->a1需要注意的是,如果a,b的值已经原创 2012-07-03 15:24:47 · 868 阅读 · 0 评论