摘要：
[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) 题面 题面较长，略 分析 考虑把问题转化成一个依赖性问题 我们把每只奶牛投出的两票中至少有一票和最终结果相符合转化:一只奶牛刚好投两次票，所以只要不满足奶牛的其中一次投票，就要 阅读全文