2-SAT
文章平均质量分 76
拉风的啤酒肚
菜鸟一枚若发表的文章有所错误望各位大神提出意见
展开
-
HDU1824
2-SAT入门题,将两个队员看成一个点即可,即用一条边将两个队员连起来,然后就是2-SAT裸题。 #include #include #include #include #include #include #include #include #include #include #include #define M 3005 #define LL long long #def原创 2014-05-01 19:39:33 · 972 阅读 · 0 评论 -
HDU3622(二分+2-SAT)
题意不说了,直接讲思路。 首先对半径进行二分,然后再判断炸弹之间的距离是否小于2*半径,如果是,那么就连接i->j^1和j->i^1,然后用强连通判断可行性。 #include #include #include #include #include #include #include #include #include #include #include #define原创 2014-05-01 20:57:25 · 1373 阅读 · 0 评论 -
HDU3715(二分+2-SAT)
题意就是求满足题目中给出的递归代码的最大递归层数。 由于x[i]只有0和1,所以我们就比较容易想到2-SAT,然后二分递归层数,求出满足要求的最大递归层数。建图的时候,不满足不等式的就是互相矛盾的,然后建边。 #include #include #include #include #include #include #include #include #include #in原创 2014-05-02 09:53:12 · 1086 阅读 · 0 评论