寻找3-SAT特殊情况

Question

我正在寻找在多项式时间及其算法中解决的3-SAT特殊情况。 任何链接？

感谢。

Answer 1

阅读托马斯·谢弗（Thomas J Schaeffer）撰写的优秀（但有点难以阅读）论文：The Complexity of Satisfiable Problems将可满足性问题概括为3SAT，并非所有等于3Sat等无限类问题，并表明每个问题都是无论是P还是NP-Complete。

本文还确定了必要和充分的条件，以确定特定问题是在P还是NP-Complete（称为Dichotomy Theorem）。

我想你也会在那里找到一个P时间算法（不太确定）用于P中的问题。

希望有所帮助。

Answer 2

2-SAT在P中（但是MAX-2-SAT不是，有趣的是），我不确定单调3-SAT。几乎所有出现的限制仍然是NPC。

就像这些事一样，Garey / Johnson的计算机和难以理解的是你的朋友。