随笔分类 -  图论算法-2_SAT

[Codeforces 1239D]Catowise City(2-SAT)
摘要：[Codeforces 1239D]Catowise City(2 SAT) 题面 有n个主人，每个主人都有一只猫。每个主人认识一些猫(包括自己的猫)。现在要选出一些人和一些猫，个数均大于0且总共为n，且所有人和所有猫都互不认识。判断是否有解，有解输出任意一组方案. n≤106 分析 阅读全文
posted @ 2019-10-23 18:28 birchtree 阅读(271) 评论(0) 推荐(0) 编辑
[LOJ 3101] [Luogu 5332] [JSOI2019]精准预测(2-SAT+拓扑排序+bitset)
摘要：[LOJ 3101] [Luogu 5332] [JSOI2019]精准预测(2 SAT+拓扑排序+bitset) 题面 题面较长,略 分析 首先，发现火星人只有死和活两种状态，考虑2 SAT 建图 对于每个火星人，把它按时间和状态拆点，(i,t,0/1)代表第i个火星人在t时刻，0代表活，1代 阅读全文
posted @ 2019-08-10 14:50 birchtree 阅读(205) 评论(0) 推荐(0) 编辑
[Luogu P3825] [NOI2017] 游戏 (2-SAT)
摘要：[Luogu P3825] [NOI2017] 游戏 (2 SAT) 题面 题面较长，略 分析 看到这些约束，应该想到这是类似2 SAT的问题。但是x地图很麻烦，因为k SAT问题在k 2的时候是NPC问题，所以不能直接做。 观察到d≤8,我们可以直接枚举每个x地图可以让哪些车使用，然 阅读全文
posted @ 2019-08-09 22:15 birchtree 阅读(240) 评论(0) 推荐(0) 编辑
[BZOJ 2199] [USACO11JAN] 大陆议会The Continental Cowngress(2-SAT)
摘要：[BZOJ 2199] [USACO11JAN] 大陆议会The Continental Cowngress(2 SAT) 题面 题面较长，略 分析 考虑把问题转化成一个依赖性问题 我们把每只奶牛投出的两票中至少有一票和最终结果相符合转化:一只奶牛刚好投两次票，所以只要不满足奶牛的其中一次投票，就要 阅读全文
posted @ 2019-08-09 21:44 birchtree 阅读(183) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示