摘要：
之前的解法 其实二分图染色问题可以看成2-SAT问题的一个特例，只需要稍微修改一下板子，在对每个连通块dfs的时候每个点黑白都试一下，取个最小值即可，因为二分图染色比较特殊，各个连通块相互独立，因此不存在回溯的问题（一般情况下2-SAT问题对每个点的黑白染色都分别判断的话需要回溯） 1 #inclu 阅读全文
摘要：
题目链接 题意：有n个决议和m个人，每个人给至多4个方案投票，问是否存在一种方案使每个人超过一半的投票生效 当一个人投票数小于等于2时，他的每一票都必须生效，否则至多有一票不生效，“至多有一票不生效”等价于“任意两票不能同时不生效”，这样就转化成了一个2-SAT问题 题目还要求输出每一种方案的所有可 阅读全文