Pertanyaan yang diberi tag «applied-theory»

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 

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 CountMinSketch . Ini memungkinkan Anda untuk memikirkan operasi canggih …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

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 halnya untuk Mesin Turing), bagaimana bahasa …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

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 kemudian ditunjukkan kepada dosen saya. Setelah pengamatan singkat, ia merasa …

30 algorithms  algorithm-analysis  education  applied-theory 

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 "satu-panas".) Saya ingin menyandikan batasan "tepat satu dari x1,…,xnx1,…,xnx_1,\dots,x_n harus benar" di …

25 satisfiability  sat-solvers  applied-theory 

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?

23 automata  nondeterminism  applied-theory 

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 basis asli Anda untuk keseluruhan algoritma .nnn[ 0 …

20 algorithms  sorting  applied-theory  radix-sort 

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 

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 …

14 data-structures  education  hash-tables  applied-theory 

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 makalah yang menjelaskan ini?

12 reference-request  computational-geometry  applied-theory 

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

10 type-theory  applied-theory 

Apakah algoritma Dijkstra digunakan dalam sistem pencarian rute modern seperti Google maps atau satnav di mobil Anda? Jika tidak, lalu apa?

10 algorithms  graphs  shortest-path  applied-theory 

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 saya dan saya sedang …

8 graph-theory  reference-request  optimization  combinatorics  applied-theory 

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 ontologi antara istilah-istilah dalam domain pengetahuan itu (misalnya hubungan antara …

8 artificial-intelligence  applied-theory  knowledge-representation  ontologies  robotics 

Ketika saya pertama kali mendengar hal-hal ini saya sangat terpesona karena saya pikir itu benar-benar menetapkan batas untuk matematika dan sains secara umum. Tetapi seberapa praktis hal-hal ini relevan? Untuk Masalah Berhenti: Apakah ada lebih dari beberapa kasus yang dibuat secara artifisial, di mana orang tidak dapat memutuskan apakah algoritma …

8 computability  logic  halting-problem  applied-theory