Pseudorandom generator untuk automata terbatas


12

Biarkan menjadi konstanta. Bagaimana kita bisa provably membangun pseudorandom generator yang bodoh d -state terbatas automata?dd

Di sini, automata terbatas state memiliki d node, node mulai, satu set node yang menyatakan status terima, dan dua tepi terarah berlabel 0, 1 yang keluar dari setiap node. Ini mengubah keadaan dengan cara alami saat membaca input. Dengan ϵ , temukan f : { 0 , 1 } k{ 0 , 1 } n sedemikian rupa sehingga untuk setiap d- state otomat terbatas menghitung beberapa fungsi A ,ddϵf:{0,1}k{0,1}ndA

|PxUk(A(f(x))=1)PxUn(A(x)=1)|<ϵ.

Di sini menunjukkan distribusi seragam pada variabel k , dan kami ingin k menjadi sekecil mungkin (misalnya log n ). Saya sedang berpikir d berada di urutan n , meskipun kita juga dapat mengajukan pertanyaan secara lebih umum (mis. Apakah jumlah bit yang dibutuhkan akan bertambah dengan n ?).Ukkklogndnn

Beberapa latar belakang

Konstruksi generator pseudorandom penting dalam derandomisasi, tetapi masalah umum (PRG untuk algoritma waktu polinomial) sejauh ini terbukti terlalu sulit. Namun ada kemajuan dalam perhitungan PRG untuk komputasi ruang terbatas. Misalnya makalah terbaru ini ( http://homes.cs.washington.edu/~anuprao/pubs/spaceFeb27.pdf ) memberikan batasan sekitar untuk program percabangan read-once reguler . Pertanyaan dengan program percabangan read-once umum masih terbuka (dengan k = log n ), jadi saya bertanya-tanya apakah jawaban untuk penyederhanaan ini diketahui. (Otomat terbatas seperti program percabangan baca-sekali di mana setiap lapisan adalah sama.)lognlogdk=logn


mungkin membantu untuk menjelaskan / menjelaskan beberapa alasan mengapa ini merupakan rumusan alami dari masalah yaitu asal / bkg / perincian / alasan dari ekspresi probabilitas. apakah ada solusi lain yang diketahui dari pertanyaan untuk model lain? apakah itu terkait dengan kerangka kerja PAC dll?
vzn

Saya menambahkan sedikit latar belakang.
Holden Lee

mungkin gagasan set menipu FSM (hal. 12) akan bekerja dengan baik di sini? ("Jika L memiliki perangkat pembodohan tak terbatas, maka L tidak diterima oleh DFA mana pun.")
vzn

Jawaban:



1

Mn

bukti yang tampaknya sama ini juga dikutip oleh RJlipton di blog-nya "garansi generator Nisans" . buktinya ternyata berasal dari kertas. Seberapa kuat generator pseudo-acak Nisan? David, Papakonstantinou, Sidiropoulos (2010). juga perhatikan pertanyaan yang lebih dalam & batas yang lebih baik terkait dengan pemisahan kelas kompleksitas utama:

LNP


perhatikan, lihat lebih lanjut, kertas DPS adalah perpanjangan dari kertas Nisans [NIS92] dalam referensi mereka ke mesin yang dibatasi ruang dengan banyak lintasan. ref itu adalah N. Nisan. Generator pseudorandom untuk perhitungan ruang-terbatas. Combinatorica, 12 (4): 449-461, 1992. (juga STOC'90).
vzn

1
Mungkin jika Anda membaca makalah Nisan, Anda akan melihat bahwa ia menyatakan teorema dalam hal FSM. Juga akan lebih baik jika Anda memberikan batasan kuantitatif
Sasho Nikolov

perhatikan beberapa pernyataan thm dalam hal logspace TMs. lihat juga Model ruang terbatas yang bodoh dan polinomial tingkat rendah yang disurvei , Li, Yang, dt. 1,3 p6 Mesin Ruang Turing yang dapat dibaca dan pernah log
vzn

Baik pertanyaan ini maupun tulisan asli memberikan pernyataan dalam hal FSM. Jadi komentar Anda hampir tidak relevan.
Sasho Nikolov

2
Bisakah Anda nyatakan teorema yang relevan, dalam formulasi FSM dari makalah Nisan, dalam jawaban Anda? Tidak mencatat yang menyatakannya dengan cara yang berbeda, bukan kertas survei yang menyatakannya dengan cara yang berbeda: pertama menyatakan jawaban aktual untuk pertanyaan aktual ? Adakah yang sulit dipahami mengapa hal itu baik dilakukan?
Sasho Nikolov
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.