2-可滿足性問題-是否存在唯一的真相分配

Question

我有一個問題，是2-SAT問題的擴展。 在標准2-SAT問題中，我們可以找到任何真值分配，這取決於我們選擇的頂點的順序。 我想檢查是否存在一個表達式可以滿足的真值分配（即只有一種組合）。 文字數量可以是100000。一種方法是找到所有可能的真值分配，然后比較它們是否不同。 但是問題是對於每個比較，我將不得不比較100000個值（沒有字面值）。 有什么有效的方法嗎？

Answer 1

Feder（1994）描述了一種算法，用於有效列出給定2滿足度實例的所有解決方案 。 文章中還引用了一些算法來計算分配的數量，但是您只需要嘗試列出兩個分配，這可能會更有效。