Saya sering berinteraksi dengan orang-orang yang ingin meminta algoritma untuk masalah komputasi (atau kerumitannya), tetapi mereka tidak mengungkapkannya dengan cara yang sulit bagi kita (ilmuwan komputer) untuk memahaminya. Merujuk mereka ke buku-buku seperti CLRS tidak membantu karena...
Dalam buku Andrew W. Appel, Implementasi Kompiler Modern dalam ML , ia mengatakan di bawah bab 17 bahwa teori Komputasi menunjukkan bahwa akan selalu mungkin untuk menciptakan transformasi optimisasi baru dan hasil untuk membuktikan bahwa kompiler yang mengoptimalkan sepenuhnya akan menyelesaikan...
Beberapa algoritma yang rumit ( union-find ) memiliki fungsi Ackermann terbalik yang hampir konstan yang muncul dalam kompleksitas waktu asimptotik, dan waktu terburuk optimal jika istilah Ackermann terbalik yang hampir konstan diabaikan. Adakah contoh algoritma yang dikenal dengan waktu berjalan...
Pertanyaan ini dimigrasikan dari Artificial Intelligence Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 5 tahun yang lalu . Dalam sebagian besar implementasi algoritma genetika, fokusnya adalah pada crossover dan mutasi. Tetapi entah
Oke sebelum saya mulai, saya menyadari ini ada di pinggiran topik (saya telah membaca Bantuan Pertanyaan untuk situs ini), terutama karena ini bukan masalah dunia nyata. Namun: Saya tidak dapat menemukan apa pun yang relevan di Google Dari sudut pandang puritan tentu itu harus jatuh dalam Ilmu...
Saya tahu komputasi dalam arti yang kabur (itu yang dilakukan komputer), tapi saya ingin definisi yang lebih ketat. Dictionary.comDefinisi komputasi, komputasi, menghitung, dan menghitung bersifat melingkar, sehingga tidak membantu. Wikipediamendefinisikan komputasi sebagai "segala jenis...
Nah ini pertanyaan umum. Dan jika ada yang ingin membuatnya implementasi spesifik maka saya akan lebih suka hal-hal terkait Unix. Tetapi pertama-tama perlu diketahui masalah berikut secara umum: Saya membaca proses tunggal dapat memiliki beberapa utas. Beberapa utas proses yang sama memang berbagi...
Saya sering mendengar bahwa polimorfisme baris adalah pendekatan yang lebih baik daripada subtyping, tetapi saya kesulitan menemukan apa pun yang membandingkannya secara terperinci. Saya terutama tertarik pada perspektif pengguna sistem. Saya memang menemukan posting blog ini , tetapi meninggalkan...
Hanya karena ketertarikan saya mencoba memecahkan masalah dari kategori "Baru-baru ini" dari Project Euler ( urutan Digit Sum ). Tetapi saya tidak dapat memikirkan cara untuk menyelesaikan masalah secara efisien. Masalahnya adalah sebagai berikut (dalam urutan pertanyaan asli memiliki dua yang di...
Membandingkan pasangan berurutan (x, y) dengan pasangan yang tidak berurutan {x, y} (set), maka informasi secara teoritis, perbedaannya hanya satu bit, karena apakah x lebih dulu atau y membutuhkan tepat satu bit untuk diwakili. Jadi, jika kita diberikan satu set {x, y} di mana x, y adalah dua...
Sebuah artikel yang disebut Derivatif Tipe Reguler adalah Tipe Konteks Satu Lubangnya menunjukkan bahwa "ritsleting" suatu tipe — konteks satu lubangnya — mengikuti aturan diferensiasi dalam aljabar jenis. Kita
Saya mencari struktur data yang akan mendorong keluar elemen terlama / terakhir jika elemen baru dimasukkan. Sebagai contoh, biarkan Dmewakili struktur. Dberisi 3 elemen dari Number Dnilai default tipe akan diinisialisasi ke 1, 2dan 3. D = [ 1 , 2 , 3 ]D=[1,2,3]D = [1, 2, 3] Jika a Numberyang...
Operator perbedaan set (misalnya, EXCEPTdalam beberapa varian SQL) adalah salah satu dari banyak operator dasar aljabar relasional. Namun, ada beberapa database yang tidak mendukung operator perbedaan set secara langsung, tetapi yang mendukung LEFT JOIN(semacam gabungan luar), dan dalam praktiknya...
Banyak referensi sistem operasi mengatakan bahwa dengan multitasking kooperatif (berlawanan dengan preemptive), sebuah proses menjaga CPU sampai secara eksplisit secara sukarela menangguhkan dirinya. Jika proses yang berjalan melakukan permintaan I / O yang tidak dapat segera dipenuhi (mis.,...
Saya memulai penelitian bibliografi pribadi tentang algoritme pemeriksaan-jenis dan ingin beberapa kiat. Apa saja algoritma pengecekan tipe, strategi dan teknik umum yang paling umum digunakan? Saya khususnya tertarik pada algoritma pemeriksaan tipe kompleks yang diimplementasikan dalam bahasa...
Saya telah mengerjakan pemrograman dinamis selama beberapa waktu. Cara kanonik untuk mengevaluasi rekursi pemrograman dinamis adalah dengan membuat tabel dari semua nilai yang diperlukan dan mengisinya baris demi baris. Lihat misalnya Cormen, Leiserson et al: "Pengantar Algoritma" untuk...
Ada pengurangan dalam buku Sipser "Pengantar teori komputasi" di halaman 286 dari 3SAT ke masalah jalur Hamilton. Apakah ada pengurangan yang lebih sederhana? Secara sederhana yang saya maksud adalah pengurangan yang akan lebih mudah dipahami (untuk siswa). Apakah ada pengurangan yang...
Saya seorang mahasiswa pascasarjana yang mengambil kursus teori komputasi dan saya memiliki masalah serius dalam memproduksi konten begitu saya diminta. Saya dapat mengikuti buku teks (Pengantar Teori Komputasi oleh Michael Sipser) dan kuliah; namun ketika diminta untuk membuktikan sesuatu atau...
Profesor kami meminta kami untuk memikirkan fungsi dalam OCaml yang memiliki tipe 'a -> 'b yaitu fungsi dari satu argumen yang bisa berupa apa saja, dan yang dapat mengembalikan apa pun yang berbeda. Saya berpikir untuk menggunakan raisefungsi yang mengabaikan argumennya: let f x = raise...
Dalam Algoritma Hromkovič untuk Masalah Sulit (edisi ke-2) ada teorema ini (2.3.3.3, halaman 117): Ada masalah keputusan (decidable) sehingga untuk setiap algoritma A yang memecahkan P ada algoritma lain A ′ yang juga memecahkandan juga memenuhiPPPAAAPPPA′A′A'PPP