Batas bawah untuk NFA yang menerima bahasa 3 huruf


8

Terkait dengan pertanyaan terbaru ( Batas pada ukuran NFA terkecil untuk L_k-berbeda ) Noam Nisan meminta metode untuk memberikan batas bawah yang lebih baik untuk ukuran NFA daripada apa yang kita dapatkan dari batas kompleksitas komunikasi. Berikut ini adalah versi khusus dari masalah itu.

Misalkan adalah bahasa lebih dari beberapa alfabet huruf yang kata-katanya memiliki panjang . Nyatakan ukuran NFA terkecil yang menerima oleh . Tentukan matriks sebagai jika dan sebaliknya . Sebutkan jumlah minimal sub-level (submatrix yang hanya berisi ) yang mencakup semua dalam matriks oleh . (Jadi adalah kompleksitas komunikasi non-deterministik dariL Ln n3 3L LN F A ( L ) NFA(L)n × n 2n×n2 M MM ( a ; b c ) = 1 M(a;bc)=1a b c L abcL0 01 11 11 1M MC O V ( M ) COV(M)log ( C O V ( M ) ) log(COV(M))MM.) Sangat mudah untuk melihat . Jika kita mendefinisikan matriks sebagai jika dan sebaliknya , maka kita juga memiliki .N F A ( L ) C O V ( M ) NFA(L)COV(M)N NN ( a b ; c ) = 1 N(ab;c)=1a b c L abcL0 0N F A ( L ) C O V ( N )NFA(L)COV(N)

Apakah ada yangL LN F A ( L ) > C O V ( M ) + C O V ( N ) ?NFA(L)>COV(M)+COV(N)?

Dengan fungsi dan apa kita dapat mengikatC O V ( M ) C O V ( N ) N F A ( L ) ?COV(M)COV(N)NFA(L)?

Jawaban:


12

Batas ...

Sebenarnya kita memiliki , lihat Teorema 4 dalam (Gruber & Holzer 2006). Untuk batas atas, kita memiliki , lihat Teorema 11 di kertas yang sama. N F A ( L ) C o v ( M ) + C o v ( N ) 2 C o v ( M ) + C o v ( N )D F A ( L ) N F A ( L )NFA(L)Cov(M)+Cov(N)2Cov(M)+Cov(N)DFA(L)NFA(L)

... tidak dapat ditingkatkan secara substansial

Mungkin ada kesenjangan antara dan . Contoh berikut, dan bukti kesenjangan, adalah adaptasi dari contoh serupa yang menggambarkan keterbatasan protokol 2-pihak untuk membuktikan batas bawah pada kompleksitas keadaan nondeterministik dari (Hromkovič et al. 2009):C o v ( M ) + C o v ( N ) N F A ( L )Cov(M)+Cov(N)NFA(L)

Kami menggunakan alfabet . Biarkan .[ n ] = {1 , 2 , , n} L = {[n]={1,2,,n}x y z [ n ] 3x = y x z}L={xyz[n]3x=yxz}

Kami pertama-tama merawat . Perhatikan bahwa jika dengan , maka : dalam kasus , dan dalam hal , kami juga memiliki dan dengan demikian . Juga, jika adalah dari bentuk dengan , maka iff . Jadi kita dapat menulis , dengan dan .C o v ( M ) w = x y z y = z w L x = y w L x y x z w L w x y z y z w L x z L = L L L = { x y z [Cov(M)w=xyzy=zwLx=ywLxyxzwLwxyzyzwLxzL=LL′′n ] 3y = z } L = {L={xyz[n]3y=z}x y z [ n ] 3y z x z}L′′={xyz[n]3yzxz}

Sekarang perhatikan grafik bipartit dengan , , , serta dengan , , , dan . Kemudian penutup tepi bikli untuk grafik memunculkan tudung dengan submersi monokromatik,G = ( U , V , E ) U = [ n ] V = { y z [ n ] 2y = z } E = U × V G = ( U , V , E ) U = [ nG=(U,V,E)U=[n]V={yz[n]2y=z}E=U×VG′′=(U′′,V′′,E′′)] V = { y z [ n ] 2y z } E = { ( x , y z ) x z } G = ( U U , V V , E E ) G M 1U′′=[n]V′′={yz[n]2yz}E′′={(x,yz)xz}G=(UU′′,VV′′,EE′′)GM1

Trik kernelisasi sederhana untuk menghitung penutup tepi bikli untuk adalah dengan menempatkan simpul kembar dari ke dalam kelas kesetaraan. Kemudian kita melakukan hal yang sama pada grafik yang dihasilkan untuk simpul kembar dari . Vertikal kembar adalah mereka dengan lingkungan yang identik. Langkah ini tidak mengubah jumlah minimum bikli yang diperlukan untuk mencakup semua sisi pada grafik masing-masing.G U V GUV

Langkah kernelisasi menciutkan menjadi grafik dengan dua simpul dan satu tepi. Dengan demikian, tepi dapat ditutup dengan satu bikli. Menerapkan langkah kernelisasi untuk menghasilkan grafik mahkota pada simpul , yang dimensi bipartitnya (jumlah penutup tepi bikli minimum) dikenal sebagai , di mana adalah fungsi kebalikan dari koefisien binomial tengah ( De Caen et al. 1981). Perhatikan bahwa . Jadi dimensi bipartit adalah , yang identik dengan .G G G 2 n σ ( n ) σ σ ( n ) = O ( log n ) G 1 + σ ( n ) C o v ( M )GGG′′2nσ(n)σσ(n)=O(logn)G1+σ(n)Cov(M)

Sekarang pertimbangkan . Perhatikan bahwa jika dengan , maka . Jika , maka iff . Jadi kita dapat menulis dengan dan . Argumen yang hampir sama seperti di atas menghasilkan .C o v ( N ) w = x y z x = y w L x y x L x z L = L L L = { x y z [ n ] 3x = y } L = { x y z [ n ]Cov(N)w=xyzx=ywLxyxLxzL=L′′′L′′′′L′′′={xyz[n]3x=y}3x y x z } C o v ( N ) = 1 + σ ( n )L′′′′={xyz[n]3xyxz}Cov(N)=1+σ(n)

Ini masih memberikan batas bawah pada kompleksitas negara nondeterministic dari . Perhatikan bahwa berisi semua kata dalam bentuk dengan . Untuk setiap kata seperti memperbaiki perhitungan menerima dari NFA minimal menerima . Biarkan menyatakan status yang dicapai setelah membaca awalan , dan biarkan menyatakan keadaan yang dicapai setelah membaca awalan dari kata input . Maka semua pasangan harus berbeda. Demi kontradiksi, asumsikan untuk beberapaL L x x x x [ n ] x x x L p x x q x x x x x x ( p x , q x ) ( p x , q x ) = ( p y , q y ) x yLLxxxx[n]xxxLpxxqxxxxxx(px,qx)(px,qx)=(py,qy)xy. Kemudian kita dapat membuat perhitungan penerimaan pada input , sehingga NFA dalam keadaan setelah membaca awalan , dan dalam keadaan setelah membaca awalan . Tapi string tidak di . Untuk keadaan yang diatur dari NFA, ini menunjukkan bahwa . Dengan demikian, untuk besar , kita memperoleh pemisahan antara dan(kompleksitas keadaan nondeterministik ).xyxxyxpx=qxpx=qxxxqy=qxqy=qxxyxyxyxxyxLLQQ|Q|2n|Q|2nnnCov(M)+Cov(N)Cov(M)+Cov(N)|Q||Q|LL

Referensi


1
Baik, terima kasih! Sekarang saya telah membayar Anda;)
domotorp
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.