2017年8月9日
poj3678 2- sat
摘要： 这题就是找合取范式比较麻烦 AND 1 0必须取自己来造成矛盾，1必须取1 AND 0 1必须取0 OR 1 0必须取1 OR 0 1必须取自己来造成矛盾 XOR 1 0必须取1，1必须取0 XOR 0 1必须取1，0必须取0 然后就是tarjan扫一遍判断 #include<map> #inclu 阅读全文
posted @ 2017-08-09 09:34 walfy 阅读(169) 评论(0) 推荐(0) 编辑