Dalam pemrograman dependen-mengetik, ada dua cara utama untuk mendekomposisi data dan melakukan rekursi: Pencocokan pola dependen : definisi fungsi diberikan sebagai beberapa klausa. Unifikasi memastikan bahwa semua kasus yang dihilangkan tidak mungkin, dan pemecah eksternal memastikan bahwa...
Algoritma Brzozowski dapat diperluas ke Moore automata tetapi kompleksitas waktunya eksponensial secara umum. Apakah ada algoritma lain untuk meminimalkan Moore automata? Berapa kali menjalankan algoritma ini jika
Saya tidak tahu terminologi yang benar untuk mengajukan pertanyaan ini, jadi saya akan menggambarkannya dengan banyak kata, bersabarlah. Latar belakang , jadi kita ada di halaman yang sama: Program sering mengandung cache - waktu / memori tradeoff. Kesalahan programmer yang umum adalah lupa...
Diberikan triangulasi (tanpa titik Steiner) dari poligon P sederhana PPP, orang dapat mempertimbangkan ganda triangulasi ini, yang didefinisikan sebagai berikut. Kami membuat simpul untuk setiap segitiga dalam triangulasi kami, dan kami menghubungkan dua simpul jika segitiga yang sesuai memiliki...
Algoritma pembelajaran mesin mana (selain SVM) yang menggunakan prinsip minimalisasi risiko struktural
Ini adalah latihan sepele dalam automata terbatas untuk menunjukkan bahwa tidak ada algoritma yang dapat mendeteksi semua virus, namun ada banyak perusahaan perangkat lunak yang menjual Perangkat Lunak Anti Virus. Apakah ada bagian CS yang berhubungan dengan Virus dan Anti Virus? PS: Saya tidak...
Adakah sumber belajar web Diskrit matematika yang bagus dengan set
Saya sedang mengerjakan masalah yang terkait dengan kotak Latin, dan saya ingin metode untuk apa yang intinya bermuara pada masalah keputusan: Input : Grafis terbatas, sederhana G. Output : YESjika G memiliki automorfisme non-sepele, NOjika tidak. Karenanya... Pertanyaan : Apakah ada algoritma...
Saya mencoba mengajari diri saya berbagai pendekatan untuk verifikasi perangkat lunak. Saya sudah membaca beberapa artikel. Sejauh yang saya pelajari, logika proposisional dengan temporal umumnya menggunakan pengecekan model dengan pemecah SAT (dalam sistem yang sedang berlangsung - reaktif),...
Dalam Girard's Proofs and Types kita dapat membaca: Dari sudut pandang algoritmik, kalkulus sekuensial tidak memiliki isomorfisma Curry-Howard, karena banyaknya cara penulisan bukti yang sama. Ini mencegah kita untuk menggunakannya sebagai -calculus yang diketik , walaupun kita melihat sekilas...
Apakah varian masalah jumlah subset ini mudah / diketahui? Dengan bilangan bulat , dan satu set bilangan bulat positif sedemikian rupa sehingga setiap x_i memiliki paling banyak k = 2 bit diatur ke 1 ( x_i = 2 ^ {b_ {i_1} } + 2 ^ {b_ {i_2}}, \; \; b_ {i_1}, b_ {i_2} \ geq 0 ); apakah ada himpunan...
Baru-baru ini, saya mengajukan pertanyaan tentang Matematika SE. Belum ada tanggapan. Pertanyaan ini terkait dengan pertanyaan itu, tetapi rincian teknis lebih ke arah ilmu komputer. Diberikan dua DFA dan mana set status, alfabet input, dan fungsi transisi dari dan adalah sama, keadaan awal dan...
Saya memposting ini di MathUnderflow tetapi tidak mendapat jawaban, jadi saya pikir saya akan mencobanya di sini, Saya membaca kertas tua Rabin dan Fischer [akan memposting tautan bila memungkinkan] di mana antara lain, kompleksitas eksponensial ganda dari aritmatika Presburger terbukti. Buktinya...
Saya mencari makalah yang mudah dan pengantar tentang bukti Teorema Courcelle . Saya juga tertarik dengan hubungannya dengan kompleksitas parameter tentang treewidth . Saya hanya pemula di bidang ini. Ada
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...
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 <...
@ 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 ,...
Saya mendengar beberapa penjelasan yang mungkin, jadi saya ingin referensi yang dapat dipercaya. Pembaruan 05.19: Saya tertarik dengan pertanyaan itu karena salah seorang siswa saya menulis dalam tesisnya bahwa nama tersebut berasal dari penjelasan di bawah ini (1). Sampai sekarang saya berpikir /...
Nick's Class (NC) adalah kelas masalah yang dapat diputuskan dalam waktu poly-log menggunakan sejumlah prosesor polinomial. Saya ingin tahu tentang analog eksponensial, yang akan mencakup masalah yang dapat diputuskan dalam waktu polinomial menggunakan jumlah prosesor yang eksponensial. Apa yang...