Nah, judulnya cukup banyak mengatakan itu semua. Pertanyaan menarik di atas ditanyakan oleh komentator Jay di blog saya (lihat di sini dan di sini ). Saya menduga keduanya bahwa jawabannya adalah ya dan bahwa ada bukti yang relatif sederhana, tetapi saya tidak dapat melihatnya begitu saja. (Namun, secara kasar, orang dapat mencoba menunjukkan bahwa, jika bahasa dalam tidak ada dalam , maka ia harus memiliki informasi timbal balik algoritme tak terhingga dengan , dalam hal ini bahasa itu tidak dapat dihitung. Juga, perhatikan bahwa satu arah sepele: bahasa yang dapat dihitung dalam tentu mengandung .) B P P R P R B P P
Perhatikan bahwa saya tidak bertanya tentang kelas AlmostP , yang terdiri dari bahasa-bahasa yang ada di untuk hampir setiap (dan dikenal dengan sama ). Dalam pertanyaan ini, pertama kita memperbaiki , kemudian melihat sekumpulan bahasa dihitung di . Di sisi lain, orang dapat mencoba untuk menunjukkan bahwa, jika bahasa dalam dapat dihitung, bahkan untuk oracle acak tetap , maka sebenarnya bahasa itu harus dalam . R B P P R P R P R R A L m o s t P
Pertanyaan yang berhubungan erat adalah apakah, dengan probabilitas 1 di atas acak , kami miliki
Jika demikian, maka kita mendapatkan konsekuensi menarik berikut: jika , maka dengan probabilitas 1 di atas oracle acak , satu-satunya bahasa yang menyaksikan pemisahan oracle adalah bahasa yang tidak dapat diperhitungkan.R P R ≠ N P R