Algorithm 2-唯一真值分配是否存在的可满足性问题

我有一个问题，是2-SAT问题的延伸。在标准的2-SAT问题中，我们可以找到任何依赖于我们选择的顶点顺序的真值赋值。我想检查是否存在一个且仅存在一个表达式可满足的真值赋值（即仅存在一个组合）。文字的数量可以是100000。

---

一种方法是找到所有可能的真理分配，然后比较它们是否不同。但问题是，每次比较，我都必须比较100000个值（没有文字）。有什么有效的方法吗。文章中还引用了计算作业数量的算法，但您只需要尝试列出两个作业，这可能更有效。

。文章中还引用了计算作业数量的算法，但您只需要尝试列出两个作业，这可能会更有效。

非常感谢。你能以pdf格式给我提供这篇论文的链接吗？这是一篇盘点论文的链接。托马斯·费德（Tomas Feder）的网站上没有1994年那篇论文的链接，只是一条评论：我发给你的那篇论文是关于指数时间算法的。我想你应该使用费德的算法，它看起来是多项式时间。你可以在这里花34美元购买，也可以在当地的研究图书馆找到一份Algorithmica。非常感谢你的帮助。你能以pdf格式给我提供这篇论文的链接吗？这是一篇盘点论文的链接。托马斯·费德（Tomas Feder）的网站上没有1994年那篇论文的链接，只是一条评论：我发给你的那篇论文是关于指数时间算法的。我想你应该使用费德的算法，它看起来是多项式时间。你可以在这里花34美元购买，也可以在当地的研究图书馆找到一份Algorithmica。非常感谢你的帮助。