题意:有n 个议案,m 个大臣,每个大臣会对其中的ki 个议案投票,为赞成或反对.现要你判断是否存在一种方案,使得每个大臣有大于一半的投票被满足.若存在,还需判断某个议案是不是一定要通过,或者一定不能通过. 数据范围:n≤1000,m≤5000,1≤ki≤4 首先这是一些布尔变量的真假的问题,这让我们联想到2-SAT 仔细观察题意发现,k=1,2的时候所投的1个/2个提议的结果必须和投的票相同,k=3和4的时候最多允许有一个提议的结果和投的票不同. 因为2-SAT问题是对两个变量的约束,我们发现…