2019年10月3日
并不对劲的2-SAT
摘要： 说明 "板板题链接" "这个人" 讲得很清楚 WAWAWAWA 建的边“不完整”，比如当限制是“x为1时y一定为1”时，连x y的边时，忘记连y' x'的边（逆否）。 代码 阅读全文
posted @ 2019-10-03 20:03 echo6342 阅读(353) 评论(0) 推荐(0) 编辑