Computer science 不在P中，也不在NP完全中，而是在NP中的示例问题

我在大学里有一门叫做算法分析的课程，我们目前正在学习不同的复杂性课程——p、NP、NP难等

我们已经讨论过作为NP和NP难的交叉点的NP完全问题，以及包含在NP中的p问题。我们还讨论了一些例子，主要是NP完全问题（k-着色、k-团、SAT）

大多数情况下，我们通过以下方法证明问题是NP完全的：

a。找到一个不确定的算法来解决它（使用选择、成功、失败）

b。将一个已知的NP完全问题简化为它

问题是，当这些问题在确定性机器上运行时（顺序地，而不是在遇到选择时同时分支），它们具有指数时间解

我的问题是——我从来没有遇到过多项式时间和指数时间都不能解决的问题；多项式时间问题是P型问题，指数时间问题通常是NP完全问题

这里有一个有用的维恩图：

我想知道一个既不在p中，也不在NP完全中，而是在NP中的问题的例子

另外，本质上是指数问题，比如生成集合的幂集是NP完全的吗？或者这个名字只适用于指数时间算法的问题，因为没有其他明显的方法来解决它

好的，我给了Rosh矛盾修饰法的答案，因为他列举了一些怀疑是p和NPC之间的问题的例子。谢谢你们的帮助，我注意到我把这个问题放错了地方。 还有：

在这里，我找到了以下对我的问题非常有用的答案： 具体是关于我的问题，以及： 这通常是有趣的，如果与最初的问题不完全相关的话

非常感谢

丹

也许会有帮助

诸如整数因子分解和离散对数（RSA和DSA）之类的BQP问题被认为是P之外的问题，也被怀疑是NP中的问题，但不是NP完全问题。整数因式分解是NP中已知的，并且应该在P和NP完全之外

NP是EXPTIME的子集，但预计NP！=EXPTIME（即EXPTIME完全问题不在NP中）。与P=NP一样，这一点尚未得到证实（但已知P！=EXPTIME）。例如，检查算法是否在k步完成后减半。查找电源组太困难（显然）

我想知道一个既不在p中，也不在NP完全中，而是在NP中的问题的例子

我也是；如果您找到一个，请访问此网页，领取您的100万美元奖金：

NP\NPC

中没有已知的问题

---

当且仅当非确定性图灵机可以在多项式时间内解决问题（或者，等价地，确定性图灵机可以在多项式时间内决定问题）时，问题才是NP问题。你的例子并非如此

此外，应该指出的是，我们不知道是否

p=NP

，因此

NP

中的所有问题完全有可能（如果可能性很小的话）在多项式时间内得到解决。所以，如果我们知道一个问题不能在多项式时间内求解，那么这个问题要么不在NP中，要么，如果我们能证明它确实在NP中，我们就证明了

NP！=P

---

1.我以为有人怀疑P≠是吗？2.啊，是的，我明白你的意思，一个不确定的机器仍然无法找到这个问题的答案。那么，它到底在哪里，在哪个班级？@Dan:1。是的，人们相信

P！=NP

，这就是为什么我说

P=NP

被认为是错误的。然而，由于我们不知道它是假的，我们也不知道

NP\NPC

中有任何问题（尽管我们可能怀疑它们存在）。2.这是在

EXPTIME

中。哦，我一开始误解了-我没有注意括号之间的整个句子。@sepp2k大约1：通常即使P=NP，也不是所有的NP问题都被认为是NP完全的，因为你不会总是把它们简化成NP。例如∅ 没有一种语言可以简化为yes实例，但它是在P（算法：“return FALSE”）。（或者，等价地，确定性图灵机可以在多项式时间内决定它）-这是不等价的。是否存在可以验证解决方案的DTM。@IAMRHITBANGA将BQP用作P≠NP证明所有这些东西都必须被证明：1。BQP⊆ NP 2。P⊊ BQP 3。BQP∩ NPC=∅. 所有这些目前还不清楚。重要的是要强调1。这是猜测。如果P=NP，则不存在此类问题，但如果P=NP我们知道NPI不是空的。请参阅并提出问题。