2-SAT
200815147
这个作者很懒,什么都没留下…
展开
-
2-SAT 题表
2-SAT 题表原创 2017-12-23 11:08:14 · 295 阅读 · 0 评论 -
[BZOJ]3495: PA2010 Riddle 2-SAT
Description k个国家,几个城市,m条边。 要求每个国家有且仅有一个首都,每条边两端的城市至少要有一个首都。 判断是否有解, 有解输出“TAK”,无解输出”NIE” 1 < = k, N ,M , < =1000000。题解:直接建边的话边数太大,所以建多2n2n2n个点分别表示这个国家前nnn个城市中有没有首都,后nnn个城市中有没有首都。然后就比较...原创 2017-12-24 17:32:54 · 300 阅读 · 0 评论 -
4078: [Wf2014]Metal Processing Plant 2-sat+二分+二分图优化
题解:网上大多数题解都是这样的:从大到小枚举对A集合中最大的边,然后二分B集中最大的边,用2-sat判断是否合法,这样做是比较慢的,需要枚举n2n2n^2条边,栋老师给出了一种只需要枚举nnn条边的方法:每次枚举一条边时,在图中加入这条边,若这样产生了一个奇环,那么计算完这条边的贡献后就不需要继续枚举,因为我们现在需要图中的任意两点是不能在同一个集合中的,若出现奇环则无法满足;若这样产生了偶环...原创 2018-04-26 21:31:27 · 1552 阅读 · 0 评论