Ilmu Komputer

Saya mencari struktur data yang mendukung pencarian kunci yang efisien (misalnya, jarak Levenshtein untuk string), mengembalikan kecocokan terdekat yang mungkin untuk kunci input. Struktur data yang paling cocok yang saya temukan sejauh ini adalah pohon Burkhard-Keller , tapi saya bertanya-tanya apakah ada struktur data lain / lebih baik untuk tujuan …

25 data-structures  strings  efficiency 

Beberapa orang berkata sebagai berikut: Siapa pun yang berusaha menghasilkan angka acak dengan cara deterministik, tentu saja, hidup dalam keadaan berdosa. Itu selalu berarti bahwa Anda tidak dapat menghasilkan angka acak benar hanya dengan komputer. Dan dia mengatakan bahwa ketika komputer adalah ukuran yang setara dengan mikroprosesor Intel 8080 tunggal …

25 randomness  data-compression  entropy  random-number-generator 

Berikut dugaan untuk ekspresi reguler: Untuk ekspresi reguler , biarkan panjang | R | menjadi jumlah simbol di dalamnya, mengabaikan tanda kurung dan operator. Misalnya | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2RRR|R||R||R||0∪1|=|(0∪1)∗|=2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 \cup 1)^*| = 2 Dugaan: …

25 formal-languages  regular-languages  regular-expressions 

Saya bertanya-tanya apakah ada percobaan yang menunjukkan ada atau tidak adanya korelasi antara penggunaan bahasa dinamis (seperti Python, Ruby, atau bahkan bahasa yang berjalan pada platform Java seperti Groovy, Clojure) melalui bahasa statis (seperti C / C ++), dan perbedaan produktivitas.

25 programming-languages  empirical-research  software-engineering 

Saya tidak begitu mengerti mengapa rotasi dalam struktur data splay tree memperhitungkan tidak hanya induk dari simpul penilaian, tetapi juga kakek-nenek (operasi zig-zag dan zig-zig). Mengapa yang berikut ini tidak berfungsi: Ketika kita memasukkan, misalnya, simpul baru ke pohon, kami memeriksa apakah kami memasukkan ke subtree kiri atau kanan. Jika …

25 algorithms  data-structures  binary-trees  search-trees 

Masalah saya adalah bagaimana saya bisa membuktikan bahwa tata bahasa tidak ambigu? Saya memiliki tata bahasa sebagai berikut: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ …

25 context-free  formal-grammars  proof-techniques  ambiguity 

Jelas tidak ada masalah yang tidak dapat dipastikan dalam NP. Namun, menurut Wikipedia : NP adalah himpunan semua masalah keputusan yang contohnya adalah "ya" memiliki [.. bukti yang] dapat diverifikasi dalam waktu polinomial oleh mesin Turing deterministik. [...] Suatu masalah dikatakan dalam NP jika dan hanya jika ada verifikasi untuk …

25 complexity-theory  computability  undecidability  decision-problem 

Anda punya satu koin. Anda dapat membaliknya sebanyak yang Anda inginkan. Anda ingin menghasilkan bilangan acak rrr sehingga a≤r&lt;ba≤r&lt;ba \leq r < b mana .r,a,b∈Z+r,a,b∈Z+r,a,b\in \mathbb{Z}^+ Distribusi angka harus seragam. Mudah jika :b−a=2nb−a=2nb -a = 2^n r = a + binary2dec(flip n times write 0 for heads and 1 for …

25 algorithms  probability-theory  randomness  random-number-generator 

Salah satu hyperparameter untuk jaringan LSTM adalah suhu. Apa itu?

25 machine-learning  neural-networks 

Jika seseorang membangun komputer kuantum universal, akankah hal itu berimplikasi pada masalah P vs NP?

25 complexity-theory  complexity-classes  quantum-computing 

Dengan asumsi P NP, masalah NP-complete adalah "sulit untuk dipecahkan, tetapi memiliki jawaban yang mudah untuk diperiksa." Apakah masuk akal untuk mempertimbangkan yang sebaliknya, yaitu, masalah yang mudah untuk menghitung jawaban yang benar, tetapi sulit untuk memverifikasi solusi yang diakui sewenang-wenang?≠≠\neq Saya pikir masalah seperti itu akan menyiratkan: Secara eksponensial …

25 complexity-theory 

Adakah algoritma yang sangat sulit untuk diparalelkan atau penelitiannya masih aktif? Saya ingin tahu tentang algoritma atau bidang penelitian apa pun dalam komputasi paralel. Apa pun, saya mencari, telah dilakukan implementasi 'paralel'. Hanya ingin melakukan studi pada bidang komputasi paralel yang belum dijelajahi.

24 algorithms  parallel-computing 

Dengan adanya masalah komputasi, apakah tugas menemukan batas bawah untuk perhitungan seperti itu benar-benar mungkin? Saya kira itu bermuara pada bagaimana langkah komputasi tunggal didefinisikan dan model apa yang kita gunakan untuk bukti, tetapi mengingat itu, apakah kita benar-benar membuktikan batas bawah kemudian secara umum? Maksud saya adalah dapatkah kita …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

Apakah semua generator bilangan pseudo-acak akhirnya periodik? Atau apakah mereka berkala pada akhirnya? Secara periodik yang saya maksudkan adalah, seperti bilangan rasional, mereka pada akhirnya menghasilkan urutan periodik ... Dan pseudo-acak berarti generasi algoritmik / matematis angka acak ...

24 randomness  pseudo-random-generators 

Jika saya memiliki beberapa fungsi yang kompleksitas waktunya adalah O ( mn ), di mana m dan n adalah ukuran dari dua inputnya, apakah kita akan menyebut kompleksitas waktunya "linear" (karena linear pada m dan n ) atau "kuadratik" ( karena ini adalah produk dari dua ukuran)? Atau sesuatu yang …

24 terminology  asymptotics  landau-notation