是

我们可以证明，对于每一种语言不是难的（假设），？或者，可以在任何合理的假设下证明这一点吗？ $L\in\mathsf{NP}$ $\mathsf{NP}$ $\mathsf P \ne \mathsf{NP}$ $\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}$

cc.complexity-theory complexity-classes np-intermediate

— 专线小巴
source

我觉得这个问题有一个愚蠢的答案：让

的话，肯定

，一旦你认为

。因此，您可能仍然希望假设

，

在

而不是

-hard中。[编辑：哦，我在下面阅读了您的评论，所以您的问题似乎是：“对于所有这样的

，不平等都会发生吗？”，而不是“是否存在这样的

L \in P \subseteq N P

$L\in\mathsf P\subseteq\mathsf{NP}$

P^{L} \neq P^{SAT}

$\mathsf P^L\neq \mathsf P^{\text{SAT}}$

P \neq N P

$\mathsf P\neq\mathsf{NP}$

P \neq N P

$\mathsf P\neq\mathsf{NP}$

L

$L$

N P ∖ P

$\mathsf{NP}\setminus\mathsf P$

N P

$\mathsf{NP}$

L

$L$

L

$L$ ？“ =>我编辑您的问题！]

— 布鲁诺

取决于您对NPI的定义。如果A是不完整的图灵减少，答案是肯定的，因为SAT是不是。 $P^A$

如果A仅是一个不完整的多，则我们不知道如何证明它。我们有一个相对化的世界中有NP集合A，A为不通过许多一减少NP-完成，但SAT可以通过单次查询（定理1.9来计算，以A. 本文）。

— 兰斯·福特诺
source

您是指定理1.9吗？

— 2014年

你是对的。固定。

— Lance Fortnow