2-SAT
文章平均质量分 80
BraketBN
这个作者很懒,什么都没留下…
展开
-
【BZOJ1997】[Hnoi2010]Planar【平面图判定】【2-SAT】
判断存在一条Hamilton回路的图是否是平面图。 和POJ3207几乎一样,只要把 判断相交的条件改成按回路编号比较就行了。 /* Footprints In The Blood Soaked Snow */ #include #include using namespace std; const int maxm = 10005, maxn = maxm << 2,原创 2016-03-09 21:59:29 · 733 阅读 · 0 评论 -
【POJ3207】Ikki's Story IV - Panda's Trick【2-SAT】
学习一发2-SAT。 orz这个blog讲得不错。 http://blog.csdn.net/jarjingx/article/details/8521690 (论tarjan到底要不要加在栈中的标记) /* Footprints In The Blood Soaked Snow */ #include #include using namespace std;原创 2016-03-09 12:18:31 · 416 阅读 · 0 评论 -
【SPOJ-KING】King【2-SAT】
题意: 有n个人选国王,可以投支持或者不支持两种票,每个人可以投两票,问是否存在一种方案,使得每个人至少有一票满足。 裸的2-SAT啦。 (SPOJ第50题啦) /* Footprints In The Blood Soaked Snow */ #include #include using namespace std; const int maxn = 2原创 2016-03-09 15:33:46 · 403 阅读 · 0 评论 -
【BZOJ4078】[Wf2014]Metal Processing Plant【2-SAT】【二分】【二分图】【并查集】
【题目链接】 考虑比较暴力的方法,我们枚举两个集合的最大值S1, S2,那么我们可以用2-SAT来判断合法不合法(如果i, j之间的值大于S1,那么如果i在第一个集合,j只能在第二个集合,其他类似)。 我们将边权从大到小排序,依次枚举S1,发现S2是单调的(S2越大,越可能合法),于是可以二分S2了。 另外还有个优化,把枚举S1的过程看成加边的过程,我们发现当这个图不是二分图的时候就可以原创 2016-07-09 09:46:47 · 1844 阅读 · 0 评论