试图证明NP完整性

Question

想象一下，我有一个像

这样的等式

A + B + C + D + E + F + G + H + ... =有些值

每个加数都有一个上限

A≤500， B≤200， C≤300， D≤600， ...

如果我想要一个程序来确定所有可能的加数组合，问题是NP完全吗？ 数学证明怎么样？

如果没有，这个问题的高效算法怎么样？

Answer 1

要确定问题是否是NP完整的，必须首先确定问题是否在NP中。我们需要根据问题创建决策问题。

如果您想对和设置一个极限，而不必实际确定所有求和组合，则决策问题可能是：A，B，C ...是否有极限，使得和≤k ？然后，您的证书可能是对加总的一组限制。

在这里，决策问题不清楚，并且无法验证证书。用这个问题来说，这个问题不在NP中。