摘要： http://poj.org/problem?id=2723题意：有2n把钥匙，分成2组，给你每组的钥匙信息，并且每组的钥匙只能用一个。 有m个门，每个门有2个锁，只要打开一个锁这个门就开了。（顺序遇见m个门） 问你最多能够打开多少个门。题解：通过这道题 ，对 2-sat 有了 进一步的了解。。。。。 2-SAT主要是寻找不相容的点（建图），首先是我们把钥匙分为 选和不选，A和 ！A对于 第一类 ： 没两把钥匙 ，a和b （ 必然关系 ） 选 a 不选 b（a->!b） ，选 b 不选 a(b->！a);对于 第二类：每一扇门 有 a 锁和 b 锁，不开a 必开 b (!a-> 阅读全文

摘要： http://poj.org/problem?id=3678题意:一些点，点的取值可以是0或者1，没有告诉你具体取值。 一些边，有权值，有运算方式（并，或，异或），要求和这条边相连的两个点经过边上的运算后的结果是边的权值。 问你有没有可能把每个点赋值满足所有边的要求。 解题报告：（找矛盾 。必须 关系） a and b == 1, 这种情况a和b必须取1，所以连边a->a', b->b'.a and b == 0,这种情况a和b不能同时为1，所以连边a'->b, b'->a.a or b == 1, 这种情况a和b不能同时为0，所以连边a 阅读全文

摘要： http://poj.org/problem?id=3207题意： 平面上，一个圆，圆的边上按顺时针放着n个点。现在要连m条边，比如a，b，那么a到b可以从圆的内部连接，也可以从圆的外部连接。给你的信息中，每个点最多只会连接的一条边。问能不能连接这m条边，使这些边都不相交。 解题报告： 题意可能刚开始不是很好理解，比如1 5连边，2，6连边，由于点是顺序排列的，一画图就可以发现，这两条边必须一个从圆外面连，一个从内部连，否则就会相交。如果再加入3 7这条边，那么就必须相交了。 这样，就可以转化成标准的2-sta问题： 1：每个边看成2个点：分别表示在内部连接和在外部连接，只能选择一个。计作点i 阅读全文

摘要： poj 3207 http://blog.sina.com.cn/s/blog_64675f540100k13v.html poj 3678 http://blog.sina.com.cn/s/blog_64675f540100k15b.html poj 3683 http://blog.sina.com.cn/s/blog_64675f540100k1cd.html poj 3648 http://blog.sina.com.cn/s/blog_64675f540100k1g9.html poj 2723 http://blog.sina.com.cn/s/blog_64675f540100 阅读全文

摘要： http://poj.org/problem?id=3683题意： 有n个婚礼，每个婚礼有起始时间si，结束时间ti，还有一个主持时间ti，ti必须安排在婚礼的开始或者结束， 主持由祭祀来做，但是只有一个祭祀，所以 各个婚礼的主持时间不能重复，问你有没有可能正常的安排主持时间，不能输出no，能的话要输出具体的答案：即每个婚礼的主持时间段是什么样的。2-sat 问题。建图： 对于每个婚礼，主持时间只有两种状态，而且各个婚礼之间的主持时间之间有相互限制，自然想到2-sat。 对于婚礼i和婚礼j。i表示在开始主持，i2表示在结束主持，j类似。 枚举每一对不同的i和j。 如果i和j冲突。连接i j2 阅读全文