Ilmu Komputer

Saya berencana untuk mengajar kursus musim dingin tentang berbagai topik, salah satunya akan menjadi penyusun. Sekarang, saya menemukan masalah ini sambil memikirkan tugas untuk diberikan sepanjang kuartal, tapi itu membuat saya bingung sehingga saya dapat menggunakannya sebagai contoh. public class DeadCode { public static void main(String[] args) { return; System.out.println("This …

32 computability  proof-techniques  compilers 

Saya sedang mempelajari CPU dan saya tahu cara membaca program dari memori dan menjalankan instruksinya. Saya juga mengerti bahwa sebuah OS memisahkan program dalam proses, dan kemudian bergantian antara masing-masing begitu cepat sehingga Anda berpikir bahwa mereka berjalan pada waktu yang sama, tetapi pada kenyataannya setiap program berjalan sendiri dalam …

32 operating-systems 

Jika sesuatu itu sederhana, maka itu harus sepenuhnya dijelaskan dengan beberapa kata. Ini dapat dilakukan untuk kalkulus λ: Kalkulus λ adalah tata bahasa sintaksis (pada dasarnya, struktur) dengan aturan reduksi (yang berarti prosedur pencarian / penggantian berulang kali diterapkan pada setiap kemunculan pola tertentu hingga tidak ada pola seperti itu). …

32 functional-programming  type-theory 

Program 579-bit dalam Binary Lambda Calculus ini memiliki status penghentian yang tidak diketahui: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Artinya, tidak diketahui apakah program ini berakhir atau tidak. Untuk menentukannya, Anda harus menyelesaikan dugaan Collatz - atau, setidaknya, untuk semua angka hingga 2 ^ 256. Pada repositori ini …

32 algorithms  computability  kolmogorov-complexity 

Saya mencari bantuan untuk memahami algoritma pendeteksian siklus Floyd. Saya telah membaca penjelasan di wikipedia ( http://en.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare ) Saya dapat melihat bagaimana algoritma mendeteksi siklus dalam waktu O (n). Namun, saya tidak dapat memvisualisasikan fakta bahwa setelah kura-kura dan kelinci bertemu untuk pertama kalinya, permulaan siklus dapat ditentukan dengan menggerakkan …

32 algorithms  linked-lists 

Saya baru saja menyelesaikan bab pertama dari Pengantar Teori Komputasi oleh Michael Sipser yang menjelaskan dasar-dasar automata terbatas. Dia mendefinisikan bahasa reguler sebagai apa pun yang dapat dijelaskan oleh automata terbatas. Tetapi saya tidak dapat menemukan di mana dia menjelaskan mengapa bahasa biasa disebut "biasa?" Apa asal usul istilah "reguler" …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Apakah ada kalkulasi lambda yang diketik lengkap dari Turing? Jika demikian, apa beberapa contohnya?

31 computability  lambda-calculus  type-theory 

Katakan bahwa dan adalah dua string dengan panjang yang sama. Sebuah anagramming dari dua string adalah pemetaan bijektif sehingga untuk setiap .b 1 b 2 ... b n p : [ 1 ... n ] → [ 1 ... n ] a i = b p ( i ) iSebuah1Sebuah2… …

31 algorithms  strings  search-algorithms  natural-language-processing 

Saya belajar tentang pohon radix (alias percobaan terkompresi) dan Patricia mencoba, tetapi saya menemukan informasi yang bertentangan tentang apakah mereka sebenarnya sama atau tidak. Pohon radix dapat diperoleh dari trie normal (tidak terkompresi) dengan menggabungkan node dengan orang tua mereka ketika node adalah satu-satunya anak. Ini juga berlaku untuk percobaan …

31 data-structures  trees 

Saya bertanya-tanya apakah ada contoh yang baik untuk masalah NP-Hard yang mudah dipahami yang bukan NP-Lengkap dan tidak diputuskan? Misalnya, masalah penghentian adalah NP-Hard, bukan NP-Complete, tetapi tidak dapat dipastikan. Saya percaya bahwa ini berarti bahwa ini merupakan masalah yang dapat diverifikasi solusinya tetapi tidak dalam waktu polinomial. (Tolong, perbaiki …

31 complexity-theory  computability  np-hard 

Saya mengalami kesulitan memahami mengapa PSPACE secara umum diyakini berbeda dari EXPTIME. Jika PSPACE adalah serangkaian masalah yang dapat dipecahkan dalam polinomial ruang dalam ukuran input , lalu bagaimana mungkin ada kelas masalah yang mengalami ledakan waktu eksponensial yang lebih besar dan tidak menggunakan ruang eksponensial?f(n)f(n)f(n) Jawaban Yuval Filmus sudah …

31 complexity-theory  complexity-classes  intuition 

Katakanlah saya perlu mensimulasikan distribusi diskrit berikut: P(X=k)={12N,1−12N,if k=1if k=0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} Cara yang paling jelas adalah menggambar bit acak NNN dan memeriksa apakah semuanya sama dengan 000 (atau …

31 algorithms  information-theory  randomness  pseudo-random-generators  entropy 

Misalnya, jika komputer telah 10111100disimpan pada satu byte tertentu dari RAM, bagaimana komputer tahu untuk menafsirkan byte ini sebagai integer, karakter ASCII, atau yang lainnya? Apakah tipe data disimpan dalam byte yang berdekatan? (Saya tidak berpikir ini akan terjadi karena ini akan menghasilkan penggunaan dua kali jumlah ruang untuk satu …

31 memory-hardware  memory-access  type-checking 

Mengapa Komputer Menggunakan Sistem Angka Biner (0,1)? Mengapa mereka tidak menggunakan Sistem Angka Ternary (0,1,2) atau sistem angka lainnya?

31 computer-architecture  binary-arithmetic 

Jadi, masalah keputusan TSP (Traveling salesman) adalah masalah NP yang lengkap . Tetapi saya tidak mengerti bagaimana saya dapat memverifikasi bahwa solusi yang diberikan untuk TSP sebenarnya optimal dalam waktu polinomial, mengingat bahwa tidak ada cara untuk menemukan solusi optimal dalam waktu polinomial (yang karena masalahnya bukan pada P)? Adakah …

31 complexity-theory  np-complete  traveling-salesman