问题可以在 NP 中而不是 NP-Complete 或 P 中吗？

Question

我正在查看以下图表： https://en.wikipedia.org/wiki/P_versus_NP_problem

看起来，P 和 NP 完全之间存在差距。那么是否有一类问题属于 NP 但既不属于 P 也不属于 NP-Complete 的问题。

换句话说，类 P, NP-complete 是否完全覆盖了 NP？

如果是这样，请举个例子。

Answer 1

如果 P = NP，您的问题的答案是 NP 中的所有问题都在 P 和 NP-Complete 中。

如果 P != NP，您的问题的答案是已知存在 NP 中的问题，这些问题已知不是 NP 完全的，但尚不知道多项式时间算法。我说还没有人知道，因为如果您知道 (1) 问题出在 NP 中，并且 (2) 问题不在 P 中，那么您就会知道 P != NP，而我们不知道。