摘要:
[Luogu P3825] [NOI2017] 游戏 (2 SAT) 题面 题面较长,略 分析 看到这些约束,应该想到这是类似2 SAT的问题。但是x地图很麻烦,因为k SAT问题在k 2的时候是NPC问题,所以不能直接做。 观察到$d \leq 8$,我们可以直接枚举每个x地图可以让哪些车使用,然 阅读全文
摘要:
[BZOJ 2199] [USACO11JAN] 大陆议会The Continental Cowngress(2 SAT) 题面 题面较长,略 分析 考虑把问题转化成一个依赖性问题 我们把每只奶牛投出的两票中至少有一票和最终结果相符合转化:一只奶牛刚好投两次票,所以只要不满足奶牛的其中一次投票,就要 阅读全文