CNF句子有多少可能的作业？

Question

我在理解以下内容时遇到了一些麻烦：

当我们以联合正规形式看待可满足性问题时，欠约束问题是一个约束变量的条款相对较少的问题。例如。这是一个随机生成的3-CNF句子，有五个符号和五个子句。 （每个子句包含3个随机选择的不同符号，每个符号以50％的概率被否定。）

 (¬D ∨ ¬B ∨ C) ∧ (B ∨ ¬A ∨ ¬C) ∧ (¬C ∨ ¬B ∨ E) ∧ (E ∨ ¬D ∨ B) ∧ (B ∨ E ∨ ¬C)

32个可能的作业中有16个是这个句子的模型，因此，平均而言，只需2个随机猜测即可找到该模型。

---

我不明白最后一行 - 说有32个可能的任务。怎么样32？那句话中只有16个模特怎么样？对不起，但我发现这个概念有点令人困惑。感谢。

Answer 1

对于5个变量，两个值 true 和 false 有2 ^ 5 = 32个可能的分配：

1:  00000
2:  00001
3:  00010
    ...
31: 11110
32: 11111

这些作业中有16个满足（我没有检查）给定的公式，因此是它的模型。