Apakah ada masalah terbuka yang tersisa tentang DFA?

59

Setelah mempelajari deterministic finite state automata (DFA) di tingkat sarjana, saya merasa mereka sangat dipahami. Pertanyaan saya adalah apakah ada sesuatu yang masih belum kita mengerti tentang mereka. Maksud saya bukan generalisasi DFA tetapi DFA asli yang tidak dimodifikasi yang kami pelajari di tingkat sarjana.

Ini adalah pertanyaan yang tidak jelas tetapi saya harap Anda mendapatkan idenya. Saya ingin memahami apakah adil untuk mengatakan bahwa kami sepenuhnya memahami DFA. Jadi saya benar-benar bermaksud pertanyaan yang secara inheren tentang DFA, bukan masalah yang dibuat secara buatan agar terlihat seperti masalah tentang DFA. Biarkan saya memberi contoh masalah seperti itu. Misalkan L menjadi bahasa kosong jika P = NP dan beberapa bahasa tidak tetap tetap jika P bukan NP. Bisakah L diterima oleh DFA? Pertanyaan ini tentang DFA, tetapi ini bukan tentang mereka secara rohani. Saya harap poin saya jelas dan saya tidak mendapatkan jawaban yang tidak masuk akal dari orang-orang.

Singkatnya apakah itu adil untuk dikatakan

Kami pada dasarnya sepenuhnya memahami DFA.

Saya menyesal jika ternyata ini adalah bidang penelitian besar yang tidak saya sadari dan saya baru saja menghina seluruh masyarakat.

Angsa Kanada
sumber
16
Masalah terbuka pertama yang muncul di benak saya adalah apakah dugaan Černý itu benar. en.wikipedia.org/wiki/Synchronizing_word dan liafa.jussieu.fr/~jep/Problemes/Cerny.html Posting blog berikut mungkin juga menarik bagi Anda: rjlipton.wordpress.com/2009/08/17/…
Abuzer Yakaryilmaz
1
Apakah masalah terbuka tentang NFA dan ekspresi reguler dihitung?
Hsien-Chih Chang 張顯 之
1
@ Hsien-Chih: mari kita seketat mungkin dalam menafsirkan pertanyaan. Saya berasumsi bahwa tidak ada masalah terbuka yang tersisa, tetapi jawaban menunjukkan ini tidak benar.
Angsa Kanada
1
DFA dan ekspresi reguler adalah sama. NFA dan DFA setara dalam kekuatan ekspresif, meskipun NFA mungkin memiliki status yang jauh lebih sedikit daripada DFA yang sesuai.
chepner
6
@ chepner Meskipun DFA, NFA, dan regexen setara dalam kekuatan ekspresif, itu sama sekali tidak menunjukkan bahwa mengetahui segala sesuatu tentang satu menyiratkan mengetahui segala sesuatu tentang yang lain. Misalnya, mengetahui cara meminimalkan DFA tidak secara langsung memberi tahu Anda cara meminimalkan NFA - yang sebenarnya merupakan masalah yang cukup sulit !
Daniel Wagner

Jawaban:

55

Berikut adalah satu masalah yang dijelaskan dalam buku "Kursus kedua dalam bahasa formal dan teori automata" oleh Shallit.

Biarkan dan menjadi dua kata berbeda dengan . Berapa ukuran DFA terkecil yang menerima tetapi menolak , atau sebaliknya?v | kamu | = | v | = N u vuv|u|=|v|=nuv

Robson, dalam makalahnya " Memisahkan string dengan automata kecil " pada tahun 1989 membuktikan batas atas . Batas bawah paling dikenal di .Ω ( log n )O(n2/5(logn)3/5)Ω(logn)

Untuk survei lihat ini .

Hsien-Chih Chang 張顯 之
sumber
12
Dalam pembicaraan saya baru-baru ini di BCTCS 2014 di Loughborough University, saya menawarkan 100 GBP untuk setiap kemajuan nontrivial pada masalah ini. Oh, dan ada masalah terbuka lainnya yang tercantum di sana juga! Lihat cs.uwaterloo.ca/~shallit/Talks/bc4.pdf .
Jeffrey Shallit
1
Saya akan menerima ini karena ini adalah yang pertama, tetapi mereka semua adalah jawaban yang bagus. Terima kasih semuanya dan terus datang!
Angsa Kanada
Sekarang di Wikipedia sebagai en.wikipedia.org/wiki/Separating_words_problem
David Eppstein
40

Inilah masalah keputusan yang sangat sederhana tentang DFA. Dengan DFA M, apakah M menerima representasi basis-2 dari setidaknya satu bilangan prima?

Saat ini, kami bahkan tidak tahu apakah masalah ini dapat dipecahkan secara rekursif.

Jika dipecahkan secara rekursif, dan kami memiliki algoritme untuknya, kami dapat menyelesaikan masalah terbuka yang sudah lama ada tentang apakah ada bilangan prima Fermat (bilangan prima dari bentuk ) lebih besar dari yang diketahui terbesar, 65537. (Karena prime mana pun dengan basis-2 representasi dari bentuk harus menjadi perdana Fermat.)1 0 + 122n+110+1

Jeffrey Shallit
sumber
ada berbagai dugaan lain dalam teori bilangan yang berhubungan dengan periode misalnya masalah Ketimpangan Erdos & mengikat beberapa ke dalam formulasi DFA tampaknya mungkin dalam kasus lain juga, program penelitian yang mungkin untuk seseorang ...
vzn
Apakah saya memahaminya dengan benar bahwa jika kami memiliki algoritme untuk masalah ini, ini juga akan menyelesaikan masalah Sierpinski dan masalah Riesel? ( en.wikipedia.org/wiki/Sierpinski_number , en.wikipedia.org/wiki/Riesel_number )
sdcvvc
Ya, sdcvvc, itulah masalahnya.
Jeffrey Shallit
38

Dugaan Černý masih terbuka dan penting. Ini adalah tentang DFA yang memiliki kata sinkronisasi (kata dengan properti yang dua salinan automaton dimulai di negara yang berbeda selalu berakhir dalam keadaan yang sama satu sama lain setelah keduanya memproses kata), dan bertanya apakah (untuk status) automata) panjang kata terpendek seperti itu selalu paling banyak . Batas terbukti terbaik adalah dari bentuk .( n - 1 ) 2 O ( n 3 )n(n1)2O(n3)

David Eppstein
sumber
Maaf, Abuzer Yakaryilmaz, tidak memperhatikan komentar Anda sebelum memposting ini sebagai jawaban. Tapi saya yakin itu pantas menjadi jawaban dan bukan hanya komentar ...
David Eppstein
2
Tidak masalah :) Saya pikir masalah terbuka kedua yang saya tautkan juga terlihat cukup menarik.
Abuzer Yakaryilmaz
7
Saya tahu ini adalah pertanyaan yang terkenal, tetapi adakah penjelasan singkat mengapa itu penting? Apa yang akan kita pelajari jika benar-benar terikat daripada ? n 3 / 6(n1)2n3/6
Sasho Nikolov
@SashoNikolov Dapat menarik secara praktis untuk dapat mereset sistem ke kondisi yang diketahui tanpa harus mengamatinya (misalnya satelit), menggunakan jumlah tindakan paling sedikit.
Denis
Ya, saya pertama kali mengetahui masalah ini melalui karya Natarajan tentang mendesain komponen jalur perakitan yang secara mekanis memaksa bagian-bagiannya untuk berada dalam orientasi geometris tertentu. Urutan reset yang lebih pendek (dalam otomat yang mewakili langkah reorientasi potensial) = jalur perakitan lebih pendek.
David Eppstein
20

Saya ingin menunjukkan masalah penelitian lain, yang menyangkut interaksi konsep yang sangat mendasar tentang DFA.

Telah diketahui secara umum bahwa setiap NFA keadaan-n dapat dikonversikan menjadi suatu DFA ekivalen yang memiliki paling banyak keadaan. Ini adalah yang terbaik dalam kasus terburuk, dalam arti bahwa ada bahasa reguler dari kompleksitas keadaan nondeterministik n (yaitu, jumlah negara dalam NFA minimal), tetapi kompleksitas keadaan deterministik . Ada juga contoh keluarga bahasa, di mana nondeterminisme dapat menyelamatkan faktor kuadrat, dan kasus-kasus di mana nondeterminisme tidak membantu menyelamatkan negara sama sekali. Jadi pertanyaan alami adalah sebagai berikut:2 n2n2n

Masalah angka ajaib

Apakah di sana, untuk setiap antara dan , bahasa biasa sehingga kesenjangan antara kompleksitas keadaan nondeterministik dan kompleksitas keadaan deterministik persis ?n 2 n L n ααn2nLnα

Jika kita benar-benar memahami konstruksi powerset dan relasi Myhill-Nerode dari perspektif matematika, maka saya akan berharap seseorang dapat membangun bahasa seperti itu untuk setiap , atau sebagai alternatif untuk menentukan nilai yang tidak mungkin dilakukan. (jika nilai-nilai tersebut ada, ini disebut sebagai "angka ajaib").ααα

Diketahui bahwa ada angka ajaib untuk input ukuran alfabet , dan, sejak 2009, bahwa tidak ada angka ajaib jika ukuran alfabet setidaknya . Tetapi jika saya tidak salah, kasus huruf biner masih terbuka.313

Galina Jirásková. Angka ajaib dan alfabet terner. Dalam: Konferensi Internasional ke-13 tentang Perkembangan Teori Bahasa (DLT 2009), volume 5583 Catatan Kuliah di Ilmu Komputer, halaman 300–311.

Hermann Gruber
sumber
7
Ini masalah besar! Tetapi siapa pun yang menemukan istilah "angka ajaib" harus ditembak.
Jeffrey Shallit
19

Judul: Persimpangan non-kekosongan untuk dua DFA

Keterangan: Mengingat dua DFA ini dan D 2 , tidak terdapat string x sehingga D 1 dan D 2 keduanya menerima x ?D1D2xD1D2x

Terbuka Soal: Bisakah kita memecahkan persimpangan non-kekosongan untuk dua di DFA ini waktu?o(n2)

Jika kita dapat memecahkan masalah ini dalam waktu mana δ <2, maka hipotesis waktu eksponensial yang kuat akan ditolak.O(nδ)δ

Penjelasan: Memutuskan kekosongan persimpangan bahasa-bahasa reguler dalam waktu subquadratic

Anda mungkin menemukan ini membantu: http://rjlipton.wordpress.com/2009/08/17/on-the-intersection-of-finite-automata/

Semoga hari mu menyenangkan! :)

Michael Wehar
sumber
hai MW senang Anda memperhatikan pertanyaan ini. baru-baru ini dikutip Anda pada pertanyaan lain ini kembali memisahkan P / L . seperti yang baru-baru ini Anda buktikan, pertanyaan di atas (batas atas kompleksitas penyelesaian ketidak-kekosongan persimpangan DFA ganda) terkait erat dengan (masalah terbuka utama) yang memisahkan P / NL.
vzn
Terima kasih banyak! Siapa kamu vzn? Saya pergi ke blog Anda dan melihat-lihat, tetapi tidak bisa mengetahuinya.
Michael Wehar
1
D1D2Ω(n2)
12

Berikut ini adalah masalah terbuka yang berkaitan dengan DFA dan teori pembelajaran mesin: apakah acak seragam (transisi acak dan perilaku terima / tolak) yang dipelajari DFA dalam model PAC?

Catatan: kami pikir DFA sewenang-wenang tidak dapat dipelajari b / c dari hasil kekerasan kriptografi . Untuk DFA acak, kami hanya memiliki batas bawah SQ , yang tidak sekuat.

Lev Reyzin
sumber
12

LLLlLlLlO(n2)

Saeed
sumber
5

n

Sepertinya saya bahwa formula bentuk tertutup harus ada, tetapi tidak ada yang diketahui. Beberapa batas asimptotik diketahui:

n

mikero
sumber
Ini sangat keren. Saya kebetulan memikirkan hal ini beberapa hari yang lalu dan saya tidak tahu bahwa orang lain telah mengerjakan ini. Terima kasih telah berbagi. :)
Michael Wehar
4
Mengapa Anda percaya bahwa ada formula tertutup? Saya pikir itu sangat tidak mungkin.
domotorp
Lihat juga pertanyaan ini untuk apa yang diketahui tentang masalah itu: Berapa jumlah bahasa yang diterima oleh DFA ukuran n
Hermann Gruber
2

Berikut adalah pertanyaan terkait DFA yang pernah saya kunjungi sebelumnya, dan masih terbuka sejauh yang saya tahu:

nΣ={0,1}DFA(n)n|DFA(n)|=n2n2n

x,yΣKn(x,y)DFA(n) xy

Kn(x,y)Kn(x,y)poly(n,|x|,|y|)

Pertanyaan ini memiliki implikasi untuk pembelajaran mesin .

Aryeh
sumber
Apa status kompleksitas masalah saat ini?
Ryan
1
Yeremia Blocki memiliki beberapa hasil parsial; ini adalah tingkat pengetahuan sejauh yang saya tahu: cs.cmu.edu/ ~ jblocki
Aryeh
-3

("Berpikir di luar kotak" ...) ini adalah masalah yang agak rumit yang melibatkan DFA (belum melihatnya dipelajari di tempat lain) tetapi memanifestasikan tema dalam TCS yang bahkan banyak objek komputasi yang tampaknya "sederhana" (seperti DFA) dapat memiliki sifat kompleks , juga aspek / tema yang terkandung dalam teorema Rices. (dalam beberapa hal "kompleksitas" terakhir adalah "ketidakpastian" alias kelengkapan Turing.)

nxnxn

DFAnDFADFAnDFAnDFA, juga merupakan RL (dan DFA).

Σ

nDFAnΣ

Σn

sekarang, untuk mengikat ini lebih banyak dengan pertanyaan, sementara ini tidak banyak dicatat (dianggap sepele oleh beberapa), banyak masalah terbuka di TCS / matematika terkait erat dengan ketidakpastian dalam memberikan oracle untuk masalah penghentian, mereka bisa " terpecahkan".

oleh karena itu, dalam arti, mengikat ini bersama-sama menggunakan masalah dasar ini tentang DFA yang tidak dapat diputuskan, akan selalu ada masalah terbuka tentang DFA, karena akan selalu ada masalah "terbuka" tentang DFA (seperti ini) setara dengan masalah yang tidak dapat diputuskan . sebenarnya menggunakan teorema Rices secara terbalik seperti konstruksi ini dalam beberapa hal, pada dasarnya setiap properti komputasi yang relatif "sederhana" namun tidak trivial di TCS dapat digunakan untuk membangun masalah yang tidak dapat diputuskan.

[1] Masalah kata yang membutuhkan waktu eksponensial / Stockmeyer & Meyer

[2] Meyer, AR dan L. Stockmeyer. Masalah kesetaraan untuk ekspresi reguler dengan kuadrat membutuhkan ruang eksponensial. Simposium IEEE ke-13 tentang Switching dan Automata Theory, Okt 1972, hlm.125–129.

[3] Pengantar bahasa, automata dan komputasi / Hopcroft / Ullman.

ay
sumber
2
Saya pikir Anda membingungkan konsep "tidak dapat dipastikan" dan "terbuka".
Lev Reyzin
sebagaimana diakui itu adalah pandangan yang tidak biasa dan / atau tidak konvensional untuk sedikitnya tetapi bukan satu-satunya yang mendukungnya. lihat misalnya kutipan ini oleh Michel dalam makalah ini Masalah dalam teori bilangan dari kompetisi berang-berang yang sibuk . Sentimen serupa juga mengungkapkan dugaan teori bilangan terbuka terbuka tentang pertanyaan masalah sederhana yang ketidakpastiannya tidak diketahui . lihat juga teorema otomatis yang membuktikan vs
ketidakpastian
DFAnΣn{1nDFAnΣ}
DFA