Hubungan kuadratik antara ruang nondeterministik dan deterministik?


16

Teorema Savitch menunjukkan bahwa untuk semua fungsi yang cukup besar , dan membuktikan bahwa ini ketat telah menjadi masalah terbuka selama beberapa dekade. .fNSPACE(f(n))DSPACE(f(n)2)f

Misalkan kita mendekati masalah dari ujung yang lain. Untuk kesederhanaan, asumsikan alfabet Boolean. Jumlah ruang yang digunakan oleh TM untuk menentukan bahasa yang dapat dihitung sering terkait erat dengan logaritma jumlah negara yang digunakan oleh automaton yang mensimulasikan TM untuk setiap irisan bahasa secara teratur. Ini memotivasi pertanyaan berikut.

Biarkan menjadi jumlah DFA yang berbeda secara sintaksis dengan status , dan biarkan menjadi jumlah NFA berbeda dengan status . Sangat mudah untuk menunjukkan bahwa dekat dengan . n N n n lg N n ( lg D n ) 2DnnNnnlgNn(lgDn)2

Selanjutnya, biarkan menjadi jumlah bahasa reguler yang berbeda yang dapat dikenali oleh DFA dengan negara , dan biarkan menjadi nomor yang diakui oleh NFA. n N nDnnNn

Apakah diketahui apakah dekat dengan ? ( lg D n ) 2lgNn(lgDn)2

Tidak jelas bagi saya bagaimana dan , atau dan , saling terkait satu sama lain, atau seberapa dekat. Jika semua ini berhubungan dengan pertanyaan terkenal dalam teori automata maka petunjuk atau penunjuk akan dihargai. Pertanyaan yang sama juga relevan untuk automata dua arah, karena alasan yang sama, dan saya sangat tertarik dengan versi ini.DnDnNnNn


Jawaban:


18

Dalam makalah saya dengan Domaratzki dan Kisman, "Pada jumlah bahasa berbeda yang diterima oleh automata terbatas dengan n negara" yang diterbitkan dalam J. Automata, Languages, and Combinatorics 7 (2002) kami membuktikan bahwa jika adalah jumlah perbedaan bahasa yang diterima oleh NFA dengan menyatakan lebih dari alfabet , dan juga jumlah bahasa berbeda yang diterima oleh DFA, kemudian untuk tetapGk(n)nkgk(n)k2

(i) adalah, hingga istilah pesanan yang lebih kecil, secara asimptotikcatatangk(n)kncatatann

(ii) adalah, hingga istilah pesanan yang lebih kecil, asimtotik antara dan .catatanGk(n)(k-1)n2kn2


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.