2021年8月19日
2-SAT
摘要： 1. \(\rm 2-SAT\) 问题简述 有 \(n\) 个变量，每个变量有只有 \(2\) 种取值，还有 \(m\) 个约束条件，每个条件都是对 \(k\) 个变量的约束。问这 $n$​​ 个变量有没有一种取值方法，能满足这 \(m\) 个条件，这个问题就是 \(\rm k-SAT\) 问题，其 阅读全文
posted @ 2021-08-19 21:37 mango09 阅读(37) 评论(0) 推荐(0) 编辑
-->