2020年6月10日
[学习笔记] 2-SAT
摘要： 拆点 : 将每个 bool 变量拆成 0, 1 两个点. 连边 : 将限制条件转化为连边. 图是 DAG 时, 对于每个 bool 变量, 合法点的拓扑序大于非法点. 证明 : 若某个 bool 变量拆分成的两个点为 u,v , 若 u 为非法点, 则存在一条从 u 到 v 的路径, 所以 v 的拓 阅读全文
posted @ 2020-06-10 11:58 BruceW 阅读(169) 评论(0) 推荐(0) 编辑