习题8.3
首先我们可以在多项式时间里验证STINGY SAT的解,所以它是 NP problem,满足条件。可以通过将 k 设为所有变量的总个数,将 SAT 归约到 STINGY SAT,所以也满足条件。由此可得STINGY SAT是一个NP-complete problem。
首先我们可以在多项式时间里验证STINGY SAT的解,所以它是 NP problem,满足条件。可以通过将 k 设为所有变量的总个数,将 SAT 归约到 STINGY SAT,所以也满足条件。由此可得STINGY SAT是一个NP-complete problem。