2-充足問題かどうかのユニークな真実の割り当ては存在しますか

Question

Iは、2-SAT問題の延長であるという問題を有しています。標準の2-SATの問題では、我々は選択した頂点の順序に依存真実の割り当てのいずれかを見つけることができます。私は、唯一の真実の割り当て式が充足いる（すなわち唯一の1つの組み合わせ）が存在するかどうかを確認したいです。リテラルの数は100000することができます。 一つの方法は、彼らが異なっている場合は、それらを比較し、その後、すべての可能な真理値割り当てを見つけることです。しかし、問題は、それぞれの比較のために、私は100000個の値（リテラルのない）を比較しないことがありますです。任意の効率的な方法はありますか？

Answer 1

フェーダー（1994）効率所与-2-にすべてのソリューションをリストするためのアルゴリズムを説明充足インスタンスに。そこの引用は、割り当て数をカウントするアルゴリズムのための記事にもありますが、あなただけの、より効率的であってもよい2つの割り当てを、リストアップしてみてくださいする必要があります。