2023年3月11日
2-SAT
摘要： 1 2-SAT 问题 1.1 什么是 2-SAT $n$ 个 bool 变量，有 $m$ 个限制，形如：“第 $i$ 个变量的真假性为 $s$，那么第 $j$ 个变量的真假性需要为 $t$”，其中 $i, j \in [1, n], s, t \in {0, 1}$。求这些变量的一组合法取值，使得满 阅读全文
posted @ 2023-03-11 14:07 OIer某罗 阅读(24) 评论(0) 推荐(0) 编辑