Ilmu Komputer

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 B)

22 logic  propositional-logic 

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 saya adalah: apakah loop do-while memiliki kekuatan komputasi yang sama …

22 programming-languages  turing-completeness  loops  imperative-programming 

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 memiliki setidaknya 7 level. Memang, ≥ 120 menyiratkan jam …

22 algorithms  sorting  lower-bounds 

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 .O(n⋅lg(n))O(n⋅lg⁡(n))O(n\cdot\lg(n)) Kasus terburuk bertukar.O(n)O(n)O(n) Adaptif: Mempercepat hingga ketika data hampir diurutkan atau ketika ada beberapa kunci …

22 algorithms  sorting 

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 algoritma waktu polinomial? Apakah ini NP-hard? Masalah ini pada dasarnya bertanya: …

22 algorithms  optimization  integers 

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 mempertahankan decidability ini, tetapi penambahan lebih lanjut membuat kesimpulan tanpa anotasi tidak dapat …

22 undecidability  type-theory  type-inference  dependent-types 

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 didekompresi mengingat bahwa setiap angka adalah produk …

22 information-theory  data-compression  primes 

Pertanyaan ini dimigrasikan dari Stack Overflow karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 5 tahun yang lalu . Saya masih belajar pemrograman fungsional (dengan f #) dan saya baru-baru ini mulai membaca tentang ekspresi komputasi. Saya masih belum sepenuhnya memahami konsep dan satu hal yang membuat saya tidak …

22 functional-programming 

Apa yang ingin saya lakukan adalah mengubah masalah matematika yang saya miliki menjadi masalah kepuasan boolean (SAT) dan kemudian menyelesaikannya menggunakan SAT Solver. Saya ingin tahu apakah seseorang mengetahui manual, panduan, atau apa pun yang akan membantu saya mengubah masalah saya menjadi instance SAT. Juga, saya ingin menyelesaikan ini lebih …

22 algorithms  reductions  satisfiability 

Saya ingin memulai pertanyaan dengan mengatakan saya seorang programmer, dan saya tidak memiliki banyak latar belakang dalam teori kompleksitas. Satu hal yang saya perhatikan adalah bahwa sementara banyak masalah adalah NP-lengkap, ketika diperluas ke masalah optimasi, beberapa jauh lebih sulit untuk diperkirakan daripada yang lain. Contoh yang baik adalah TSP. …

22 complexity-theory  optimization  np  approximation 

Ketika datang ke desain algoritma, orang sering menggunakan teknik berikut: Pemrograman Dinamis Strategi Serakah Membagi dan menaklukkan Sementara untuk dua metode pertama, ada dasar-dasar teoretis yang terkenal, yaitu Prinsip Optimalitas Bellman dan teori matroid (resp. Greedoid), saya tidak dapat menemukan kerangka kerja umum untuk algoritma berdasarkan D&C. Pertama, saya menyadari …

22 algorithms  reference-request  divide-and-conquer 

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 untuk mengurangi duplikasi pekerjaan. Dengan kata lain, saya memiliki matriks dan …

22 linear-algebra  matrices  program-optimization 

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 Gereja. Kalkulus Lambda sama kuat dan mampu dengan Mesin Turing, …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Dalam membaca jawaban Uday Reddy untuk Apa hubungan antara functors dalam teori SML dan Kategori? Negara bagian Uday Teori kategori belum tahu bagaimana menangani fungsi tingkat tinggi. Suatu hari, itu akan terjadi. Karena saya pikir teori Kategori dapat berfungsi sebagai dasar untuk matematika, maka seharusnya dimungkinkan untuk menurunkan semua fungsi …

22 functional-programming  category-theory 

Diberi tata bahasa bebas konteks G, ada N Nondeterministic Pushdown Automaton yang menerima persis bahasa yang diterima G. (dan sebaliknya) Ada mungkin juga ada sebuah deterministik Pushdown Automaton D yang menerima persis bahasa G menerima juga. Itu tergantung pada tata bahasanya. Dengan algoritma apa pada produksi G kita dapat menentukan …

22 automata  context-free  pushdown-automata