摘要： 
定义 SAT是适定性(Satisfiability)问题的简称 。一般形式为k-适定性问题，简称 k-SAT。 可以证明，当 $k>2$ 时，k-SAT 是 NP 完全的。因此一般讨论的是 $k=2$ 的情况，即 2-SAT 问题。 我们通俗的说，有 $n$ 个布尔变量 $x_{1}−x_{n}$。 阅读全文
定义 SAT是适定性(Satisfiability)问题的简称 。一般形式为k-适定性问题，简称 k-SAT。 可以证明，当 $k>2$ 时，k-SAT 是 NP 完全的。因此一般讨论的是 $k=2$ 的情况，即 2-SAT 问题。 我们通俗的说，有 $n$ 个布尔变量 $x_{1}−x_{n}$。 阅读全文
posted @ 2023-04-22 14:29
北烛青澜
阅读(157)
评论(0)
推荐(0)
浙公网安备 33010602011771号