2022年7月4日
2-SAT 模板
摘要： 大致理解了。 需要注意的在这几个地方： 有确定关系的才能建边，比如说：若$x$为$false$时$y$一定为$true$，则可以$add(x,y+n)$，若$x$为$false$时$y$可能为$true$也可能为$false$，则不能建边。 如果从$(x,false)$能走到$(x,true)$，说 阅读全文
posted @ 2022-07-04 10:26 Broken_Eclipse 阅读(26) 评论(1) 推荐(0)

Loading