Ilmu Komputer

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 beberapa larik input dengan panjang …

10 correctness-proof  induction  quicksort 

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 dokumen dan set pelatihan. Karena itu, saya tidak dapat mengkategorikan teks. …

10 machine-learning  natural-language-processing  floating-point  numerical-algorithms 

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 berakhir, Anda memiliki waktu tak terbatas …

10 trees  probability-theory  termination 

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 …

10 type-theory  inductive-datatypes 

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 Content ------------- ghdjg Data1 hgdzs Data2 eruit Data3 xcnvb Data4 …

10 complexity-theory  hash  hash-tables  performance 

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 dimasukkannya definisi induktif pada CC. Namun, Tipe Diri membuat teori dasar yang …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

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 alfabet.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Definisi. Otomat seluler …

10 computability  decision-problem  halting-problem  cellular-automata 

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 NFA?

10 automata  finite-automata  proof-techniques  nondeterminism 

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 \mathbb{1}_{\|x - x_i\| \leq r} Algoritma brute force akan memeriksa …

10 algorithms  complexity-theory  computational-geometry 

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" bobot akson. Jadi pada dasarnya ide saya adalah sebagai berikut. Jika saya …

10 machine-learning  np  neural-networks  p-vs-np  genetic-algorithms 

Pertanyaan ini agak bertentangan dengan pertanyaan sebelumnya pada set yang dibentuk dari set operasi pada set NP-complete: Jika himpunan yang dihasilkan dari gabungan, persimpangan, atau produk Cartesian dari dua himpunan yang dapat ditentukan dan L 2 adalah NP-complete, apakah paling tidak salah satu dari L 1 , L 2 tentu …

10 complexity-theory  np-hard  np  np-intermediate 

Ini mungkin pemikiran yang konyol, tetapi misalkan kita memiliki komputer yang diprogram untuk melakukan urutan perhitungan yang tak terbatas dan anggaplah perhitungan membutuhkan detik untuk diselesaikan. Kemudian komputer ini dapat melakukan perhitungan dalam jumlah tak terbatas dalam waktu yang tidak terbatas.sayathsayathi^\text{th}1 / 2saya1/2saya1/2^i Mengapa ini tidak mungkin? Apakah ada batasan …

10 computability  computation-models 

Saya membaca Sistem Operasi oleh Galvin dan menemukan garis di bawah ini, Namun, tidak semua negara bagian yang tidak aman menemui jalan buntu. Keadaan yang tidak aman dapat menyebabkan kebuntuan Bisakah seseorang tolong jelaskan bagaimana jalan buntu! = Kondisi tidak aman ? Saya juga menangkap garis yang sama di sini …

10 operating-systems  deadlocks 

Saya membaca Tracy Kidder "The Soul of a New Machine" di mana tim di Data General merancang mesin baru (diberi kode "Eagle", yang kemudian dinamai MV / 8000). Ini adalah ekstensi 32-bit dari arsitektur sebelumnya (Eclipse 16-bit). Salah satu tema yang berputar tampaknya adalah, bahwa mereka tidak ingin membuat mesin …

10 computer-architecture 

Setelah membaca pencapaian google deepmind di game Atari , saya mencoba memahami q-learning dan q-networks, tapi saya agak bingung. Kebingungan muncul dalam konsep faktor diskon. Ringkasan singkat tentang apa yang saya mengerti. Jaringan saraf convolutional yang mendalam digunakan untuk memperkirakan nilai dari nilai yang diharapkan optimal dari suatu tindakan. Jaringan …

10 artificial-intelligence  neural-networks  reinforcement-learning