给出一个布尔表达式，当最多42个变量为1且其余变量为0时是否可以满足要求？
我非常确定问题出在NP上，因为您可以猜测最多只有42个为1的变量的赋值，然后检查表达式是否满足。所以我猜想，这个问题很可能是NP难题，但我不确定如何显示。 通常，我们将3SAT，SAT或n-Clique简化为表明某些东西是NP难处理的，但是由于这个问题，我绝对不知道该怎么做。
我使用n-Clique进行了尝试，所以我得到了所有集团的DNF。因为一个团最多应包含42个，所以可以将一个团设置为1并满足表达式。但是，由于多项式时间在NP中，因此无法获得多项式。