Ki Oracle göre içinde yer almayan

Karmaşıklık Genetiği Greg Kuperberg bir dil olduğunu belirtir $X$ , öyle ki $\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X$ , diğer bir deyişle, - $\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X}$ - ancak bu sonuç için referans vermiyor. Bu neden geçerli? Veya bir kanıt nerede bulunabilir?

Bu soru kısmen motive edilir Cevabıma sorusuna “kısa mesajları ile çoklu prover interaktif provaları hakkında bilinen nedir?” Joe Fitzsimons tarafından.

Bu soruyu 2 Ekim'de math.stackexchange.com'da yayınladım, ancak herhangi bir cevap almadım ve meta.math'ta bu yazının ardından matematikle ilgili soruyu sildim.

— Tsuyoshi Ito
kaynak

belki bu yardımcı olur? icsi.berkeley.edu/pubs/techreports/tr-92-078.pdf

— Alessandro Cosentino

@Alessandro: Teşekkürler, çok alakalı görünüyor. Kontrol edeceğim.

— Tsuyoshi Ito

cevabın düzenlenmesinde Karmaşıklık Hayvanat Bahçesi girişi bağlantısı kayboldu. @MarcosVillagra isteğinden sonra güncellenir: qwiki.stanford.edu/index.php/Complexity_Zoo:D#delta2p

— Alessandro Cosentino

Oracle kadar gider Stockmeyer 1983 yılında Heller kuvvetli sonuç verdi: 1986 yılında bir relativized dünyada Karpiniski ve Verbeek Heller'ın sonucu açığa çıkarın (yorum olarak bahsedilen). $BPP = EXP^{NP}$

— Lance Fortnow
kaynak

Çivilediğiniz için teşekkürler. Bir iki gün bekleyip şaşırtıcı bir şey olmadıkça kabul edeceğim.

— Tsuyoshi Ito

Birisi karmaşıklık hayvanat bahçesinde girişi güncellemek güzel olurdu. Yapabilirdim, ama nasıl yapacağımı bilmiyorum.

— Marcos Villagra

@MarcosVillagra belki Greg Kuperberg e-posta?

— Suresh Venkat

@SureshVenkat Karmaşıklık Zoolojisi'ni kastediyorsanız, maalesef bu genel bir wiki değildir. Eğer Karmaşık Hayvanat Bahçesi demek istiyorsanız, o zaman zaten güncelledim.

— Alessandro Cosentino