Meminimalkan automata keadaan terbatas residual

12

Automata keadaan terbatas residual (RFSA, didefinisikan dalam [DLT02]) adalah NFA yang memiliki beberapa fitur bagus yang sama dengan DFA. Secara khusus, selalu ada RFSA berukuran minimum kanonik untuk setiap bahasa reguler, dan bahasa yang dikenali oleh setiap negara bagian dalam RFSA adalah residu, seperti halnya dalam DFA. Namun demikian, dimana status DFA minimum membentuk suatu penambangan dengan semua residu, status RFSA kanonik berada dalam penambangan dengan residual utama; jumlah ini bisa lebih sedikit secara eksponensial, sehingga RFSA bisa jauh lebih ringkas daripada DFA untuk mewakili bahasa biasa.

Namun, saya tidak tahu apakah ada algoritma yang efisien untuk meminimalkan RFSA atau jika ada hasil kekerasan. Apa kompleksitas meminimalkan RFSA?

Dari browsing [BBCF10], sepertinya ini bukan pengetahuan umum. Di satu sisi, saya berharap ini menjadi sulit karena banyak pertanyaan sederhana tentang RFSA seperti "apakah NFA ini RFSA?" sangat sulit, PSPACE-complete dalam hal ini. Di sisi lain, [BHKL09] menunjukkan bahwa RFSA kanonik dapat dipelajari secara efisien dalam model guru Angluin yang memadai minimal [A87], dan secara efisien mempelajari RFSA minimum dan meminimalkan RFSA sepertinya harus sama sulitnya. Namun, sejauh yang saya tahu algoritma [BHKL09] tidak menyiratkan algoritma minimalisasi, karena ukuran contoh-counter tidak dibatasi dan tidak jelas bagaimana menguji RFSA secara efisien untuk kesetaraan untuk mensimulasikan oracle contoh-counter . Menguji dua NFA untuk kesetaraan adalah PSPACE-complete , misalnya.

Referensi

[A87] Angluin, D. (1987). Mempelajari kumpulan reguler dari kueri dan contoh tandingan. Informasi dan Komputasi, 75: 87-106

[BBCF10] Berstel, J., Boasson, L., Carton, O., & Fagnot, I. (2010). Minimalisasi automata. arXiv: 1010.5318 .

[BHKL09] Bollig, B., Habermehl, P., Kern, C., & Leucker, M. (2009). Pembelajaran Angluin-Style of NFA. Di IJCAI , 9: 1004-1009.

[DLT02] Denis, F., Lemay, A., & Terlutte, A. (2002). Automata keadaan terbatas residual. Fundemnta Informaticae , 51 (4): 339-368.

Artem Kaznatcheev
sumber
RFSA tidak didefinisikan secara sintaksis (seperti DFA atau NFA) tetapi secara semantik sebagai subkelas NFA yang memenuhi syarat tertentu yang sulit diputuskan. Jadi saya tidak yakin pertanyaan meminimalkan RFSA benar-benar bermakna. Bisakah Anda lebih spesifik tentang masalahnya? Apakah Anda diberi NFA yang dikenal sebagai RFSA? Apakah Anda diberikan bukti bahwa itu sebenarnya RFSA seperti string w untuk setiap negara q sehingga bahasa yang dihasilkan oleh q adalah sisa ? w1L
Alexander Clark
Saya tertarik pada salah satu / semua opsi berikut: (1) Anda diberi DFA (semua DFA minimum adalah RFSA) dan saya ingin Anda mengembalikan RFSA minimal yang mengenali bahasa yang sama (atau beberapa varian keputusan seperti: apakah salah satunya ada ukuran kurang dari k di mana k juga diberikan sebagai input). (2) Anda diberi NFA (yang mungkin atau mungkin tidak kecil, dan mungkin atau mungkin bukan RFSA) dan diminta untuk menghasilkan RFSA minimal; dalam hal ini kompleksitas jelas diukur dalam ukuran input + output. Saya bahkan tertarik pada (3) Anda dijanjikan (tetapi tidak ada sertifikat yang diberikan) bahwa NFA adalah RFSA, apakah minimal?
Artem Kaznatcheev

Jawaban:

3

Biarkan masalah "DFA NFA" menunjukkan hal-hal berikut: Diberi DFA dan integer , apakah ada NFA dengan paling banyak negara setara dengan ? Demikian pula, biarkan "DFA RFSA" menunjukkan masalah yang diperoleh dari di atas jika kita mengganti "NFA" dengan "residual state automaton".AkkA

Jiang dan Ravikumar menunjukkan bahwa masalah "DFA NFA" adalah PSPACE-complete dengan pengurangan dari masalah "DFA union universalities". Masalah yang terakhir telah memberikan daftar DFA , dan menanyakan apakah .A1,A2,,Ani=1nL(Ai)=Σ

Pengurangannya berjalan dengan mendefinisikan bahasa dari DFA ini dan bilangan bulat sesuai , sehingga DFA yang menerima dapat dibangun dalam polinomial waktu dalam ukuran DFA . Kemudian mereka menunjukkan bahwa setiap NFA (dengan demikian fortiori setiap RFSA) yang menerima membutuhkan setidaknya status dalam kasus bersifat universal dan setidaknya menyatakan sebaliknya. Kemudian mereka membangun -state NFA , yang menerima iff .LkLAiLki=1nL(Ai)k+1kNLi=1nL(Ai)=Σ

Bukti ini kemudian dipertimbangkan kembali oleh Gruber dan Holzer (Perkembangan dalam Teori Bahasa '06). Mereka menggunakan reduksi yang sama untuk menunjukkan hasil yang sedikit berbeda, yang berkaitan dengan kompleksitas komputasi teknik batas bawah untuk NFA: Suatu set pembodohan (diperluas) untuk bahasa reguler adalah himpunan pasangan kata , sehingga untuk setiap memegang tetapi untuk semua memegang: atau .RS(xi,yi)ixiyiLijxiyjRxjyiR

Untuk reduksi di atas, mereka menunjukkan bahwa ada seperangkat pembodohan ukuran jika bersifat universal. Dengan memeriksa bukti oleh Gruber dan Holzer, seseorang dengan mudah mencatat bahwa setiap "kata kiri" dalam himpunan sedemikian rupa sehingga NFA disebutkan di atas dapat beralih dari kondisi awal ke hanya status tunggal saat membaca . Yaitu, bahasa yang diterima dari state sama dengan , dan dengan demikian adalah otomat keadaan tetap residual.Ski=1nL(Ai)xiSNqixiqxi1LN

Jika alasan di atas tidak mengandung kesalahan, ini menghasilkan pengurangan dari masalah universalitas serikat DFA menjadi masalah "DFA RFSA", dan karenanya merupakan PSPACE-hard. Keanggotaan dalam PSPACE mengikuti garis yang sama seperti untuk masalah DFA NFA, sehingga masalah "DFA RFSA" selesai-PSPACE. Menjadi lebih umum tetapi masih dalam PSPACE, masalah "NFA RFSA" adalah PSPACE-complete juga.

Bagi mereka yang ingin merekonstruksi argumen di atas (tolong jangan anggap remeh, penulisan saya agak terburu-buru), saya sarankan membaca bukti Teorema 15 dalam laporan ECCC yang dikutip di bawah ini. Terutama, Gambar 5 di halaman 18 menggambarkan otomat yang saya klaim sebagai RFSA.N

T. Jiang dan B. Ravikumar. Masalah NFA minimal sulit. Jurnal SIAM tentang Komputer, 22 (6): 1117–1141, Desember 1993.

Hermann Gruber dan Markus Holzer. Menemukan Batas Bawah untuk Kompleksitas Nondeterministik Negara Adalah Sulit. Dalam Oscar H. Ibarra dan Zhe Dang, editor, Konferensi Internasional ke-10 tentang Perkembangan Teori Bahasa (DLT 2006), Santa Barbara (CA), AS, volume 4036 Catatan Kuliah dalam Ilmu Komputer, halaman 363-374. Springer, Juni 2006.

Hermann Gruber dan Markus Holzer. Menemukan Batas Bawah untuk Kompleksitas Nondeterministik Negara adalah Sulit. Laporan Teknis ECCC TR06-027, Kolokium Elektronik tentang Kompleksitas Komputasi, 2006.

Hermann Gruber
sumber