使用3 SAT证明击弦为NP完整

时间:2019-12-14 15:23:55

标签: np np-complete

给出x1,x2 ... xm是字母{0,1,*}上长度为m的n个字符串,n> 1,检查是否存在长度为y的字符串 字母{0,1}上的n,使得y在至少一个位置上与每个xj一致。

如何使用3 SAT的减少来证明这个问题是NP完整的?

0 个答案:

没有答案