Sudah diketahui bahwa inferensi tipe Hindley-Milner ( -kalkulus yang diketik sederhana dengan polimorfisme) memiliki inferensi tipe yang dapat decidable: Anda dapat merekonstruksi tipe prinsip untuk program apa pun tanpa anotasi apa pun.λλ\lambda Menambahkan typeclasses bergaya Haskell tampaknya...
Mungkin pemahaman saya yang terbatas tentang subjek ini tidak benar, tetapi sejauh ini yang saya mengerti: Pemrograman fungsional didasarkan dari Lambda Calculus, yang dirumuskan oleh Gereja Alonzo. Pemrograman imperatif didasarkan pada model mesin Turing, yang dibuat oleh Alan Turing, siswa...
Di situs web Sorting Algorithms , klaim berikut dibuat: Algoritma pengurutan yang ideal akan memiliki properti berikut: Stabil: Kunci yang sama tidak disusun ulang. Beroperasi di tempat, membutuhkan ruang ekstra.O(1)O(1)O(1) Perbandingan kunci kasus terburuk
Saya baru-baru ini menemukan artikel menarik berikut yang mengklaim secara efisien mengompresi set data acak dengan selalu lebih dari 50%, terlepas dari jenis dan format data. Pada dasarnya ia menggunakan bilangan prima untuk secara unik membangun representasi potongan data 4-byte yang mudah untuk...
Temukan jumlah perbandingan paling sedikit yang diperlukan untuk mengurutkan (memesan) lima elemen dan menyusun algoritma yang mengurutkan elemen-elemen ini menggunakan jumlah perbandingan ini. Solusi : Ada 5! = 120 hasil yang mungkin. Oleh karena itu pohon biner untuk prosedur penyortiran akan...
Pertanyaan: Apakah ada prosedur atau teori yang mapan untuk menghasilkan kode yang secara efisien menerapkan perkalian matriks-vektor, ketika matriks padat dan diisi hanya dengan nol dan satu? Idealnya, kode yang dioptimalkan akan membuat penggunaan sistematis informasi yang dihitung sebelumnya...
Saya tahu bahwa, dalam bahasa pemrograman imperatif, loop sementara-lakukan sudah cukup sebagai konstruk aliran kontrol untuk membuat bahasa Turing-lengkap (sejauh aliran kontrol berlangsung - tentu saja kita juga memerlukan memori tidak terbatas dan operator tertentu ...) . Inti dari pertanyaan...
Pertimbangkan tugas algoritmik berikut: Input: bilangan bulat positif , bersama dengan faktorisasi utamanya Cari: bilangan bulat positif yang meminimalkan , tunduk pada batasan bahwannnx , y, zx,y,zx,y,zx y+ yz+ x zxy+yz+xzxy+yz+xzx yz= nxyz=nxyz=n Apa kompleksitas masalah ini? Apakah ada...
Diberikan grafik berbobot dan tidak terarah G: Kondisi mana yang harus benar sehingga ada beberapa pohon rentang minimum untuk G? Saya tahu bahwa MST itu unik ketika semua bobotnya berbeda, tetapi Anda tidak bisa membalikkan pernyataan ini. Jika ada tepi muliple dengan bobot yang sama dalam...
Saya sedang mempersiapkan wawancara pengkodean dan saya benar-benar tidak tahu cara paling efisien untuk menyelesaikan masalah ini. Katakanlah kita memiliki dua array yang terdiri dari angka yang tidak disortir. Array 2 berisi angka yang tidak dimiliki Array 1. Kedua array memiliki angka lokasi...
Kapan O besar digunakan pertama kali dalam ilmu komputer dan kapan itu menjadi standar? Halaman Wikipedia tentang ini mengutip Knuth, Big Omicron dan Big Omega Dan Big Theta , SIGACT April-Juni 1976, tetapi awal tulisan itu berbunyi Sebagian besar dari kita telah terbiasa dengan gagasan...
Saya ingin tahu apakah ada aturan untuk membuktikan ini. Misalnya, jika saya menggunakan hukum distributif, saya hanya akan mendapatkan .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg
Pertimbangkan jenis induktif yang memiliki beberapa kejadian rekursif di lokasi bersarang, tetapi sangat positif. Sebagai contoh, pohon dengan cabang terbatas dengan node menggunakan struktur data daftar umum untuk menyimpan anak-anak. Inductive LTree : Set := Node : list LTree -> LTree. Cara...
Setahu saya, ada tiga aljabar proses utama yang telah mengilhami berbagai penelitian ke dalam model formal konkurensi. Ini adalah: CCS dan -kalkulus keduanya oleh Robin Milnerππ\pi CSP oleh Tony Hoare dan ACP oleh Jan Bergstra dan Jan Willem Klop Ketiganya tampaknya sampai hari ini memiliki...
Saya tahu bahwa sejak ~ 2004, hukum Moore berhenti bekerja untuk kecepatan clock CPU. Saya mencari grafik yang menunjukkan ini, tetapi saya tidak dapat menemukannya: sebagian besar grafik di luar sana menunjukkan jumlah transistor atau kapasitas per tahun. Di mana saya dapat menemukan beberapa...
Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Dalam skrip yang saat ini saya baca pada kalkulus lambda, kesetaraan beta didefinisikan sebagai ini: The...
Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Apa buku ilmu komputer pemula yang bagus untuk seorang dewasa muda, katakanlah, berusia 15 tahun? Saya
Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya ingin membuktikan atau menyangkal keberadaan suatu algoritma yang, mengingat array dari bilangan
Jika grafik berbobot memiliki dua pohon rentang minimum yang berbeda dan , maka apakah benar bahwa untuk setiap tepi dalam , jumlah tepi dalam dengan jumlah tepi pada dengan bobot yang sama dengan (termasuk sendiri) sama dengan jumlah tepi dalam dengan bobot yang sama dengan ? Jika pernyataan itu...
Saya telah menyelesaikan sebagian besar materi dalam buku Cormen Intro to Algorithms dan saya mencari buku algoritma yang mencakup materi di luar buku Corman. Apakah ada rekomendasi? CATATAN: Saya menanyakan ini pada stackoverflow tetapi tidak terlalu senang dengan jawabannya. CATATAN: Melihat...