Secara umum, query-tape untuk oracle diperhitungkan dalam kompleksitas ruang TM. Namun, tampaknya masuk akal untuk memungkinkan rekaman-saja oracle-tape (seperti yang digunakan dalam pengurangan ruang-L).
Apakah konstruksi seperti itu bermanfaat? Apakah itu menghasilkan hasil yang sangat tidak masuk akal?
cc.complexity-theory
space-bounded
oracles
Jeremy Hurwitz
sumber
sumber
Jawaban:
Saya pikir satu fakta yang mengejutkan adalah bahwa dalam model ini teorema Savitch tidak "jelas" merelatifkan. Artinya, orang dapat melihat bahwa dan N P S P A C E P = N E X P T I M E dalam model ini, dan kami saat ini tidak tahu bahwa E X P T I M E = N E I M EPSPA CEP= EXPTsayaM.E NPSPA CEP= NEXPTsayaM.E EXPTsayaM.E= NEXPTsayaM.E (dan teorema Savitch dalam konteks ini tampaknya tidak memberikannya). Saya akan tertarik pada apakah ini dapat didorong untuk "terbukti" non-relativizing.
Kita juga dapat mengamati bahwa dalam model ini.NL.NL.= NL.L.= NP
Namun, saya berpikir bahwa model ini setidaknya layak untuk dipikirkan, sehubungan dengan masalah relativisasi dalam teorema hierarki ruang. Juga, dalam arti, saya ingin membuat query poli berukuran ke A .L.SEBUAH SEBUAH
sumber
Ini mungkin tidak menjawab pertanyaan Anda (yang sejujurnya saya tidak sepenuhnya mengerti), tetapi saya pikir itu dalam semangat yang sama. Diketahui bahwa ada perbedaan dalam reducibilitas antara logspace TM dengan satu pita oracle, dan satu dengan akses ke beberapa kaset oracle. Juga, gagasan logspaceness berikut memiliki sifat yang bagus: TM hanya dapat menggunakan jumlah log-ruang pada pita kerjanya, tetapi ia dapat menggunakan jumlah ruang polinomial pada kaset oracle-nya.
Referensi: http://groups.csail.mit.edu/tds/papers/Lynch/tcs78.pdf
sumber
NSPACE (0) P = RE yang kurasa sedikit absurd.
Memang, biarkan L menjadi bahasa yang berulang secara berulang, M a TM yang mengenali L dan M ′ TM yang membaca input dan angka n dari "1" dan kemudian mensimulasikan M untuk input ini pada n langkah. Kemudian tanpa menggunakan ruang apa pun saya bisa menyalin input pada pita oracle, tebak jumlah 1 yang dibutuhkan dan permintaan M ′.
Kemudian, M 'akan menerima jika M menerima dan memiliki input yang cukup besar untuk jumlahnya banyak.
sumber