Ilmu Komputer

Pertimbangkan masalah berikut: Biarkan menjadi subset terbatas dari bilangan asli.S={s1,s2,...sn}S={s1,s2,...sn}S = \{ s_1, s_2, ... s_n \} Biarkan | mana adalah pembagi umum terbesar dari dang c d ( s i , s j )G={G={G = \{ gcd(si,sj)gcd(si,sj)gcd(s_i, s_j)si,sj∈S,si,sj∈S,s_i, s_j \in S, si≠sj}si≠sj} s_i \neq s_j \}gcd(x,y)gcd(x,y)gcd(x,y)xxxyyy Cari elemen maksimum …

9 algorithms  number-theory 

Pertanyaan ini adalah tentang persimpangan teori probabilitas dan kompleksitas komputasi. Satu pengamatan utama adalah bahwa beberapa distribusi lebih mudah dihasilkan daripada yang lain. Misalnya masalah Dengan diberi nomor nnn , kembalikan nomor terdistribusi secara seragam dengan .0 ≤ i &lt; niii0≤i&lt;n0≤i&lt;n0 \leq i < n mudah dipecahkan. Di sisi lain, …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

Menggunakan vektor Earley sebagai pengenal cukup mudah: ketika akhir string tercapai, Anda hanya perlu memeriksa untuk produksi aksiomatik lengkap mulai dari posisi 0. Jika Anda memiliki setidaknya satu, maka string diterima. Menggunakan vektor Earley untuk merekonstruksi pohon parsing kurang jelas. Sebenarnya, saya tidak tahu bagaimana prosedur algoritmik akan bekerja, apalagi …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

Fungsi Boolean adalah fungsi .f: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Boolean basis dikenal sebagai Turing selesai karena memungkinkan urutan s ∈ { 0 , 1 } dibalik atau dibiarkan tidak berubah. Hal yang sama dapat dikatakan untuk gerbang X O R.( ∨ , ∧ )(∨,∧)(\vee,\wedge)s …

9 turing-machines  turing-completeness  boolean-algebra 

Dalam pertanyaan sebelumnya Apa sebenarnya algoritma itu? , Saya bertanya apakah memiliki "algoritma" yang mengembalikan nilai fungsi berdasarkan array nilai yang dihitung adalah algoritma. Salah satu jawaban yang menarik perhatian saya adalah yang ini: Contoh faktorial masuk ke model perhitungan yang berbeda, yang disebut perhitungan tidak seragam. Mesin Turing adalah …

9 turing-machines  computation-models 

Saya melihat masalah berikut: Dengan -vektor dimensi bilangan asli dan beberapa vektor input , apakah kombinasi linear dari dengan koefisien bilangan alami?nnnv1, ... ,vmv1,...,vmv_1, \ldots, v_mkamukamuukamukamuuvsayavsayav_i yaitu apakah ada beberapa mana ?t1,…,tm∈Nt1,…,tm∈Nt_1, \ldots, t_m \in \mathbb{N}u=t1v1+⋯+tmvmu=t1v1+⋯+tmvmu = t_1 v_1 + \dots + t_m v_m Jelas versi bilangan real dari masalah …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

Sebagai bagian dari tugas pekerjaan rumah yang mencakup implementasi introsort saya ditanya mengapa heapsort digunakan daripada algoritma mergesort (atau lainnya dalam hal ini. O ( n log( n ) )O(nlog⁡(n))O(n\log(n)) Introsort adalah algoritma pengurutan hibrida yang memberikan kinerja rata-rata cepat dan (terburuk) kinerja kasus terburuk yang optimal. Ini dimulai dengan …

9 algorithms  algorithm-analysis  sorting 

Kebanyakan dialek Smalltalk saat ini menerapkan modulus apung yang tidak eksak (fmod / sisanya). Saya baru saja mengubah ini untuk meningkatkan Squeak / Pharo dan akhirnya kepatuhan Smalltalk lainnya terhadap standar (IEEE 754, ISO / IEC 10967), seperti yang telah saya lakukan untuk operasi floating point canggih lainnya. Namun untuk …

9 arithmetic  floating-point 

Saat mensimulasikan algoritma penggantian halaman jam, ketika referensi masuk yang sudah ada dalam memori, apakah jarum jam masih bertambah? Berikut ini sebuah contoh: Dengan 4 slot, gunakan algoritma penggantian halaman jam Daftar referensi: 1 2 3 4 1 2 5 1 3 2 4 5 Daftar awal akan terlihat seperti …

9 algorithms  paging  virtual-memory 

Saya mencari jenis algoritma inferensi untuk bahasa yang saya kembangkan, tetapi saya tidak dapat menemukan yang sesuai dengan kebutuhan saya karena biasanya adalah: à la Haskell, dengan polimorfisme tetapi tanpa kelebihan ad-hoc à la C ++ (otomatis) di mana Anda memiliki kelebihan ad-hoc tetapi fungsinya monomorfik Khususnya sistem tipe saya …

9 type-theory  type-inference 

Saya memiliki subset dari jalur sederhana dalam grafik. Panjang jalan dibatasi oleh .ddd Apa cara yang paling ringkas (berdasarkan ingatan) saya dapat mewakili jalur sedemikian rupa sehingga tidak ada jalur lain selain yang dipilih yang diwakili? Perhatikan bahwa saya ingin menggunakan representasi ini dalam algoritme yang akan berulang melalui subset …

9 graphs  data-structures 

Sebuah bahasa formal LLL lebih alfabet ΣΣ\Sigma adalah himpunan bagian dari Σ∗Σ∗\Sigma^* , yaitu, satu set kata-kata di atas alfabet itu. Dua bahasa resmi LLL dan L′L′L' adalah sama, jika sesuai set extensionally sama sebagai subset dari L∪L′L∪L′L\cup L' . Seseorang dapat menggunakan bahasa dalam teori kompleksitas untuk memformalkan konsep …

9 complexity-theory  formal-languages  reference-request 

Saya seorang sarjana baru mulai membaca tentang komputasi reversibel. Saya tahu bahwa, karena prinsip Landauer, perhitungan yang ireversibel menghilangkan panas (dan yang reversibel tidak). Saya membahasnya dengan profesor saya, yang belum pernah mendengar tentang komputasi reversibel sebelumnya, dan dia mengalami kesulitan memahami mengapa teori komputasi reversibel tidak sepele. Maksudnya adalah …

9 computability  reversible-computing 

Saya mencoba mengenali saluran air dari foto udara (katakanlah dari Google Maps). Pemerintah daerah sering memiliki data SIG yang mengatakan di mana saluran air (dan jalan, bangunan dll) berada, tetapi data air di dalamnya seringkali agak tidak akurat, dan kami mungkin dapat memperbaikinya dengan menggunakan citra udara. Jadi kami sudah …

9 image-processing 

Untuk banyak proyek pembelajaran mesin yang kami lakukan, kami mulai dengan pengklasifikasi k Nearest Neighbor. Ini adalah pengklasifikasi awal yang ideal karena kami biasanya memiliki waktu yang cukup untuk menghitung semua jarak dan jumlah parameter terbatas (k, metrik jarak, dan bobot) Namun, ini sering memiliki efek bahwa kita tetap dengan …

9 neural-networks  classification