Ilmu Komputer

Saya baru saja mulai membaca tentang teori perhitungan. Jika kita membandingkan mana yang lebih kuat (dalam menerima string), keduanya sama. Tetapi bagaimana dengan efisiensi? DFA akan lebih cepat dibandingkan dengan NFA, karena hanya memiliki satu tepi keluar & tidak akan ada ambiguitas. Tetapi dalam kasus NFA kita harus memeriksa semua …

13 finite-automata  efficiency  nondeterminism 

Apakah ada struktur yang kuat dalam Permainan Kehidupan Conway ? Misalnya, apakah ada yang membuat pesawat ruang angkasa dengan perisai yang menyerap semua osilator kecil dan glider yang bertabrakan dengannya?

13 cellular-automata 

Ketika melakukan kalkulus mental, seseorang dapat melakukannya: Dengan bilangan bulat k, jumlahkan semua digit (pada basis 10), dan jika hasilnya kelipatan 3, maka k adalah kelipatan 3. Apakah Anda tahu ada algoritma yang bekerja sama tetapi beroperasi pada digit angka biner (bit)? Pada awalnya, saya berpikir untuk menggunakan fungsi siap …

13 algorithms 

Ini adalah posting pertama saya setelah menjadi pengguna pasif untuk beberapa waktu sekarang. Saya ingin mengajukan beberapa pertanyaan jika saya bisa. Saya bukan ahli matematika tetapi pertanyaan saya berhubungan dengan bidang matematika / ilmu komputer. Secara khusus, masalah P vs NP. Saya sadar bahwa ini adalah masalah yang belum dapat …

13 complexity-theory  p-vs-np 

Bruinier dan Ono telah menemukan formula aljabar untuk fungsi partisi , yang secara luas dilaporkan sebagai terobosan. Saya tidak dapat memahami makalah ini, tetapi apakah ia memiliki konsekuensi algoritmik untuk penghitungan cepat fungsi partisi?

13 algorithms  complexity-theory  number-theory 

Saya mencari algoritma O (V + E) untuk menemukan reduksi transitif yang diberikan DAG. Yaitu menghapus sebanyak mungkin tepi sehingga jika Anda dapat mencapai v dari Anda, untuk v dan Anda sewenang-wenang, Anda masih dapat mencapai setelah menghilangkan tepi. Jika ini adalah masalah standar, tunjukkan saya solusi model.

13 algorithms  graphs  dag 

Saya bertanya-tanya apakah seseorang tahu asal model server klien. Dari mana asal istilah (kertas, aplikasi perangkat lunak, buku)?

13 terminology  reference-request  distributed-systems  history 

Ada banyak bahasa populer. Tetapi, para ilmuwan komputer memberi tahu kita bahwa untuk memahami perilaku program dalam bahasa-bahasa itu dengan jelas dan jelas mendebatkan perilaku program (misalnya membuktikan identitas mereka), kita perlu menerjemahkannya ke bahasa lain yang dipahami dengan baik. Mereka menyebut bahasa itu "semantik". Penulis mengusulkan satu dari banyak …

13 formal-languages  semantics 

Jika kita menganggap pohon sebagai set perintah parsial, itu menjadi kasus khusus join-semilattice. Untuk join-semilattice, kami ingin dapat menghitung batas (paling unik) dari dua elemen (lebih atau kurang) secara efisien. Dalam kasus pohon, struktur data yang akan memungkinkan ini adalah untuk menyimpan untuk setiap elemen dalam simpul yang sesuai pointer …

13 data-structures  lattices 

Harap pertimbangkan loop bertingkat tiga berikut: for (int i = 1; i <= n; ++i) for (int j = i; j <= n; ++j) for (int k = j; k <= n; ++k) // statement Pernyataan di sini dijalankan dengan tepat n(n+1)(n+2)6n(n+1)(n+2)6n(n+1)(n+2)\over6 kali. Bisakah seseorang tolong jelaskan bagaimana formula ini …

13 algorithms  time-complexity  algorithm-analysis 

Prediktor Naif Bayes membuat prediksi menggunakan rumus ini: P(Y=y|X=x)=αP(Y=y)∏iP(Xi=xi|Y=y)P(Y=y|X=x)=αP(Y=y)∏iP(Xi=xi|Y=y)P(Y=y|X=x) = \alpha P(Y=y)\prod_i P(X_i=x_i|Y=y) di mana adalah faktor normalisasi. Ini membutuhkan estimasi parameter dari data. Jika kita melakukan ini dengan smoothing, maka kita mendapatkan estimasiP ( X i = x i | Y = y ) kαα\alphaP( Xsaya= xsaya| Y= y)P(Xsaya=xsaya|Y=y)P(X_i=x_i|Y=y)kkk …

13 machine-learning  probability-theory  statistics 

Saya telah menerapkan jenis topologi berdasarkan artikel Wikipedia yang saya gunakan untuk resolusi dependensi, tetapi mengembalikan daftar linier. Algoritma apa yang dapat saya gunakan untuk menemukan jalur independen?

13 algorithms  graphs  parallel-computing  scheduling 

Saya membaca tentang nomor berang-berang yang sibuk dan bagaimana mereka tumbuh secara asimptotik lebih besar daripada fungsi yang dapat dihitung. Kenapa begitu? Apakah ini karena ketidaksesuaian fungsi berang-berang yang sibuk? Jika demikian, apakah semua fungsi yang tidak dapat dikomputasi tumbuh secara asimptotik lebih besar dari yang dapat dikomputasi? Edit: Jawaban …

13 computability  asymptotics 

Saya telah mengajukan pertanyaan serupa di cstheory.SE . Menurut jawaban ini pada Stackoverflow ada algoritma yang pada bahasa pemrograman fungsional murni non-malas memiliki kompleksitas , sedangkan algoritma yang sama dalam pemrograman imperatif adalah Ω ( n ) . Menambahkan kemalasan ke bahasa FP akan membuat algoritma Ω ( n ) …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

Pertimbangkan versi masalah Clique berikut ini di mana input berukuran dan kami diminta untuk menemukan klik ukuran . Batasannya adalah prosedur pengambilan keputusan tidak dapat mengubah grafik input menjadi representasi lain dan tidak dapat menggunakan representasi lain untuk menghitung jawabannya, selain bit tambahan di luar grafik input. Bit tambahan dapat …

13 complexity-theory  time-complexity