ylsoi的博客

2-SAT： 好像大概是这么一个东西，有一些集合，每个集合中有两个元素(ai,bi)(ai,bi)(a_i,b_i)，然后要求你从每一个集合中选出一个元素，但是同时对于集合元素的选取是有一些限制的，比如说什么选了aiaia_i和ajaja_j必须选一个，或者选了aiaia_i就必须选bjbjb_j之类的。 然后我们发现上面所有的限制条件都可以转化为一类，即选了aiaia_i就必须选择bjbjb...

题目大意： 小 L 计划进行 n 场游戏，每场游戏使用一张地图，小 L 会选择一辆车在该地图上 完成游戏。 小 L 的赛车有三辆，分别用大写字母 A、B、C 表示。地图一共有四种，分别用小 写字母 x、a、b、c 表示。其中，赛车 A 不适合在地图 a 上使用，赛车 B 不适合在地 图 b 上使用，赛车 C 不适合在地图 c 上使用，而地图 x 则适合所有赛车参加。适合所 有赛车参加的...

题目大意： 给定一个带有哈密顿回路的图，求此图是否为平面图。 思路： 既然有哈密顿回路，则可以把环外和环内看成两个不同的区域，然后如果有不是环上的边相交的话就不能同时在环内或者环外。然后就可以转化为2-SAT模型。 但是发现如果枚举去连边的话显然很可能会TLE。这个时候要用到平面图的一个定理，即任意一个平面图的边的个数不大于3*n-6，至于证明我就不知道了。。 然后就直接枚举连边跑2-S...