Hasil dan teknik teoritis diterapkan dalam pengaturan praktis.
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,...
Mengapa perusahaan seperti Twitter tertarik pada konsep aljabar seperti grup, monoids, dan cincin? Lihat repositori mereka di github: twitter / algebird . Yang bisa saya temukan adalah: Implementasi Monoids untuk algoritme aproksimasi yang menarik, seperti filter Bloom , HyperLogLog , dan...
Melihat bahwa dalam Chomsky Hierarchy Type 3 bahasa dapat dikenali oleh mesin negara tanpa memori eksternal (yaitu, otomat terbatas), Tipe 2 oleh mesin negara dengan tumpukan tunggal (yaitu otomat push-down) dan Tipe 0 oleh mesin negara dengan dua tumpukan (atau, ekuivalen, sebuah kaset, seperti...
Saya ditugaskan latihan di universitas saya. Saya membawanya pulang dan mencoba memprogram algoritma untuk menyelesaikannya, itu adalah sesuatu yang berhubungan dengan grafik, menemukan komponen yang terhubung, saya kira. Kemudian saya membuat hal paling sepele yang muncul di benak saya dan...
Saya menggunakan pemecah SAT untuk menyandikan masalah, dan sebagai bagian dari contoh SAT, saya memiliki variabel boolean x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n mana dimaksudkan bahwa salah satu dari ini harus benar dan sisanya harus salah. (Saya terkadang melihat ini digambarkan sebagai pengkodean...
Otomat adalah model abstrak dari komputer digital. Komputer digital sepenuhnya deterministik; status mereka kapan saja dapat diprediksi secara unik dari input dan kondisi awal. Ketika kita mencoba memodelkan sistem nyata, mengapa memasukkan nondeterminisme dalam teori Automata?
Urutan radix secara teoritis sangat cepat ketika Anda tahu bahwa kunci berada dalam kisaran terbatas tertentu, katakanlah nilai dalam kisaran misalnya. Jika Anda baru saja mengonversi nilai menjadi basis yang membutuhkan waktu , lakukan pengurutan basis radix dan kemudian konversikan kembali ke...
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...
HHHh : U→ { 0 , ... , M- 1 }h:U→{0,...,M.-1}h: U \rightarrow \{0,\ldots,M-1\}∀ x , y∈ U, x ≠ y⇒ Prh ∈ H[ h ( x ) = h ( y) ] ≤ 1M.∀x,y∈U,x≠y⇒Prh∈H[h(x)=h(y)]≤1M.\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq \frac{1}{M} Konsep hashing universal sekarang menjadi bagian...
Ada masalah populer [1] [2] dalam ilmu komputer yang menemukan jumlah minimum garis lurus yang mencakup satu set poin dalam 2D. Meskipun saya telah memindai banyak makalah, tidak satupun dari mereka memiliki motivasi yang jelas untuk masalah ini. Apa gunanya menyelesaikan masalah ini? Apakah ada...
Apakah algoritma Dijkstra digunakan dalam sistem pencarian rute modern seperti Google maps atau satnav di mobil Anda? Jika tidak, lalu
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
Saya telah membaca banyak makalah dan buku tentang ontologi dan saya mencoba mencari tahu bagaimana mereka digunakan dalam proyek nyata? Misalnya bagaimana ontologi untuk robot pemain sepak bola dapat didefinisikan dan digunakan dengan arsitektur kognitif untuk membuatnya cerdas? Apakah hubungan...
Apakah ada aplikasi Steiner Tree Problem (STP) di dunia nyata? Saya mengerti bahwa desain chip VSLI adalah aplikasi yang baik dari STP. Apakah ada contoh lain dari masalah dunia nyata yang dapat disarankan orang yang dapat dirumuskan dalam istilah STP? Latar belakang: Saya memulai penelitian PhD...