Latar Belakang
Kita tahu bahwa .
Selain itu, kami tahu dari teorema Toda bahwa .
Untuk latar belakang lebih lanjut tentang , lihat di sini: https://en.wikipedia.org/wiki/Sharp-P
Pertanyaan
Apakah ada oracle sehingga ?( P # P ) A ≠ P S P A C E A
cc.complexity-theory
complexity-classes
oracles
relativization
pspace
Michael Wehar
sumber
sumber
Jawaban:
Atas permintaan populer, inilah komentar saya sebagai jawaban:
Ada oracle yang memisahkan dari P S P A C E : Jacobo Toran, Sebuah teknik kombinatorial untuk memisahkan kelas kompleksitas penghitungan, ICALP 1989. Hasil terbaik untuk P P P yang saya tahu adalah hasil kondisional oleh Heribert Vollmer: Mengaitkan polinomial waktu ke kedalaman konstan. TCS, 207: 159-170, 1998.P P P S P A C E PP P
sumber