吝啬SAT问题是这样的:给定一组字句(每个子句都是其中文字的析取)和整数k,求一个最多有k个变量为true的满足赋值——如果该辅助存在。证明吝啬SAT是NP-完全问题。
证明:要想证明吝啬SAT是NP-完全的,可以证明SAT问题可以归约到吝啬SAT问题,因为SAT也是一个NP-完全问题。设g是一个SAT问题的实例,当SAT中的变量数目为k时,则该问题就是一个吝啬SAT实例。如果实例g的解存在的话,那么最多有k个变量为true的变量,所以该解也是吝啬SAT的解。如果吝啬SAT的解存在,则最多有k个变量为true,说明SAT也存在解。所以,SAT可以归约到吝啬SAT问题。
综上所述,吝啬SAT是NP-完全问题。