用SAT问题来规约吝啬SAT问题,若SAT问题有n个变量,那么他就等价于k=n的吝啬SAT问题。 由于SAT问题是NP-完全问题,且吝啬SAT问题能在多项式时间里规约成SAT问题,所以吝啬SAT问题是NP-完全问题