Baru-baru ini saya membaca entri blog yang sangat menarik dari Google Research Blog yang berbicara tentang jaringan saraf. Pada dasarnya mereka menggunakan jaringan saraf ini untuk menyelesaikan berbagai masalah seperti pengenalan gambar. Mereka menggunakan algoritma genetika untuk "mengembangkan"...
Jika , maka apakah ? Saya mengajukan pertanyaan ini karena, untuk kelas non-deterministik lainnya, sepertinya selalu menetapkan bahwa mereka sama dengan rekan deterministik mereka.P=NPP=NP\mathbf{P} = \mathbf{NP}L=NLL=NL\mathbf{L} = \mathbf{NL}P=NPP=NP\mathbf{P} =
Saya tahu bahwa bahasa yang dapat didefinisikan menggunakan ekspresi reguler dan yang dikenali oleh DFA / NFA (finite automata) adalah setara. Juga tidak ada DFA untuk bahasa {0n1n|n≥0}{0n1n|n≥0}\{0^n1^n|n \ge 0\} . Tetapi masih dapat ditulis menggunakan ekspresi reguler (dalam hal ini bahasa...
Diberikan seperangkat poin dan radius . Yaitu kompleksitas menemukan titik dengan jumlah titik lebih tinggi pada jarak lebih kecil dari . Misalnya yang memaksimalkan ?x1, ... , xn∈ R2x1,...,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni = 11∥ x - xsaya∥ ≤ r∑saya=1n1‖x-xsaya‖≤r\sum_{i=1}^n...
Wikipedia mengatakan penyatuan berdasarkan peringkat tanpa kompresi jalur memberikan kompleksitas waktu diamortisasi O(logn)O(logn)O(\log n) , dan bahwa penyatuan berdasarkan peringkat dan kompresi jalur memberikan kompleksitas waktu diamortisasi O(α(n))O(α(n))O(\alpha(n)) (di mana αα\alpha adalah...
Saya ingin memahami teori jenis tetapi saya harus tahu dulu bagaimana saya bisa menerapkannya. Mungkinkah ada aplikasi yang lebih jelas dari teori tipe selain dari sistem tipe dalam pemrograman? Mungkinkah ada aplikasi lain, katakanlah dalam profil kepribadian dan
Self Type adalah perpanjangan dari Calculus of Constructions [1] yang memungkinkan bahasa untuk mengekspresikan tipe data aljabar yang dikodekan melalui Scott Encoding. Scott Encoding memberikan satu kemampuan untuk mencocokkan pola O(1), yang merupakan salah satu motivator utama untuk...
Saya belajar cara mengonversi NFA ke DFA dan saya ingin memastikan saya melakukannya dengan benar. Jelas, kembali ke arah lain bukanlah sesuatu. Adakah yang tahu algoritma untuk memeriksa apakah DFA setara dengan
Penafian: Saya tahu ada pertanyaan yang terdengar serupa di sini dan di Stackoverflow. Tapi mereka semua tentang tabrakan, yang bukan itu yang saya minta. Pertanyaan saya adalah: mengapa pencarian tanpa tabrakan O(1)di tempat pertama? Anggap saya memiliki hashtable ini: Hash
Saya sudah mencoba mencari tahu apakah masalah penghentian dapat dipilih untuk automata seluler satu dimensi 3-simbol. Definisi Biarkan menunjukkan konfigurasi sistem pada langkah waktu i . Secara lebih formal f : A ∗ × N → A ∗ , di mana A adalah
Dari bacaan saya tampaknya sebagian besar tata bahasa berkaitan dengan menghasilkan string yang tak terbatas. Bagaimana jika Anda bekerja sebaliknya? Jika diberi n string dengan panjang m, harus dimungkinkan untuk membuat tata bahasa yang akan menghasilkan string itu, dan hanya string itu. Apakah...
Saya menerapkan algoritma Naive Bayes untuk kategorisasi teks dengan penghalusan Laplacian. Masalah yang saya miliki adalah bahwa probabilitas mendekati nol karena saya mengalikan banyak fraksi kecil. Oleh karena itu, probabilitas akhirnya menghasilkan nol. Ini karena ada beberapa kata dalam...
Saya menulis kode Python ini, dan bertanya-tanya apakah kadang-kadang tidak berakhir (dengan asumsi kami memiliki memori / waktu tak terbatas dan tidak ada batas kedalaman rekursi). Secara intuitif Anda akan berpikir itu berakhir, karena pada titik tertentu Anda harus beruntung , dan jika tidak...
Dari referensi ini: Kepositifan yang ketat Kondisi positif yang ketat mengesampingkan deklarasi seperti data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK Mengapa A negatif? Juga Mengapa B diizinkan? Saya mengerti mengapa C...
Saya baru-baru ini mengetahui tentang struktur data pohon Rose, tetapi hanya pergi dari datadefinisi Haskell dan deskripsi Wikipedia kecil itu, saya punya beberapa kesulitan memahami aplikasi apa yang mungkin dimiliki pohon Rose. Untuk referensi, datadefinisi Haskell : data RoseTree a = RoseTree...
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...
Saya ingin memberikan bukti untuk bagian dari program Haskell yang saya tulis sebagai bagian dari tesis saya. Namun sejauh ini, saya gagal menemukan referensi yang bagus. Buku pengantar Graham Hutton, Programming in Haskell ( Google Books ) —yang saya baca sambil mempelajari Haskell — menyentuh...
Bukti ini adalah bukti melalui induksi, dan berlaku sebagai berikut: P (n) adalah pernyataan bahwa "Quicksort dengan benar mengurutkan setiap larik input dengan panjang n." Kasus dasar: setiap larik input dengan panjang 1 sudah diurutkan (P (1) berlaku) Langkah induktif: fix n => 2. Perbaiki...
Saya mencoba untuk belajar sendiri tentang komputasi kuantum, dan saya memiliki pemahaman yang baik tentang aljabar linier. Saya melewati gerbang NOT, yang tidak terlalu buruk, tapi kemudian saya sampai di gerbang Hadamard. Dan saya terjebak. Terutama karena ketika saya "memahami" manipulasi,...
Saya telah belajar hari ini bahwa analisis algoritma berbeda berdasarkan pada model komputasi. Itu adalah sesuatu yang tidak pernah saya pikirkan atau dengar. Contoh yang diberikan kepada saya, yang menggambarkannya lebih lanjut, oleh Pengguna @chi adalah: Misalnya, pertimbangkan tugas:...