摘要：
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=4421思路：枚举32位bit,然后2-sat判断可行性，这里给出2-sat矛盾关系构图：1、a&b=0 : a->~b,b->~a;2、a&b=1 : ~a->a,~b->b;3、a|b=0 : a->~a,b->~b;4、a|b=1 : ~a->b,~b->a;5、a^b=0 : a->b,b->a,~a->~b,~b->~a;6、a^b=1 : a->~b,b->~a,~b->a,~a-&g 阅读全文
摘要：
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1816思路：首先将每把钥匙i拆成两个点i和i+2n,分别表示选与不选,对于被分成n对的钥匙,由于只能选择其中的一把,所以加边(i,j+2n),(j,i+2n)对于每道门所对应的两把钥匙,两边中选一把，当i不选时，则必须选择j.反之，同理。所以加边(i+2n,j),(j+2n,i）.二分所能打开门的数量,再用2-sat来判断可行性 . http://paste.ubuntu.com/5976255/ 阅读全文