2021年11月18日
【学习笔记】2-SAT
摘要： 2-SAT 用来解决一类如下形式问题：有 \(n\) 个针对布尔变量的或条件，求一组解。 考虑按照命题连边，也就是从中找到必要的逻辑关系进行建图。那么显然，有两条边：一条是原命题，一条是逆否命题。 建图之后跑缩点，那么缩在一起的点一定是可以互相推出的。 那么，如果 \(x\) 与 \(!x\) 合并 阅读全文
posted @ 2021-11-18 21:45 Refined_heart 阅读(31) 评论(0) 推荐(0) 编辑