Bahasa non-konteks-sensitif yang bagus


15

Dapat diperdebatkan bahwa sebagian besar bahasa yang dibuat untuk menggambarkan masalah sehari-hari bersifat peka konteks. Di sisi lain, adalah mungkin dan tidak sulit untuk menemukan beberapa bahasa yang tidak recursive atau bahkan tidak recursively-enumerable.

Di antara kedua jenis ini adalah bahasa non-konteks-sensitif rekursif. Wikipedia memberikan satu contoh di sini :

Contoh bahasa rekursif yang tidak peka konteks adalah bahasa rekursif apa pun yang keputusannya merupakan masalah sulit EXPSPACE, katakanlah, sekumpulan pasangan persamaan reguler yang setara dengan eksponensial.

Jadi pertanyaannya: Apa masalah orang lain yang dapat ditentukan tetapi belum peka konteks? Apakah kelas masalah ini sama dengan EXPSPACE-hard decidable?


2
Banyak masalah verifikasi (yang bisa dibilang alami) adalah (jika dapat diperhitungkan) setidaknya PSPACE-complete. Saya tidak yakin apakah ini cukup untuk sensitivitas non-konteks, tetapi ada banyak masalah dengan EXPSPACE batas bawah juga.
Raphael

Jawaban:


10

CSL sama dengan NShalSebuahce(n) (ruang linear non-deterministik). Bahasa apa pun yang berada di luar bukan CSL.NShalSebuahce(n)

Untuk memahami situasi, ingat bahwa dan bahkan TQBF.SSEBUAHTNShalSebuahce(n)

Apa masalah lain yang ada yang dapat ditentukan tetapi belum sensitif terhadap konteks?

Ada banyak masalah. Setiap masalah yang selesai untuk kelas kompleksitas yang lebih besar dari akan dilakukan (kita perlu P S p a c e karena masalah seperti TQBF dalam N S p a c e ( n ) yang lengkap untuk P S p a c e ( n ) c ePShalSebuahcePShalSebuahceNShalSebuahce(n)PSpacekarena pengurangan (waktu polinomial) dapat meledakkan ukuran input oleh polinomial). Memberi contoh akan berarti membuktikan lowerbound untuk kelas kompleksitas yang mengandung masalah dan itu adalah tugas yang sangat sulit. Satu-satunya cara utama yang kita ketahui sejauh ini untuk melakukan ini adalah diagonalisasi yang secara intuitif berarti bahwa kelas yang lebih besar harus dapat mensimulasikan kelas yang lebih kecil.

Jadi nampaknya merupakan tempat yang alami untuk mulai mencari contoh alami dari bahasa yang bukan CSL.ExpSpace-hard

Apakah kelas masalah ini sama dengan EXPSPACE-hard decidable?

Tidak. Dengan teorema hierarki ruang , ada bahasa-bahasa yang ada di yang tidak ada di N S p a c e ( n ) . Jika Anda meminta contoh yang bagus, itu akan sulit karena teorema bekerja menggunakan diagonalisasi dan oleh karena itu bahasa yang terbukti memenuhi kondisi ini sangat buatan.NSpace(n2)NSpace(n)

Saya sarankan Anda mengajukan pertanyaan terpisah untuk masalah alami yang memisahkan dari N S p a c e ( n ) .NSpace(n2)NSpace(n)


2

Sama seperti bebas konteks tetapi tidak teratur, bahasa L = { a n b n c n : n 0 } dapat dipilih tetapi tidak bebas konteks. Namun, L dapat diselesaikan dengan menggunakan ruang logaritmik (Anda hanya perlu penghitung untuk masing-masing simbol a , b dan c ), jadi ini bukan EXSPACE-hard.{Sebuahnbn:n0}L.={Sebuahnbncn:n0}L.Sebuahbc

Juga, bahasa , di mana r 1 dan r 2 adalah ekspresi reguler, adalah PSPACE-complete. Saya hampir yakin itu tidak peka konteks, tetapi saya tidak ingat bukti dan saya menulis dari ponsel saya, jadi tidak mudah untuk mencari referensi.{(r1,r2):L.(r1)=L.(r2)}r1r2


Duh. Maaf. Pada akhirnya saya akhirnya mengajukan pertanyaan yang salah! Apa yang saya maksudkan adalah non-konteks-sensitif alih-alih bebas-konteks. Saya mengubah pertanyaan (yang sayangnya membatalkan jawaban Anda).
Victor Stafusa

BTW, dapatkah Anda menjawab seperti itu sekarang?
Victor Stafusa

@ Viktor, bagaimana dengan sekarang?
Janoma

Lebih baik. Namun masih perlu perbaikan. Saya pribadi agak skeptis tentang sensitivitas non-konteks dari contoh Anda.
Victor Stafusa

Masalah yang diberikan benar, tetapi kelasnya salah. Ini EXPSPACE-complete, bukan PSPACE-complete. Sekarang saya yakin: en.wikipedia.org/wiki/EXPSPACE
Victor Stafusa
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.