linkfqy

题面在这里2-SAT的最经典应用……不说了，直接上代码：

题面在这里典型的2-SAT问题此题只能用DFS暴力乱搞，因为要输出字典序最小的一组解示例程序：

题面在这里典型的2-SAT问题……可以发现，对于任意两条连线，能在O(1)复杂度内判断是否矛盾 （即两条连线必须位于圆的两侧） 这样暴力枚举一下建边，用Tarjan刷强连通分量 最后判断是否有解即可示例程序：

题面在这里2-SAT经典题……钥匙只能二选一，所以很容易看出是2-SAT问题 考虑约束关系： 对于一扇门，假设它两把锁为(a,b) 那么为了过这扇门，选了a’就一定要选b，反之亦然 后面不需要讲了……然而每次枚举过几扇门太慢了，直接二分答案注意：数据范围有点坑示例程序：

题面在这里2-SAT经典题……没什么好说的，直接上代码吧

题面在这里因为平面图有一个性质，就是边数不超过3N-6 所以可以首先确定边数大于3N-6的case了 那么边数就成了O(n)O(n)级别的了 然后是典型的2-SAT问题： 每条边要么在哈密顿回路的内侧，要么在外侧 Tarjan缩点判定即可示例程序：

题面在这里很典型的2-SAT问题…… 可以对每个点是否为首都建图 考虑一条边(u,v)，如果u不是首都，则v必须是。反之亦然。 u′→v，v′→uu'\rightarrow v，v'\rightarrow u 然后对于一个国家里的点，有一个是首都则其他都不是首都但是这样边数是N2N^2级别的可以用前缀优化建图。 对于一个点u，建2个变量 分别表示 u是否为首都（u与u’） 和 u所在的国

SAT及2-SATSAT是一类关于变量取值的问题 具体模型：有若干个变量，各变量之间有取值约束，判断是否有一个满足所有约束的可行解，或求出某个特殊解 特殊地，若所有变量的取值都只有两种可能，那么此问题被称为2-SAT问题2-SAT的解法首先是建图。 对于2-SAT问题，我们一般先观察题目条件 把它抽象成约束关系，再进行建图。 建图时，一个变量的两个取值视为两个不同的点。比如:a|ba|b为

题面在这里其实就是2-SAT……对于每个字母，考虑是否改掉那么只需要相邻两个满足字典序，所有的单词就都满足字典序了然后应该很好处理吧……nm打反狂WA 3发……示例程序：