是否存在不是 NP 完全或 P 的 NP 问题？答案

【问题标题】：Is there an NP problem that is not NP-complete or P?是否存在不是 NP 完全或 P 的 NP 问题？
【发布时间】：2018-01-08 18:58:11
【问题描述】：

我试图理解 P、NP、NP-Complete 和 NP-Hard 之间的关系。

我相信我已经开始理解大意了，但是，我对这个问题很感兴趣（见标题）。

在 P 时间内无法解决、在 P 时间内可验证但不是NP-Complete 的问题的示例是什么？

如果我缺少一些理解，请填写。

提前致谢

【问题讨论】：

您应该改为在cs.stackexchange.com 上提问。
cs.stackexchange.com/questions/1810/…
谢谢！我来看看问题
当然这样的问题还有很多。不幸的是，我们不认识它们，也无法证明它们的存在。
@Karol：确实！但是，我们不要为此感到沮丧；相反，让我们记住基本问题是什么：可以使用一种不可能的计算机来解决更不可能的计算机绝对可以解决的问题吗？ :-)

【解决方案1】：

正如 cmets 中所述，这是此问题的错误站点。不过可以简单回答一下：

在 P 时间内无法解决、在 P 时间内可验证但不是 NP-Complete 的问题的示例是什么？

如果我理解你，你想要的是（1）不在 P 中，（2）在 NP 中，（3）不在 NPC 中的问题。此类问题是 NP 中间 (NPI) 问题。

不知道有没有这样的问题，因为不知道P=NP。

如果 P=NP 那么显然不存在这样的问题；如果P=NP，那么P=NPC，因此在P时间可以验证的每一个问题都在P、NP和NPC中，因为它们是相等的。

如果 P!=NP 则已知存在此类问题；至少存在一个。不幸的是，如果 P!=NP，我们不知道我们面临的任何现实问题是否存在于 NPI 中。可以在此处找到可能的候选人列表：

简而言之：知道 NPI 是否为空就相当于解决证明 P!=NP，所以开始破解吧！如果你能找到一个绝对是 NP 但绝对不是 P 或 NPC 的问题，那么就有丰厚的奖金等着你。

【讨论】：