8.3 首先 STINGY SAT的解是可在多项式时间内验证的,因此属于NP 另外 将k设为所有变量的总个数即可将SAT归约到STINGY SAT,而SAT又是NP完全问题,所以STINGY SAT也是NP完全问题