Ilmu Komputer

Saya menemukan masalah P vs NP beberapa waktu lalu dan saya baru saja bekerja pada masalah jumlah subset. Saya telah membaca artikel Wikipedia tentang masalah Subset Sum serta pertanyaan Algoritma Subset Sum Saya telah melihat masalah dan menemukan beberapa solusi tetapi sejauh ini mereka tampaknya NP, saya percaya saya dapat …

8 algorithms  dynamic-programming 

Saya belajar pemrograman dalam ML (OCaml), dan sebelumnya saya bertanya tentang fungsi tipe ML'a -> 'b . Sekarang saya sudah bereksperimen sedikit dengan fungsi tipe 'a list -> 'b list. Ada beberapa contoh sederhana yang jelas: let rec loop l = loop l let return_empty l = [] let rec …

8 programming-languages  typing  functional-programming 

Saya mencoba untuk menyerang TAOCP sekali lagi, mengingat beratnya volume sebenarnya saya mengalami kesulitan untuk melakukannya dengan serius. Dalam TAOCP 1 Knuth menulis, halaman 8, konsep-konsep dasar :: Membiarkan AAAmenjadi set huruf yang terbatas. MembiarkanA∗A∗A^* menjadi himpunan semua string di AAA (himpunan semua urutan terurut x1x1x_1 x2x2x_2... mana dan berada …

7 formal-languages  turing-machines  computation-models