摘要：
2-sat。又学到了一种使用的方法：当确定选择某中状态A时，从它的对立状态A^1引一条边add(A^1,A)，从而使凡是dfs经过对立状态，必然return false；即保证若存在一种可能性，必然是经过该状态A的。题意：m个人对n个方案投票，每人之多投4票，是否存在一种方案使每个人所投的一半以上的票被采纳。依次输出每个议题最终的结果。1、注意是一半以上，我一开始理解成一半，结果无法根据必然性建边。 2 #include 3 #include 4 #include 5 using namespace std; 6 7 const int MAXN=555; 8 9 stru... 阅读全文