ある

我々は証明することができ、すべての言語のためのではありません -hard（これを前提と）、？あるいは、これは合理的な仮定の下で証明できますか？ $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

— GMB
ソース

てみましょう：私はこの質問は愚かな答えがあると思い

、そして確かに

あなたがすることを前提としたら、

。まだ仮定して、必要がありますので、

、

中にあることを

はなく

-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が多対1の不完全な場合、それを証明する方法がわかりません。NPには集合Aがあり、Aは多対1簡約によるNP完全ではないが、SATはAへの単一のクエリで計算できるという相対化された世界があります（この論文の定理1.9 ）。

— ランス・フォートナウ
ソース

定理1.9を意味しますか？

— ジェフリーアーヴィング

あなたが正しいです。修繕。

— ランスフォートノー