
2-SAT
hill_555
这个作者很懒,什么都没留下…
展开
-
Hdu1824 Let's go home(2-sat)
n个队伍,一个队伍3个人,要求如果队长不在那剩下两个队员必须在,如果剩下两个队员不在队长必须在。m种冲突关系,每种冲突关系中的两个人不能同时存在。问方案是否可行#include#include#includeusing namespace std;#define clr(x)memset(x,0,sizeof(x))int abs(int x){if(x>0)return x;r原创 2013-08-21 22:12:51 · 794 阅读 · 0 评论 -
hrbust 1806 方方(二分答案+2-SAT可行性判断)
题意:给你n个点,要你在这n个点上放一个正方形,点只能在正方形的上边或下边的中点上,所有正方形大小一样,不能重叠,求最大的正方形。学校解题报告:如果abs(s[i].x-s[j].x)>=r则可以随便放。如果 abs[s[i].x-s[j].x)如果abs(s[i].y-s[j].y)如果s[i].y==s[i].y则要求一个放上面一个放下面。否则只能是上面的点放上面,下面的点放下面。如果r则原创 2013-08-14 11:50:25 · 625 阅读 · 0 评论 -
hdu3622 Bomb Game(2分答案+2sat判定)
给定n个回合,每个回合给你两个点,每个回合只能选择一个点放置炸弹,在n个回合里选出n个点放置炸弹,炸弹的爆炸范围是一个圆形范围,半径可以控制。求满足每个炸弹爆炸的圆形区域不相交的条件下,的所有半径里面的最小半径最大值。二分枚举两点之间的距离,如果存在两点距离小于等于枚举的距离时,则表示这两个点之间存在矛盾,根据2-sat建图。通过2-sat判断是否满足条件,存在矛盾说明枚举的距离太小,不存在说原创 2013-08-25 10:15:17 · 721 阅读 · 0 评论 -
hdu 4751 Divide Groups (2-SAT or 补图+二分图判定)
有一群人,有的人认识某些人(认识的关系是单向的)。现在需要将这些人分成两个部分,每一个部分中所有的人都是两两认识的。补图+二分图判定原创 2014-05-08 18:20:04 · 692 阅读 · 0 评论