集训队作业_非原创.pdfVIP

题源：ACM 题目大意：n 个人对m 个方案投票。每个人最多只能对其中的4 个方 案投票（其他相当于弃权票），每一票要么支持要么 。最终的决 定——这个决定中对每个方案要么支持要么 ——要求对每个投 票人的建议采纳超过一半。问，是否存在一个这样的决定，决定中对 于哪些方案的态度是确定的？ 题解： 关键点在于最终的决定与每个投票人的建议有至多一处相 ！ （如果此人只投1-2 票，那就完全不能 ）。这让 想到转化为 2-SAT 问题求解。因为，如果一个人的建议是ABCD ，那么，就相当 于（A or B ）and (A or C) and (A or D) and (B or C) and (B or D) and (C or D) 。一个人的建议 三个，那与4 个类似。一个人的建议 两个： AB ，那么写成(A or A) and (B or B) ，一个