题目描述:
证明:
∵STINGY SAT的解已知是在多项式时间内可验证
∴STINGY SAT是属于NP问题
∵通过将k设定为所有变量的总数,就可以把SAT 规约到STINGY SAT问题
∴STINGY SAT也为NP完全问题
题目描述:
证明:
∵STINGY SAT的解已知是在多项式时间内可验证
∴STINGY SAT是属于NP问题
∵通过将k设定为所有变量的总数,就可以把SAT 规约到STINGY SAT问题
∴STINGY SAT也为NP完全问题