摘要：
题目 思路 因为每个党只有 2 个代表，所以这个题目很好做。 考虑使用 2-SAT，如果这个党的 \(x\) 厌恶另外一个党的 \(y\)，那么如果 \(x\) 存在，那么 \(y\) 不能参加，而一个党必须有一个人，所以只能由 \(y\) 的同伙出席，反之亦然。 这已具备 2-SAT 题目特征，连 阅读全文
摘要：
2-SAT 定义 可以看一下洛谷模板题目的定义： 思路 每个等式都可以理解为如果 \(x\) 不是条件规定的，那么 \(y\) 必须按照条件规定的，反过来也一样。 所以我们将一个数字拆成两个点，对于每个条件将代表取反 \(x\) 的点与 \(y\) 相连，将代表取反 \(y\) 的点与 \(x\) 阅读全文