2SATの正のリテラルの最大数

Question

MAX 2SATはNP完成です。

節約の最大数を満たす代わりに、私は完全に満足できる2SAT式を持っています、そして、私は割り当て中に正のリテラルの最大数を持ちたい（もちろん、すべての節約が満たされるように）。

この問題の難しさは何ですか？

Answer 1

この問題は、最大の独立したセットをそれに短縮することができるため、NPハード（および近似w [1] ~Hardに加えて）である。縮小：各変数は頂点を表し、各句はエッジを表します。