Algorithm 2-SAT相关算法的多项式算法

我读过很多寻找2-SAT问题的算法，即给定的表达式是否可满足，可以在多项式时间内求解。示例（）。
对于Krom的过程，我构造了一个图，从中我可以很容易地验证它在多项式时间内的可满足性。
现在，我想找到这个表达式的解是可满足的。
我的想法是这样的（验证它）：首先，我取构成强连接组件的表达式的任何文本，比如x，并将值赋值为0。然后根据algo算法，存在边（x！->y）。因此y不能为0。（因为1->0为假）并在可能的情况下进行类似的处理。
否则，取x=0，然后只有选择y=1，同样地，继续得到任何1个实例，它是可满足的

现在，在多项式时间
内找到其中任何一个是否可行

• 给出表达式可满足的所有可能解
• 或者该表达式对于总k个字面值=1的输入是可满足的
• 或者有多少最小数量的文字值为1，表达式才是可满足的

对于这类问题，我没有得到任何多项式算法

给出表达式可满足的所有可能解

不，因为可以有指数级的多

或者这个表达式对于总k个字面值=1的输入是可满足的

不，因为如果这很容易，那么加权2-可满足性（NP难）也很容易

或者有多少最小数量的文字值为1，表达式才可满足

这是加权2-SAT

给出表达式可满足的所有可能解

不，因为可以有指数级的多

或者这个表达式对于总k个字面值=1的输入是可满足的

不，因为如果这很容易，那么加权2-可满足性（NP难）也很容易

或者有多少最小数量的文字值为1，表达式才可满足

---

这是加权2-SAT。

谢谢@David。通过查看图表，除了对满意度的评论外，还可以得出哪些其他信息。@piyush balwani这个问题太宽泛，无法有效回答。谢谢@David。通过查看图表，除了对满意度的评论之外，还可以得出哪些其他信息。@piyush balwani这是一个过于宽泛的问题，无法有效回答。