POSITIVE CNF-SATで満足のいく割り当ての数を数える

与えられた一般的なブール式（CNF-SAT）、与えられたDNF式、または与えられた2SAT式でさえ満足な割り当ての数を数える問題は＃P-complete問題です。

ここで、負のリテラル（、常に）のないCNF-SATを考えます。決定問題は非常に簡単です（すべての変数をTRUEに設定し、割り当てが式を満たしているかどうかを確認します）が、満たされている割り当ての数をカウントするのはどうでしょうか。これには多項式時間アルゴリズムがありますか？または、＃P-complete問題です。$\neg A$$A$

これはまだ＃P-complete [1]です。この問題は通常、montone（＃）SATと呼ばれます。Monotone＃2-SATはすでに＃P-completeです（これはグラフの頂点カバーを数えることに相当します）。

[1]ロス、ダン。「おおよその推論の難しさについて」人工知能82.1-2（1996）：273-302。

この問題はMonotone-SATです。クック削減の下で＃P-Completeです。これは、「決定は簡単ですが、数えにくい」問題の1つです。次の論文をお勧めします。Pの決定バージョンを使用したハードカウント問題の自己還元性