Ilmu Komputer

Hari ini, ceramah oleh Henning Kerstan ("Trace Semantics for Probabilistic Transition Systems") menghadapkan saya pada teori kategori untuk pertama kalinya. Dia telah membangun kerangka teori untuk menggambarkan sistem transisi probablistik dan perilaku mereka secara umum, yaitu dengan set keadaan tak terbatas yang tak terhitung jumlahnya dan gagasan jejak yang berbeda. …

18 applied-theory  category-theory 

Dari jawaban untuk (Kapan) adalah pencarian tabel hash O (1)? , Saya mengumpulkan bahwa tabel hash memiliki perilaku kasus terburuk, setidaknya diamortisasi, ketika data memenuhi kondisi statistik tertentu, dan ada teknik untuk membantu membuat kondisi ini luas.O(1)O(1)O(1) Namun, dari perspektif programmer, saya tidak tahu sebelumnya apa data saya akan: sering …

18 data-structures  runtime-analysis  hash-tables  dictionaries 

Combinatorics memainkan peran penting dalam ilmu komputer. Kami sering menggunakan metode kombinatorial baik dalam analisis maupun desain dalam algoritma. Misalnya satu metode untuk menemukan penutup -vertex yang diatur dalam grafik mungkin hanya memeriksa semua \ binom {n} {k} subset yang mungkin. Sementara fungsi binomial tumbuh secara eksponensial, jika k adalah …

18 algorithms  algorithm-analysis  combinatorics 

Mari kita pertimbangkan segmen memori (yang ukurannya dapat tumbuh atau menyusut, seperti file, bila diperlukan) di mana Anda dapat melakukan dua operasi alokasi memori dasar yang melibatkan blok ukuran tetap: alokasi satu blok membebaskan blok yang sebelumnya dialokasikan yang tidak digunakan lagi. Selain itu, sebagai persyaratan, sistem manajemen memori tidak …

18 time-complexity  memory-allocation  operating-systems 

Dalam bahasa pemrograman, penutupan adalah fitur yang populer dan sering diinginkan. Wikipedia mengatakan (beri penekanan pada saya): Dalam ilmu komputer, closure (...) adalah fungsi bersama-sama dengan lingkungan referensi untuk variabel non-lokal dari fungsi itu. Penutupan memungkinkan suatu fungsi untuk mengakses variabel di luar lingkup leksikal langsungnya. Jadi penutupan pada dasarnya …

18 programming-languages  semantics 

Saya tahu bahwa komputer kuantum dapat memproses superposisi semua keadaan yang mungkin dengan sekali melewati logika. Tampaknya itulah yang ditunjuk orang sebagai apa yang membuat komputer kuantum istimewa atau berguna. Namun setelah Anda memproses input superposisi, Anda memiliki hasil superposisi, di mana Anda hanya dapat mengajukan satu pertanyaan dan itu …

18 computation-models  quantum-computing 

Secara khusus: 1) Cache yang dipetakan langsung dengan 4096 blok / baris di mana setiap blok memiliki 8 kata 32-bit. Berapa banyak bit yang diperlukan untuk bidang tag dan indeks, dengan asumsi alamat 32-bit? 2) Pertanyaan yang sama dengan 1) tetapi untuk cache asosiatif sepenuhnya ? Koreksi saya jika saya …

18 computer-architecture  cpu-cache 

Pertimbangkan pengulangannya T(n)=n−−√⋅T(n−−√)+cnT(n)=n⋅T(n)+cn\qquad\displaystyle T(n) = \sqrt{n} \cdot T\bigl(\sqrt{n}\bigr) + c\,n untuk dengan beberapa konstanta positif , dan .n>2n>2n \gt 2cccT(2)=1T(2)=1T(2) = 1 Saya tahu teorema Master untuk menyelesaikan perulangan, tapi saya tidak yakin bagaimana kita bisa menyelesaikan hubungan ini dengan menggunakannya. Bagaimana Anda mendekati parameter root kuadrat?

18 asymptotics  recurrence-relation  master-theorem 

Dalam banyak implementasi pencarian kedalaman-pertama yang saya lihat (misalnya: di sini ), kode membedakan antara simpul abu-abu (ditemukan, tetapi tidak semua tetangganya dikunjungi) dan simpul hitam (ditemukan dan semua tetangganya dikunjungi) . Apa tujuan dari perbedaan ini? Tampaknya algoritma DFS tidak akan pernah mengunjungi verteks yang dikunjungi terlepas dari apakah …

18 algorithms  graphs  search-algorithms  graph-traversal 

Saya mulai membaca buku tentang Kompleksitas Komputasi dan Mesin Turing. Berikut ini kutipannya: Algoritma (yaitu, mesin) dapat direpresentasikan sebagai string bit setelah kami memutuskan beberapa pengkodean kanonik. Pernyataan ini diberikan sebagai fakta sederhana, tetapi saya tidak bisa memahaminya. Misalnya, jika saya memiliki algoritma yang mengambil sebagai input dan menghitung atau:( …

17 algorithms  turing-machines  computability  computation-models 

Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 Teks asli: Mata menakutkan terlihat di dekat danau Disandikan : 0000101100000110011100010101101101001111101011111100011001111110100100101 Mengapa tidak perlu pemisah dalam pengkodean Huffman?

17 coding-theory  encoding-scheme  huffman-coding 

Saya sedang membaca tentang algoritma kompresi data dan batas teoritis untuk kompresi data. Baru-baru ini saya menemukan metode kompresi yang disebut "Combinatorial Entropy Encoding", ide utama dari metode ini adalah untuk menyandikan file sebagai karakter yang disajikan dalam file, frekuensi mereka dan indeks permutasi karakter ini diwakili oleh file. Dokumen-dokumen …

17 information-theory  data-compression 

Bagaimana ALU dalam mikroprosesor membedakan antara angka yang ditandatangani, -7 yang dilambangkan dengan 1111 dan angka 15 yang tidak ditandatangani, juga dilambangkan dengan 1111?

17 arithmetic  binary 

Kotak hitam f(x)f(x)f(x) berarti saya dapat mengevaluasi polinom pada titik mana pun.f(x)f(x)f(x) Input : Kotak hitam polinomial monik derajat .f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Output: The koefisien polinomial .dddf(x)f(x)f(x) Algoritme saya: biarkan f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x) = x^{d} + a_{d-1} x^{d-1} + \cdots + a_1 x + a_0 Mengevaluasi polinomial pada banyak titik menggunakan kotak hitam …

17 algorithms  polynomials 

Dari Wikipedia: Dalam ilmu komputer teoretis, kebenaran suatu algoritma dinyatakan ketika dikatakan bahwa algoritma tersebut benar sehubungan dengan spesifikasi. Tetapi masalahnya adalah bahwa untuk mendapatkan spesifikasi "yang sesuai" bukanlah tugas yang sepele, dan tidak ada metode yang 100% benar (sejauh yang saya tahu) untuk mendapatkan yang benar, itu hanya perkiraan, …

17 formal-methods  software-verification  program-correctness