Ilmu Komputer

Mengapa perusahaan seperti Twitter tertarik pada konsep aljabar seperti grup, monoids, dan cincin? Lihat repositori mereka di github: twitter / algebird . Yang bisa saya temukan adalah: Implementasi Monoids untuk algoritme aproksimasi yang menarik, seperti filter Bloom , HyperLogLog , dan CountMinSketch . Ini memungkinkan Anda untuk memikirkan operasi canggih …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

Gagasan ini muncul pada saya sebagai seorang anak yang belajar memprogram dan pada awalnya menghadapi PRNG. Saya masih tidak tahu seberapa realistis itu, tapi sekarang ada pertukaran tumpukan. Berikut skema anak berusia 14 tahun untuk algoritma kompresi yang luar biasa: Ambil PRNG dan seed dengan seed suntuk mendapatkan urutan panjang …

38 information-theory  randomness  data-compression  pseudo-random-generators  entropy 

Asumsikan komputer memiliki jam yang tepat yang tidak diinisialisasi. Artinya, waktu pada jam komputer adalah waktu nyata ditambah beberapa offset konstan. Komputer memiliki koneksi jaringan dan kami ingin menggunakan koneksi itu untuk menentukan offset konstan .BBB Metode sederhana adalah bahwa komputer mengirimkan kueri ke server waktu, mencatat waktu lokal . …

38 clocks  distributed-systems  computer-networks 

Kompleksitas algoritma dirancang untuk tidak tergantung pada detail level yang lebih rendah tetapi didasarkan pada model imperatif, mis. Akses array dan memodifikasi sebuah node dalam sebuah pohon membutuhkan waktu O (1). Ini tidak terjadi dalam bahasa fungsional murni. Daftar Haskell membutuhkan waktu linier untuk akses. Memodifikasi sebuah simpul dalam pohon …

38 algorithm-analysis  runtime-analysis  computation-models  functional-programming 

Misalkan sebuah program ditulis dalam dua bahasa yang berbeda, biarkan mereka menjadi bahasa X dan bahasa Y, jika kompiler mereka menghasilkan kode byte yang sama, mengapa saya harus menggunakan bahasa X alih-alih bahasa Y? Apa yang mendefinisikan bahwa satu bahasa lebih cepat dari yang lain? Saya bertanya ini karena sering …

38 programming-languages  compilers 

Saya tahu bagaimana kode faktorial menggunakan iteratif dan rekursif (misalnya n * factorial(n-1)untuk misalnya). Saya membaca dalam sebuah buku teks (tanpa diberi penjelasan lebih lanjut) bahwa ada cara pengkodean yang lebih efisien untuk faktorial dengan membaginya menjadi setengah secara rekursif. Saya mengerti mengapa itu mungkin terjadi. Namun saya ingin mencoba …

38 algorithms  efficiency  arithmetic 

Ringkasan: Menurut teorema Rice, semuanya tidak mungkin. Namun, saya melakukan hal - hal yang dianggap mustahil sepanjang waktu! Tentu saja, teorema Rice tidak hanya mengatakan "semuanya tidak mungkin". Itu mengatakan sesuatu yang lebih spesifik: "Setiap properti dari program komputer tidak dapat dikomputasi." (Jika Anda ingin membagi rambut, setiap properti "non-sepele". …

37 terminology  computability  undecidability  rice-theorem 

Saat ini saya sedang membaca buku (dan banyak wikipedia) tentang fisika kuantum dan saya belum mengerti bagaimana komputer kuantum bisa lebih cepat daripada komputer yang kita miliki saat ini. Bagaimana komputer kuantum dapat memecahkan masalah dalam waktu sub-eksponensial yang hanya dapat diselesaikan oleh komputer klasik dalam waktu eksponensial?

37 quantum-computing 

Mari kita sebut bahasa bebas konteks deterministik jika dan hanya jika itu dapat diterima oleh otomat push-down deterministik, dan sebaliknya tidak deterministik. Mari kita sebut bahasa bebas konteks secara inheren ambigu jika dan hanya jika semua tata bahasa bebas konteks yang menghasilkan bahasa ambigu, dan tidak ambigu sebaliknya. Contoh bahasa …

36 formal-languages  automata  formal-grammars  pushdown-automata 

Saya membaca di banyak tempat bahwa beberapa masalah sulit untuk diperkirakan ( sulit untuk memperkirakannya ). Tetapi pendekatan bukanlah masalah keputusan: jawabannya adalah bilangan real dan bukan Ya atau Tidak. Juga untuk setiap faktor perkiraan yang diinginkan, ada banyak jawaban yang benar dan banyak yang salah, dan ini berubah dengan …

36 complexity-theory  time-complexity  np-hard  approximation 

Apa yang akan menjadi pengantar terbaik untuk ide-ide Per Martin-Löfs tentang teori tipe? Saya telah melihat beberapa ceramah dari sekolah musim panas Oregon PL, tetapi saya masih agak bingung dengan pertanyaan berikut: Apa itu tipe? Saya tahu apa itu himpunan, karena Anda dapat mendefinisikannya dengan aksioma ZF biasa dan mereka …

36 logic  type-theory 

Permintaan maaf mungkin karena mengajukan pertanyaan lain tentang prasyarat, tapi saya bingung tentang poin awal. Saya telah menemukan berbagai istilah seperti "Modal Logika", "Logika temporal", "Logika Orde Pertama", "Logika Orde Kedua", dan "Logika Orde Tinggi". Apa sebenarnya arti "Logika" dalam konteks ini? Bagaimana kita secara ketat mendefinisikan kata "Logika"? Setelah …

36 logic  mathematical-foundations 

Saya telah melihat ke dalam matematika di balik konversi dari basis apa pun ke basis apa pun. Ini lebih tentang mengonfirmasi hasil saya daripada apa pun. Saya menemukan apa yang tampaknya menjadi jawaban saya di mathforum.org tetapi saya masih tidak yakin apakah saya benar. Saya memiliki konversi dari basis yang …

36 algorithms  arithmetic  number-formats 

Asumsikan saya memiliki daftar fungsi, misalnya nloglog( n ), 2n, n ! , n3, n lnn , ...nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Bagaimana cara saya mengurutkannya asimptotik, yaitu setelah relasi didefinisikan oleh f≤HAIg⟺f∈ O ( g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , dengan …

35 asymptotics  landau-notation  reference-question 

Saya mengerti bahwa "struktur" data sepenuhnya tergantung pada Aljabar Boolean, tetapi: Mengapa data dianggap sebagai entitas matematika yang terpisah dan bukan yang berkelanjutan? Terkait dengan ini: Apa kelemahannya, atau invarian, yang dilanggar dalam menyusun data sebagai entitas berkelanjutan dalam dimensi ?rrr Saya bukan ahli di bidang ini karena saya seorang …

35 data-structures  mathematical-foundations