![](https://img-blog.csdnimg.cn/20201014180756926.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
2-SAT
ylsoi
这个作者很懒,什么都没留下…
展开
-
2-SAT算法学习笔记
2-SAT:好像大概是这么一个东西,有一些集合,每个集合中有两个元素(ai,bi)(ai,bi)(a_i,b_i),然后要求你从每一个集合中选出一个元素,但是同时对于集合元素的选取是有一些限制的,比如说什么选了aiaia_i和ajaja_j必须选一个,或者选了aiaia_i就必须选bjbjb_j之类的。 然后我们发现上面所有的限制条件都可以转化为一类,即选了aiaia_i就必须选择bjbjb...原创 2018-08-19 14:43:40 · 1177 阅读 · 0 评论 -
[uoj317][NOI2017]游戏——2-SAT
题目大意:小 L 计划进行 n 场游戏,每场游戏使用一张地图,小 L 会选择一辆车在该地图上 完成游戏。 小 L 的赛车有三辆,分别用大写字母 A、B、C 表示。地图一共有四种,分别用小 写字母 x、a、b、c 表示。其中,赛车 A 不适合在地图 a 上使用,赛车 B 不适合在地 图 b 上使用,赛车 C 不适合在地图 c 上使用,而地图 x 则适合所有赛车参加。适合所 有赛车参加的...原创 2018-08-19 14:57:42 · 345 阅读 · 0 评论 -
[bzoj1997][Hnoi2010]平面图判定——2-SAT+平面图定理
题目大意:给定一个带有哈密顿回路的图,求此图是否为平面图。思路:既然有哈密顿回路,则可以把环外和环内看成两个不同的区域,然后如果有不是环上的边相交的话就不能同时在环内或者环外。然后就可以转化为2-SAT模型。 但是发现如果枚举去连边的话显然很可能会TLE。这个时候要用到平面图的一个定理,即任意一个平面图的边的个数不大于3*n-6,至于证明我就不知道了。。 然后就直接枚举连边跑2-S...原创 2018-08-19 16:53:27 · 692 阅读 · 0 评论