kehanet olarak

Mu tutuşu! $\mathsf{NP^{NP \,\cap\, coNP}=NP}$

Açıkçası , ama bana öyle geliyor ki "deterministik", bu da bunun doğru olduğuna inandırıyor. $\mathsf{NP^{NP}\neq NP}$ $\mathsf{NP\cap coNP}$

Basit bir kanıt var mı (ya da sadece tanım gereği)?

cc.complexity-theory complexity-classes oracles

— Maomao
kaynak

İlk olarak, evet. Gerçekten de, bir torpil karşılayan ancak ve ancak . Bu sınıfa veya bazen : complexityzoo.uwaterloo.ca/Complexity_Zoo:L#lkp . İkincisi, bu nin açık bir inanç olmasına rağmen hiç net olduğunu . Özellikle, anlamına gelir ve diğer şekilde göreli bir sonuç olmadığı için kesinlikle daha güçlü görünmektedir.

A

$A$

{N P}^{A} = N P

$\mathsf{NP}^{A} = \mathsf{NP}$

A \in N P \cap c o N P

$A \in \mathsf{NP} \cap \mathsf{coNP}$

L o w (N P)

$\mathsf{Low(NP)}$

L_{1} P

$\mathsf{L_1 P}$

{N P}^{N P} \neq N P

$\mathsf{NP}^{\mathsf{NP}} \neq \mathsf{NP}$

P \neq N P

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

— Joshua Grochow

Ayrıca, FACTORING'in zor olduğuna inanan insanlar, nin "deterministik" olduğu sezgilerinizle ilgili sorun .

N P \cap c o N P

$\mathsf{NP \cap coNP}$

— Niel de Beaudrap

@JoshuaGrochow: Bence bunu bir cevap olarak eklemelisiniz, düşük hiyerarşideki sınıfların ne olduğuna dair biraz açıklamalı; OP'nin alacağı kadar iyi bir cevap.

— Niel de Beaudrap

N P^{N P}

$NP^{NP}$ içeren o eşit olası değildir neden bu kadar belki bu açıklar, .

c o - N P

$co-NP$

N P

$NP$

— 14'te domotorp

@NieldeBeaudrap: Yorumdan ziyade bir cevap olarak gönderme konusundaki tereddütlerim, maomao'nun bu soruyu gerçekten ciddi bir şekilde sorduğuna inanmamıza rağmen, ödev çalışması olarak verilebilir ve geçmişte yapılmıştı.

— Joshua Grochow

Evet. Gerçekten de, bir torpil karşılayan ancak ve ancak . Bu sınıfa veya bazen (genel olarak düşük hiyerarşinin daha fazla açıklaması için oradaki bağlantıya ve makaleye bakın). $A$ $\mathsf{NP}^A=\mathsf{NP}$ $A \in \mathsf{NP} \cap \mathsf{coNP}$ $\mathsf{Low(NP)}$ $\mathsf{L_1 P}$

"Determinizm" hakkındaki aslında biraz doğrudur (bizim için sonucunu belirleyecek kadar deterministik olmasa da ). Bunu bir alıştırma olarak deneyin ve bu sezginin haklı görüldüğünü göreceksiniz: ilk önce - dikkatlice, ayrıntıları heceleyerek - , . tam olarak yalnızca olduğunu kabul ederseniz çalışmayan ve ardından . $\mathsf{P} = \mathsf{NP} \cap \mathsf{coNP}$ $A \in \mathsf{P}$ $\mathsf{NP}^{A} = \mathsf{NP}$ $A \in \mathsf{NP}$ $A \in \mathsf{NP} \cap \mathsf{coNP}$

( göstermek de çok zor değildir: anlamına gelir .) $\mathsf{NP}^A = \mathsf{NP}$ $A \in \mathsf{NP} \cap \mathsf{coNP}$

— Joshua Grochow
kaynak