z.arbitrary

摘要： POJ 2-sat六题之一解题报告：http://blog.sina.com.cn/s/blog_64675f540100k13v.html题意：平面上，一个圆，圆的边上按顺时针放着n个点。现在要连m条边，比如a，b，那么a到b可以从圆的内部连接，也可以从圆的外部连接。给你的信息中，每个点最多只会连接的一条边。问能不能连接这m条边，使这些边都不相交。这题主要是了解把边看成是2-sat的变量。边的里边和外边对应变量的true和false;解题报告：题意可能刚开始不是很好理解，比如1 5连边，2，6连边，由于点是顺序排列的，一画图就可以发现，这两条边必须一个从圆外面连，一个从内部连，否则就会相交。 阅读全文

摘要： 照这书写的。。(┬＿┬)这个题找bug找了半天原来是#define MAXN 2000+20不行。。怪我没看FQA。。哎。。然后改成#define MAXN 2020就行了这题是2-sat模型。。。虽然我也不知道为什么要这么做。但是好歹写了有个2-sat模版吧2-sat:有n个布尔变量xi，另有m个需要满足的条件，每个条件的形式都是“xi为真/假或者xj为真/假”。比如：“x1为真或者x2为假”。这里或者是指两个条件至少有一个是正确的，这样有三种组合满足。做法：我们将一个点拆成两个点，2i和2i+1,分别表示真或假对“xi为真或者xj为真”这样的条件，我们连一条有向边2i+1--->2j 阅读全文