随笔分类 -  2-SAT

摘要：什么是 SAT 问题 k-SAT：k-satisfiability，中文名叫“k-适应性问题”，它描述的是这样一类问题。 给你 \(n\) 个变量 \(a_i\)，每个变量有 \(a_i\) 种取值，称变量 \(a_i\) 的取值集合为 \(a_i\) 的值域。同时还有一些约束，例如当 \(a_i\ 阅读全文

摘要：什么是$SAT$问题 \(k-SAT\)：\(k-satisfiability\)，中文名叫“\(k\)-适应性问题”，它描述的是这样一类问题。 给你$n$个变量$a_i$，每个变量有$a_i$种取值，称变量$a_i$的取值集合为$a_i$的值域。同时还有一些约束，例如当$a_i$取它的值域里某个值 阅读全文