我知道3-SAT可以多项式地减少到INDEPENDENT-SET问题。 现在是一个INDEPENDENT-SET问题多项式可以减少到3-SAT问题？那么这些问题是多项式等价的吗？
我认为，因为根据我的每个INDEPENDENT-SET问题的实例都可以用3-SAT表示（在某些情况下，在添加一些额外的边缘之后）。但是我不清楚我对此的理解。
请帮助我们。
答案 0 :(得分：1)
是的，在多项式时间内，独立集问题可以减少到3SAT。决策问题“给定图G和数字k，G中是否有一个独立的集合至少为k？”在NP（你明白为什么？）。由于3SAT是NP完全的，因此NP中的所有问题都是多项式时间可减少的，因此独立集问题可以简化为它。
希望这有帮助！