Ilmu Komputer

Pertimbangkan masalah berikut: Input : daftar X,YX,YX,Y bilangan bulat Sasaran : menentukan apakah ada bilangan bulat xxx yang ada di kedua daftar. Misalkan kedua daftar X,YX,YX,Y ukuran Y adalah nnn . Apakah ada algoritma deterministik, linear-waktu untuk masalah ini? Dengan kata lain, dapatkah Anda menyelesaikan masalah ini dalam waktu O(n)O(n)O(n) …

9 algorithms  complexity-theory  lower-bounds 

Saya ingin mengutip dari Nielsen & Chuang, Komputasi Quantum dan Informasi Quantum, edisi ulang tahun ke 10, halaman 5 (penekanan pada saya): Satu kelas tantangan untuk tesis Gereja-Turing yang kuat berasal dari bidang perhitungan analog. Pada tahun-tahun sejak Turing, banyak tim peneliti yang berbeda telah memperhatikan bahwa beberapa jenis komputer …

9 computation-models  church-turing-thesis 

Bagaimana kami dapat memastikan bahwa kami terus membuat pernyataan yang kuat dan valid tentang kelas kompleksitas ketika menggunakan Mesin Turing oracle? Menurut pemahaman saya (berdasarkan definisi yang diberikan dalam buku teks pengantar tentang subjek) mesin oruring Turing dapat menentukan status keanggotaan string sehubungan dengan bahasa oracle dalam satu langkah perhitungan. …

9 complexity-theory  oracle-machines 

Saat ini saya sedang belajar untuk ujian ilmu komputer, dan saya telah menemukan sebuah konsep yang membuat saya agak bingung. Ketika seseorang mengetik tombol pada keyboard, karakter ASCII ditransmisikan ke CPU. Setelah penerimaan karakter ini, CPU menampilkan karakter yang sama ke layar. Proses ini disebut echoing. Alih-alih melibatkan CPU, mengapa …

9 computer-architecture  operating-systems  user-interface 

Katakanlah saya memiliki grafik jarang hingga tidak terarah, dan harus dapat menjalankan kueri berikut secara efisien: sayas Co n n e c t e d( N1, N2)sayasCHainnected(N1,N2)IsConnected(N_1, N_2) - mengembalikan jika ada jalur antara dan , jika tidakN 1 N 2 FTTTN1N1N_1N2N2N_2FFF Co n n e c t e dNo …

9 algorithms  graph-theory  graphs  data-structures 

Adakah yang bisa menjelaskan kepada saya apa sebenarnya yang tidak diketahui RAM itu? Saya menemukan penjelasan berikut yang membuatnya agak jelas bagi saya, tetapi saya ingin memahami aspek teknis: Enkripsi tidak selalu cukup untuk memastikan privasi. Jika musuh dapat mengamati pola akses Anda ke penyimpanan terenkripsi, mereka masih dapat mempelajari …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

Valiant & Vazirani membuktikan bahwa SAT dapat direduksi menjadi SAT UNIK di bawah pengurangan probabilistik acak dalam waktu polinomial. Calabro et al . menunjukkan bahwa UNIK k-SAT sama sulitnya dengan k-SAT. Sekarang pertanyaannya adalah, jika seseorang menunjukkan bahwa UNIK k-SAT ada di P, apakah itu menyiratkan P = NP? Referensi …

9 complexity-theory  satisfiability  p-vs-np 

Meskipun saya bekerja sebagai programmer dalam kehidupan sehari-hari saya dan menggunakan semua bahasa yang trendi (Python, Java, C, dll) saya masih tidak memiliki pandangan yang jelas tentang apa itu pemrograman fungsional. Dari apa yang saya baca, salah satu properti bahasa fungsional adalah bahwa struktur data tidak dapat diubah . Bagi …

9 data-structures  functional-programming 

Ketika memperbarui bobot jaringan saraf menggunakan algoritma backpropagation dengan istilah momentum, haruskah tingkat pembelajaran diterapkan pada istilah momentum juga? Sebagian besar informasi yang dapat saya temukan tentang menggunakan momentum memiliki persamaan yang terlihat seperti ini: W′i=Wi−αΔWi+μΔWi−1Wi′=Wi−αΔWi+μΔWi−1W_{i}' = W_{i} - \alpha \Delta W_i + \mu \Delta W_{i-1} di mana adalah tingkat …

9 machine-learning  neural-networks 

Misalkan kita diberi koleksi string, . Saya ingin tahu apakah salah satu dari string tersebut adalah substring dari string lain dalam koleksi. Dengan kata lain, saya ingin algoritma untuk tugas berikut:nnnS1,…,SnS1,…,SnS_1,\dots,S_n Input:S1,…,SnS1,…,SnS_1,\dots,S_n Output: sehingga adalah substring dari S_j dan i \ ne j , atau None jika tidak ada i, …

9 algorithms  strings  efficiency  substrings 

@ Babou menjawab pertanyaan terakhir mengingatkan saya bahwa pada suatu waktu saya pikir saya membaca makalah tentang kesetaraan (dalam hal kedua fakta yang dapat disimpulkan atau dibuktikan dan kompleksitas waktu menjalankan algoritma inferensi) dari analisis aliran data , interpretasi abstrak , dan tipe inferensi . Dalam beberapa sub-kasus (seperti antara …

9 reference-request  compilers  type-inference  program-optimization 

Apakah ada algoritma subquadratic yang diketahui untuk menghitung lantai akar kuadrat dari ninteger bit? Algoritma naif akan menjadi sesuatu seperti def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc <= x: x -= inc …

9 algorithms  numerical-algorithms 

Saya bertanya-tanya apakah masalah ini memiliki nama: Diberikan grafik sederhana yang ujung-ujungnya berwarna merah, biru dan hijau, , apakah ada pewarnaan simpul sedemikian rupa sehingga setiap sisi memiliki titik akhir dengan warna yang sama?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} Juga, apakah ini dikenal sebagai NP-complete? Ini juga dapat dilihat sebagai kasus khusus …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

Saya sudah berpikir untuk menulis sistem operasi hobi untuk beberapa prosesor ARM. Ada banyak komputer papan tunggal populer dengan ARM MPU, jadi saya hanya ingin membeli salah satunya (memilih satu dengan lebih banyak dokumentasi terbuka). Saya terkejut ketika saya tahu, bahwa bahkan papan dengan memori yang sangat cukup tidak memiliki …

9 operating-systems  memory-management  memory-hardware  os-kernel 

Saya mengikuti latihan berikut dalam Yayasan Perangkat Lunak : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] …

9 coq