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