Mi

Her dil için ispat edebilir o değil -Zor (bu varsayar ), ? Alternatif olarak, bu herhangi bir makul varsayım altında kanıtlanabilir mi? $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
kaynak

Ben bu soruyu saçma cevabı vardır düşünüyorum: Let

, daha sonra kesinlikle

size farz kez o

. Eğer isteyebilirsiniz Yani, hala varsayarak

olmak

olup

-Zor. [Düzenle: Oh, aşağıdaki yorumunuzu okudum, bu yüzden sorunuz şu şekilde görünüyor: “Böyle bir

için eşitsizlik olduğu doğru mu?” Yerine “Böyle bir

var mı?”

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$ ? "=> Sorunuzu düzenliyorum!]

— Bruno

NPI tanımınıza bağlıdır. Bir Turing indirimleri için tam değilse SAT içinde olmadığından, cevabı evet . $P^A$

A sadece bir-çok eksikse, bunu nasıl kanıtlayacağımızı bilmiyoruz. NP'de bir set A ile birlikte göreceli bir dünya var, öyle ki A, bir çok azaltma yoluyla NP tam değil, SAT, A'ya tek bir sorgu ile hesaplanabilir ( bu yazıda Teorem 1.9 ).

— Lance Fortnow
kaynak

Şunu mu demek istedin Theorem 1.9?

— Geoffrey Irving

Haklısın. Sabit.

— Lance Fortnow