Ilmu Komputer

Misalkan saya punya kapal permukaan otonom bertenaga surya di suatu tempat di fjord Norwegia, dilengkapi dengan set peta yang cukup baru, penerima GPS, dan tidak ada cara untuk men-downlink perintah rinci dari saya. Kapal ini harus mencapai, katakanlah, pulau Hainan secepat mungkin. Apa algoritma deterministik untuk menemukan rute maritim di …

14 artificial-intelligence  search-algorithms 

Saya membaca tentang algoritma pengetikan Hindley-Milner saat menulis implementasi, dan melihat bahwa, selama setiap variabel terikat, Anda akan selalu mendapatkan tipe atau tipe atom di mana argumen akan menentukan tipe final, seperti t1 -> t1atau (t1 -> t2) -> (t1 -> t2)di mana t1dan t2jenis variabel. Saya tidak bisa memikirkan …

14 lambda-calculus  type-theory  typing  type-inference 

Diberi alfabet Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , berapa banyak bahasa reguler yang berbeda yang dapat diterima oleh otomat terbatas non-deterministik nnn -negara? Sebagai contoh, mari kita pertimbangkan n=3n=3n=3 . Kami kemudian memiliki 2182182^{18} konfigurasi transisi yang berbeda dan 23232^3 konfigurasi awal dan akhir yang berbeda, jadi kami memiliki batas …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Apakah mungkin untuk menggunakan algoritma penyortiran dengan perbandingan non-transitif, dan jika ya, mengapa transitivitas terdaftar sebagai persyaratan untuk menyortir komparator? Latar Belakang: Algoritma pengurutan umumnya mengurutkan elemen daftar sesuai dengan fungsi komparator C (x, y), dengan C( x , y) = ⎧⎩⎨- 10+ 1jika x≺y jika x∼y jika x≻y C(x,y)={-1jika …

14 algorithms  sorting  quicksort  transitivity 

Ini muncul ketika saya mencoba untuk menjawab pertanyaan ini pada Minimalisasi Panjang Kabel . Saya akan menyebutnya masalah "perkawinan poligami", tetapi internet, jadi anak kucing. Yay! Misalkan kita memiliki anak kucing yang perlu diadopsi oleh N orang, M > N . Untuk setiap anak kucing, saya dan setiap orang j …

14 algorithms  complexity-theory 

Aku punya dua set besar bilangan bulat dan . Setiap set memiliki sekitar satu juta entri, dan setiap entri adalah bilangan bulat positif dengan panjang maksimal 10 digit. AAABBB Apa algoritma terbaik untuk menghitung dan ? Dengan kata lain, bagaimana saya bisa secara efisien menghitung daftar entri yang tidak dalam …

14 algorithms  data-structures  sets 

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 

Mari menjadi grafik, dan biarkan dan dua simpul dari . Bisakah kita secara efisien mencicipi terpendekGGGssstttGGGsss - ttt secara seragam dan independen secara acak dari rangkaian semua jalur terpendek antara sss dan ttt ? Untuk kesederhanaan, kita dapat menganggap GGG sederhana, tidak terarah dan tidak berbobot. Bahkan di banyak grafik …

14 graph-theory  reference-request  shortest-path  sampling 

Saya telah melihat situs ini dan mengatakan bahwa orang menemukan solusi untuk tur TSP yang hanya 0,031% lebih tinggi dari tur optimalnya. Tanpa menemukan tur yang optimal bagaimana mereka tahu berapa lama seharusnya?

14 complexity-theory  approximation 

Apakah ada perbedaan di antara keduanya? Sesuai dengan buku Ullman , kompiler mengonversi satu bahasa ke bahasa lain (biasanya tingkat rendah), dan begitu juga assembler. Bagaimana keduanya berbeda?

14 terminology  compilers 

Algoritme apa yang akan Anda gunakan untuk menemukan jalur terpendek dari grafik, yang tertanam dalam bidang euclidean, sehingga jalur tersebut tidak boleh mengandung persimpangan-sendiri (dalam penyematan)? Misalnya, dalam grafik di bawah ini, Anda ingin beralih dari . Biasanya, algoritma seperti algoritma Dijkstra akan menghasilkan urutan seperti:( 0 , 0 ) …

14 algorithms  graphs  shortest-path  graph-traversal  weighted-graphs 

Adakah yang bisa merujuk saya ke makalah peer-review yang mempelajari kelebihan atau kekurangan dari penulisan kode dengan gaya fungsional? Apakah ada makalah yang membahas aplikasi Lambda Calculus di berbagai bidang seperti Machine Learning, Desain Bahasa, dll?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Saya menyadari automata pushdown non-deterministik dapat menjadi perbaikan daripada yang deterministik karena mereka dapat "memilih" di antara beberapa negara dan ada beberapa bahasa bebas konteks yang tidak dapat diterima oleh pushdown deterministik. Meski begitu, saya tidak mengerti bagaimana tepatnya mereka "memilih". Untuk palindormes misalnya setiap sumber yang saya temukan hanya …

14 automata  pushdown-automata  nondeterminism 

Masalah Diberikan mesin Turing yang telah dikenal runtime O ( g ( n ) ) sehubungan dengan panjang input n , apakah runtime dari M ∈ O ( f ( n ) ) ?M.M.MO (g( n ) )HAI(g(n)){O}(g(n))nnnM.∈ O ( f( n ) )M.∈HAI(f(n))M \in {O}(f(n)) Apakah masalah di atas …

14 complexity-theory  time-complexity 

Saya tahu bahwa kami dapat meminimalkan DFA dengan menemukan dan menggabungkan status yang setara, tetapi mengapa kami tidak dapat melakukan hal yang sama dengan NFA? Saya tidak mencari bukti atau semacamnya - kecuali bukti lebih mudah dimengerti. Saya hanya ingin memahami secara intuitif mengapa minimalisasi NFA begitu sulit ketika minimisasi …

14 complexity-theory  finite-automata  nondeterminism