Ilmu Komputer

Semua orang tahu kecepatan komputasi telah meningkat secara drastis sejak penemuan mereka, dan tampaknya akan terus berlanjut. Tetapi satu hal yang membingungkan saya: jika Anda menjalankan arus listrik melalui bahan hari ini, itu akan bergerak dengan kecepatan yang sama seperti jika Anda melakukannya dengan bahan yang sama 50 tahun yang …

48 computer-architecture 

Ada banyak metode untuk membuktikan bahwa suatu bahasa tidak teratur , tetapi apa yang harus saya lakukan untuk membuktikan bahwa beberapa bahasa itu teratur? Misalnya, jika saya diberi tahu bahwa adalah biasa, bagaimana saya bisa membuktikan bahwa berikut ini juga teratur?L ′LLLL′L′L' L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}L′:={w∈L:uv=w for u∈Σ∗∖L and …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Saya membaca buku berjudul Principles of Computer Science (2008), oleh Carl Reynolds dan Paul Tymann (diterbitkan oleh Schaum's Outlines). Bab kedua memperkenalkan algoritma dengan contoh pencarian berurutan yang hanya mengulangi melalui daftar nama dan mengembalikan TRUE jika nama yang diberikan ditemukan dalam daftar. Penulis melanjutkan dengan mengatakan (halaman 17): Kami …

47 algorithms  algorithm-analysis  landau-notation  notation 

Dari apa yang saya temukan, seorang yang sangat sejumlah besar protokol yang perjalanan melalui internet adalah "text-based" daripada biner. Protokol yang dimaksud termasuk, tetapi tidak terbatas pada HTTP, SMTP, FTP (saya pikir ini semua berbasis teks?), WHOIS, IRC. Bahkan, beberapa protokol ini melompati beberapa rintangan kapan pun mereka ingin mengirimkan …

47 computer-networks  communication-protocols  protocols 

Mohon maaf sebelumnya atas kenaifan pertanyaan ini. Saya seorang seniman berusia 50 tahun yang mencoba memahami komputer dengan benar untuk pertama kalinya. Jadi begini. Saya telah mencoba memahami bagaimana tipe data dan variabel ditangani oleh kompiler (dalam arti yang sangat umum, saya tahu ada banyak hal). Saya kehilangan sesuatu dalam …

47 programming-languages  memory-allocation 

Tampaknya di mana pun saya melihat, struktur data sedang dilaksanakan menggunakan pohon merah-hitam ( std::setdalam C ++, SortedDictionarydi C #, dll.) Baru saja membahas (a, b), pohon merah-hitam & AVL di kelas algoritme saya, inilah yang saya dapatkan (juga dari bertanya di sekitar profesor, melihat-lihat beberapa buku dan sedikit mencari …

46 data-structures  search-trees  applied-theory  dictionaries  balanced-search-trees 

Ada banyak sekali struktur data yang mengimplementasikan antarmuka antrian prioritas: Sisipkan: masukkan elemen ke dalam struktur Get-Min: kembalikan elemen terkecil dalam struktur Extract-Min: menghapus elemen terkecil dalam struktur Struktur data umum yang mengimplementasikan antarmuka ini adalah (min) tumpukan . Biasanya, waktu berjalan (diamortisasi) dari operasi ini adalah: Sisipkan: (kadang-kadang )O …

46 data-structures  amortized-analysis  priority-queues 

Ketika mempertimbangkan bagaimana multi-thread-friendly program kami harus, tim saya bingung tentang apakah ada sesuatu yang benar - benar tidak dapat dilakukan pada CPU single-core. Saya berpendapat bahwa pemrosesan grafis memerlukan pemrosesan paralel secara besar-besaran, tetapi mereka berpendapat bahwa hal-hal seperti DOOM dilakukan pada CPU single-core tanpa GPU. Apakah ada sesuatu …

45 computation-models  cpu  multi-tasking 

Apa perbedaan antara algoritma spanning tree minimum dan algoritma jalur terpendek? Dalam kelas struktur data saya, kami membahas dua algoritma spanning tree minimum (Prim dan Kruskal) dan satu algoritma jalur terpendek (Dijkstra). Minimum spanning tree adalah pohon dalam grafik yang membentang semua simpul dan berat total pohon minimal. Jalur terpendek …

45 algorithms  shortest-path  spanning-trees 

Saat membahas beberapa topik tingkat intro hari ini, termasuk penggunaan algoritma genetika; Saya diberitahu bahwa penelitian sangat lambat di bidang ini. Alasan yang diberikan adalah bahwa kebanyakan orang berfokus pada pembelajaran mesin dan data mining. Pembaruan: Apakah ini akurat? Dan jika demikian, apa kelebihan ML / DM jika dibandingkan dengan …

45 machine-learning  data-mining  evolutionary-computing  history 

Untuk menemukan median array yang tidak disortir, kita dapat membuat min-heap dalam waktu untuk n elemen, dan kemudian kita dapat mengekstraksi satu per satu elemen n / 2 untuk mendapatkan median. Tetapi pendekatan ini akan membutuhkan waktu O ( n log n ) .O(nlogn)O(nlog⁡n)O(n\log n)nnnn/2n/2n/2O(nlogn)O(nlog⁡n)O(n \log n) Bisakah kita melakukan …

45 algorithms  time-complexity 

Pencocokan pola tingkat tinggi adalah masalah yang tidak dapat ditentukan. Itu berarti tidak ada algoritma yang, diberikan persamaan a => b, di mana adan badalah istilah terbuka pada kalkulus lambda yang diketik sederhana, menemukan substitusi Ssehingga aS => bS, di mana =>singkatan "memiliki bentuk normal Bn yang sama". Namun, manusia …

45 computability 

Di halaman Wikipedia untuk Fixed Point Combinators tertulis teks yang agak misterius Penggabung Y adalah contoh dari apa yang membuat kalkulus Lambda tidak konsisten. Jadi harus dianggap dengan kecurigaan. Namun aman untuk mempertimbangkan kombinator Y ketika didefinisikan dalam logika matematika saja. Sudahkah saya memasuki semacam novel mata-mata? Apa di dunia …

44 lambda-calculus  combinatory-logic 

O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| + |E|)

44 terminology  asymptotics  mathematical-analysis  landau-notation 

Ada algoritma standar ini untuk menemukan jalur terpanjang di pohon-pohon yang tidak diarahkan menggunakan dua pencarian kedalaman-pertama: Mulai DFS dari simpul acak dan temukan simpul terjauh darinya; katakan itu .v ′vvvv′v′v' Sekarang mulai DFS dari untuk menemukan titik terjauh dari itu. Jalur ini adalah jalur terpanjang dalam grafik.v′v′v' Pertanyaannya adalah, …

44 algorithms  graphs  trees