Ilmu Komputer

Matriks gerbang tidak terkontrol terlihat seperti ini: ⎡⎣⎢⎢⎢1000010000010010⎤⎦⎥⎥⎥[1000010000010010]\begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \\ \end{bmatrix} Itu bekerja dengan baik ketika Anda hanya memiliki dua …

9 quantum-computing 

Apakah membalik matriks dalam kelas Complexity ?PP\text{P} Dari runtime saya akan mengatakan ya tetapi matriks terbalik dapat berisi entri di mana ukurannya tidak dibatasi secara polinomi oleh input?O (n3)O(n3)\mathcal{O}(n^3)

9 complexity-theory 

Apakah 2 dalam algoritma 2-aproksimasi berarti solusinya berada dalam 2 * OPT atau OPT / 2?

9 algorithms  algorithm-analysis  np  approximation  polynomial-time 

Katakanlah bahwa daftar didefinisikan sebagai List a = Nil | Cons a (List a) Lalu, di Haskell adalah List xfixpoint terbesar atau paling tidak? Saya bertanya karena lfp harus mengecualikan daftar yang tidak terbatas (tetapi Anda dapat membangunnya di Haskell), sedangkan gfp harus mengecualikan daftar yang terbatas.

9 programming-languages  type-theory  functional-programming  semantics  category-theory 

StackOverflow menunjuk saya ke sini, jadi pertanyaannya mungkin sedikit dalam istilah awam. Wikipedia mendefinisikan fungsi murni sebagai Dalam pemrograman komputer, suatu fungsi dapat digambarkan sebagai fungsi murni jika kedua pernyataan ini tentang fungsi tersebut: Fungsi selalu mengevaluasi nilai hasil yang sama dengan nilai argumen yang sama. Nilai hasil fungsi tidak …

9 terminology  functional-programming  semantics 

Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa tidak akan pernah berhasil karena jika bahasa seperti itu biasa, …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Tampaknya, byte telah menetapkan dirinya menjadi 8bit (apakah itu benar?). RAM dan NOR-flash biasanya dapat diakses pada tingkat yang cukup granular, tetapi terserah arsitektur sistem untuk menentukan apakah unit terkecil yang dapat dialamatkan adalah 8bit, 16bit atau kekuatan lain dari nomor dua bit. Apakah istilah yang tepat untuk menyebut ini …

9 terminology  computer-architecture  memory-management  memory-access 

Saya ingin membuat cara cepat untuk mendeteksi apakah suatu file mungkin atau tidak sama. Untuk kepastian hampir 100% saya akan menggunakan algoritma hash yang ada, misalnya SHA256. Namun, file tersebut diharapkan menjadi file video besar dengan beberapa GB, sehingga menghitung hash SHA256 dapat memakan waktu, terutama melalui jaringan. Karena itu …

9 hash  performance 

Menurut Wikipedia, masalah Set Independen adalah kasus khusus dari masalah Set Packing . Tapi, menurut saya masalah ini setara. Masalah pencarian Set Independen adalah: diberi grafikG ( V, E)G(V,E)G(V,E) dan bilangan bulat nnn, Temukan nnn simpul tidak ada dua yang berdekatan. Masalah pencarian Set Packing adalah: diberi koleksi terbatasCCC set …

9 algorithms  graphs  sets  packing 

Diberi bahasa reguler tak terbatas L.LL, bagaimana saya bisa membuktikannya L.LL dapat dipartisi menjadi 2 bahasa reguler tak terhingga terpisah L.1,L.2L1,L2L_1, L_2? Itu adalah:L.1∪L.2= LL.1∪L.2=L.L_1 \cup L_2 = L, L.1∩L.2= ∅L.1∩L.2=∅L_1 \cap L_2 = \varnothing, dan L.1L.1L_1 dan L.2L.2L_2 keduanya tak terbatas dan teratur. Sejauh ini, saya memikirkan: menggunakan lemma …

9 formal-languages  regular-languages  finite-automata 

Diketahui bahwa logika temporal LTL, CTL, CTL * dapat diterjemahkan / disematkan ke dalam -calculus. Dengan kata lain, (modal) -calculus menggolongkan logika ini, (yaitu lebih ekspresif.)μμ\muμμ\mu Bisakah Anda jelaskan / arahkan saya ke makalah / buku yang menguraikan hal ini. Secara khusus, adakah keadilan konkret, semangat, dll. Sifat-sifat tidak dapat …

9 logic  simulation  linear-temporal-logic  mu-calculus  computation-tree-logic 

Saya mencari makalah yang mudah dan pengantar tentang bukti Teorema Courcelle . Saya juga tertarik dengan hubungannya dengan kompleksitas parameter tentang treewidth . Saya hanya pemula di bidang ini. Ada saran?

9 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity 

Apakah mungkin untuk menggunakan Tipe Tanggungan dalam implementasi Typed Racket yang ada ? (Yaitu apakah mereka ada di dalamnya?) Apakah mungkin untuk menerapkan Sistem Jenis Tanggungan menggunakan Typed Racket?

9 programming-languages  typing  type-checking  dependent-types  lisp 

Saya telah mengimplementasikan jaringan saraf (menggunakan CUDA) dengan 2 lapisan. (2 Neuron per lapisan). Saya mencoba membuatnya belajar 2 fungsi polinomial kuadrat sederhana menggunakan backpropagation . Tetapi alih-alih konvergen, ia menyimpang (output menjadi tak terhingga) Berikut ini beberapa detail tentang apa yang saya coba: Saya telah menetapkan bobot awal ke …

9 machine-learning  artificial-intelligence  neural-networks 

Saya telah membaca beberapa makalah teori bahasa formal, dan saya menemukan istilah yang tidak saya mengerti. Makalah ini akan sering merujuk pada satu set yang "ditutup secara efektif di bawah persimpangan" atau operasi lainnya. Apa arti "efektif" di sini? Apa bedanya dengan penutupan normal? Sebagai referensi, makalah yang saya lihat …

9 formal-languages  terminology  computability  automata  closure-properties