Tetapkan i o
Apakah ada oracle sehingga - ? Jika kita melengkapi SAT dengan oracle dengan cara biasa, dapatkah kita mengatakan bahwa tidak ada di kelas ini?
(Saya mengajukan pertanyaan terpisah di sini, karena kita harus berhati-hati dengan kelas waktu yang tak terbatas-sering: hanya karena Anda memiliki pengurangan dari masalah ke masalah dan dapat dipecahkan secara tak terhingga sering, Anda mungkin tidak benar-benar mendapatkan bahwa dapat dipecahkan) tak terhingga sering tanpa asumsi lebih lanjut tentang reduksi: bagaimana jika reduksi Anda dari "meleset" panjang input yang dapat Anda selesaikan dengan ?)B C C B B C