可知STINGY SAT 的解是可以在多项式时间内验证的,所以它属于 NP。而且,可以通过将 k 设为所有变量的总个数,将 SAT 归约到 STINGY SAT,最终可知 STINGY SAT 为 NP 完全问题
作业8.3
最新推荐文章于 2024-08-05 00:09:49 发布
可知STINGY SAT 的解是可以在多项式时间内验证的,所以它属于 NP。而且,可以通过将 k 设为所有变量的总个数,将 SAT 归约到 STINGY SAT,最终可知 STINGY SAT 为 NP 完全问题