2017年3月25日
2-SAT的小总结（POJ 3683 POJ 3207）
摘要： 记住几个最重要的公式： xANDy=0<=>(x=>y′)AND(y=>x′) xANDy=1<=>(x′=>x)AND(y′=>y) xORy=0<=>(x=>x′)AND(y=>y′) xORy=1<=>(x′=>y)AND(y′=>x) xXORy=0<=>(x′=>y′)AND(x=>y)A 阅读全文
posted @ 2017-03-25 20:14 SiriusRen 阅读(173) 评论(0) 推荐(0) 编辑