Sebuah bahasa formal LLL lebih alfabet ΣΣ\Sigma adalah himpunan bagian dari Σ∗Σ∗\Sigma^* , yaitu, satu set kata-kata di atas alfabet itu. Dua bahasa resmi LLL dan L′L′L' adalah sama, jika sesuai set extensionally sama sebagai subset dari L∪L′L∪L′L\cup L' . Seseorang dapat menggunakan bahasa dalam...
Fungsi Boolean adalah fungsi .f: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Boolean basis dikenal sebagai Turing selesai karena memungkinkan urutan s ∈ { 0 , 1 } dibalik atau dibiarkan tidak berubah. Hal yang sama dapat dikatakan untuk gerbang X O R.( ∨ , ∧...
Saya melihat masalah berikut: Dengan -vektor dimensi bilangan asli dan beberapa vektor input , apakah kombinasi linear dari dengan koefisien bilangan alami?nnnv1, ... ,vmv1,...,vmv_1, \ldots, v_mkamukamuukamukamuuvsayavsayav_i yaitu apakah ada beberapa mana ?t1,…,tm∈Nt1,…,tm∈Nt_1, \ldots, t_m \in...
Pertanyaan ini adalah tentang persimpangan teori probabilitas dan kompleksitas komputasi. Satu pengamatan utama adalah bahwa beberapa distribusi lebih mudah dihasilkan daripada yang lain. Misalnya masalah Dengan diberi nomor nnn , kembalikan nomor terdistribusi secara seragam dengan .0 ≤ i <...
Menggunakan vektor Earley sebagai pengenal cukup mudah: ketika akhir string tercapai, Anda hanya perlu memeriksa untuk produksi aksiomatik lengkap mulai dari posisi 0. Jika Anda memiliki setidaknya satu, maka string diterima. Menggunakan vektor Earley untuk merekonstruksi pohon parsing kurang...
Pertimbangkan masalah berikut: Biarkan menjadi subset terbatas dari bilangan asli.S={s1,s2,...sn}S={s1,s2,...sn}S = \{ s_1, s_2, ... s_n \} Biarkan | mana adalah pembagi umum terbesar dari dang c d ( s i , s j )G={G={G = \{ gcd(si,sj)gcd(si,sj)gcd(s_i, s_j)si,sj∈S,si,sj∈S,s_i, s_j \in S,...
Saya mengikuti latihan berikut dalam Yayasan Perangkat Lunak : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] have? (* FILL...
Saya sudah berpikir untuk menulis sistem operasi hobi untuk beberapa prosesor ARM. Ada banyak komputer papan tunggal populer dengan ARM MPU, jadi saya hanya ingin membeli salah satunya (memilih satu dengan lebih banyak dokumentasi terbuka). Saya terkejut ketika saya tahu, bahwa bahkan papan dengan...
Saya bertanya-tanya apakah masalah ini memiliki nama: Diberikan grafik sederhana yang ujung-ujungnya berwarna merah, biru dan hijau, , apakah ada pewarnaan simpul sedemikian rupa sehingga setiap sisi memiliki titik akhir dengan warna yang sama?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup...
Katakanlah bahwa daftar didefinisikan sebagai List a = Nil | Cons a (List a) Lalu, di Haskell adalah List xfixpoint terbesar atau paling tidak? Saya bertanya karena lfp harus mengecualikan daftar yang tidak terbatas (tetapi Anda dapat membangunnya di Haskell), sedangkan gfp harus mengecualikan...
@ Babou menjawab pertanyaan terakhir mengingatkan saya bahwa pada suatu waktu saya pikir saya membaca makalah tentang kesetaraan (dalam hal kedua fakta yang dapat disimpulkan atau dibuktikan dan kompleksitas waktu menjalankan algoritma inferensi) dari analisis aliran data , interpretasi abstrak ,...
Ketika memperbarui bobot jaringan saraf menggunakan algoritma backpropagation dengan istilah momentum, haruskah tingkat pembelajaran diterapkan pada istilah momentum juga? Sebagian besar informasi yang dapat saya temukan tentang menggunakan momentum memiliki persamaan yang terlihat seperti...
Dalam pertanyaan sebelumnya Apa sebenarnya algoritma itu? , Saya bertanya apakah memiliki "algoritma" yang mengembalikan nilai fungsi berdasarkan array nilai yang dihitung adalah algoritma. Salah satu jawaban yang menarik perhatian saya adalah yang ini: Contoh faktorial masuk ke model...
Misalkan kita diberi koleksi string, . Saya ingin tahu apakah salah satu dari string tersebut adalah substring dari string lain dalam koleksi. Dengan kata lain, saya ingin algoritma untuk tugas berikut:nnnS1,…,SnS1,…,SnS_1,\dots,S_n Input:S1,…,SnS1,…,SnS_1,\dots,S_n Output: sehingga adalah...
Valiant & Vazirani membuktikan bahwa SAT dapat direduksi menjadi SAT UNIK di bawah pengurangan probabilistik acak dalam waktu polinomial. Calabro et al . menunjukkan bahwa UNIK k-SAT sama sulitnya dengan k-SAT. Sekarang pertanyaannya adalah, jika seseorang menunjukkan bahwa UNIK k-SAT ada di P,...
Adakah yang bisa menjelaskan kepada saya apa sebenarnya yang tidak diketahui RAM itu? Saya menemukan penjelasan berikut yang membuatnya agak jelas bagi saya, tetapi saya ingin memahami aspek teknis: Enkripsi tidak selalu cukup untuk memastikan privasi. Jika musuh dapat mengamati pola akses...
Katakanlah saya memiliki grafik jarang hingga tidak terarah, dan harus dapat menjalankan kueri berikut secara efisien: sayas Co n n e c t e d( N1, N2)sayasCHainnected(N1,N2)IsConnected(N_1, N_2) - mengembalikan jika ada jalur antara dan , jika tidakN 1 N 2 FTTTN1N1N_1N2N2N_2FFF Co n n e c t e dNo...
Apakah 2 dalam algoritma 2-aproksimasi berarti solusinya berada dalam 2 * OPT atau OPT /
Bagaimana kami dapat memastikan bahwa kami terus membuat pernyataan yang kuat dan valid tentang kelas kompleksitas ketika menggunakan Mesin Turing oracle? Menurut pemahaman saya (berdasarkan definisi yang diberikan dalam buku teks pengantar tentang subjek) mesin oruring Turing dapat menentukan...
Saya ingin mengutip dari Nielsen & Chuang, Komputasi Quantum dan Informasi Quantum, edisi ulang tahun ke 10, halaman 5 (penekanan pada saya): Satu kelas tantangan untuk tesis Gereja-Turing yang kuat berasal dari bidang perhitungan analog. Pada tahun-tahun sejak Turing, banyak tim peneliti...