13 我们知道在给定的通用布尔公式（CNF-SAT），给定的DNF公式甚至给定的2SAT公式中计算满足分配数的问题是#P 完全问题。 现在，考虑一个CNF-SAT，而没有负文字（不，总是一）。决策问题非常容易（将所有变量设置为TRUE并检查赋值是否满足公式），但是如何计算满足赋值的数量呢？这有多项式时间算法吗？或这是#P完全问题。¬ 一个¬AAA sat counting-complexity polynomial-time monotone — 穆斯林主义者 source
20 这仍然是＃P-complete [1]。此问题通常称为montone（＃）SAT。＃2-SAT单调已经完成#P（这相当于计算图形的顶点覆盖范围）。 [1]罗斯，丹。“关于近似推理的难度。” 人工智能82.1-2（1996）：273-302。 — 霍尔夫 source
14 这个问题是Monotone-SAT。在Cook Cook Reductions下，它是＃P-Complete。这是“容易决定但难以计数”的问题之一。我推荐以下论文。P中具有决策版本的难计数问题的自约性 — Tayfun Pay source