가

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
소스

나는이 질문에 어리석은 대답이 있다고 생각합니다

라고 가정하면 확실히

라고하십시오 . 따라서 여전히

을

가 아닌

있다고 가정 할 수 있습니다 . [편집 : "이러한 모든위한 것이 사실이다 : 아, 나는 당신의 질문은 것 같다, 그래서 아래에 코멘트를 읽을

, 불평등이 발생?"합니까 그러한 존재가 아니라 "보다

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$ ? "=> 질문을 편집했습니다!]

— Bruno

NPI 정의에 따라 다릅니다. A는 튜링 감축 불완전하면 SAT가 아닌 있기 때문에, 대답은 '예'입니다 . $P^A$

A가 많은 사람이 불완전한 경우이를 증명하는 방법을 모릅니다. 거기에 많은-한 감소를 통해 NP-완료되지 않도록 NP의 집합 A를하지만 SAT가 (에 정리 1.9 A. 단일 쿼리에 의해 계산 될 수와 함께 우리는 상대화 세계가 이 논문 ).

— 랜스 포트 노우
소스

정리 1.9을 의미합니까?

— Geoffrey Irving

네 말이 맞아 결정된.

— 랜스 포트 노우