Oracle không liên quan đến trong

Động vật học phức tạp của Greg Kuperberg nói rằng có một ngôn ngữ $X$ sao cho $\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X$ - nói cách khác, $\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X}$ - nhưng không đưa ra tham chiếu cho kết quả này. Tại sao điều này giữ? Hoặc một bằng chứng có thể được tìm thấy ở đâu?

Câu hỏi này được thúc đẩy một phần bởi câu trả lời của tôi cho câu hỏi. Điều gì được biết về bằng chứng tương tác đa ngôn ngữ với các tin nhắn ngắn? Khăn của Joe Fitzsimons.

Tôi đã đăng câu hỏi này trên math.stackexchange.com vào ngày 2 tháng 10, nhưng tôi không nhận được câu trả lời nào và đã xóa câu hỏi về toán sau bài đăng này trên meta.math.

— Tsuyoshi Ito
nguồn

có lẽ điều này giúp? icsi.ber siêu.edu / pub / Techreports / tr

— Alessandro Cosentino

@Alessandro: Cảm ơn, có vẻ rất liên quan. Tôi sẽ kiểm tra.

— Tsuyoshi Ito

liên kết đến mục Sở thú phức tạp đã bị mất trong quá trình chỉnh sửa câu trả lời. Đây là, được cập nhật sau khi yêu cầu @MarcosVillagra

— Alessandro Cosentino

Nhà tiên tri quay trở lại Stockmeyer vào năm 1983. Heller đã đưa ra kết quả mạnh mẽ hơn rằng: trong một thế giới tương đối hóa vào năm 1986. Karpiniski và Verbeek (được đề cập trong các bình luận) phản bác lại kết quả của Heller. $BPP = EXP^{NP}$

— Lance Fortnow
nguồn

Cảm ơn bạn đã đóng đinh nó xuống. Tôi sẽ đợi một hoặc hai ngày và sau đó chấp nhận trừ khi có bất cứ điều gì đáng ngạc nhiên xảy ra.

— Tsuyoshi Ito

Sẽ thật tuyệt nếu ai đó cập nhật mục trong sở thú phức tạp. Tôi có thể làm điều đó, nhưng tôi không biết làm thế nào.

— Marcos Villagra

@MarcosVillagra có lẽ chỉ cần gửi email cho Greg Kuperberg?

— Suresh Venkat

@SureshVenkat Nếu bạn muốn nói về Động vật học phức tạp, thật không may đó không phải là wiki công khai. Nếu bạn có nghĩa là Sở thú phức tạp, thì tôi đã cập nhật nó.

— Alessandro Cosentino