Ilmu Komputer

Menurut Wikipedia : Informal, dari sudut pandang teori informasi algoritma, isi informasi dari string setara dengan panjang mungkin representasi mandiri terpendek dari string. Apa analog definisi ketat informal "informasi yang berguna"? Mengapa "informasi yang berguna" tidak diambil sebagai konsep yang lebih alami atau yang lebih mendasar; naif tampaknya murni string …

16 information-theory  terminology  kolmogorov-complexity 

Saya mencoba untuk membuktikan bahwa tumpukan biner dengan nnn node memiliki tepat ⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceildaun, mengingat bahwa tumpukan dibangun dengan cara berikut: Setiap node baru dimasukkan melalui meresap sampai . Ini berarti bahwa setiap node baru harus diciptakan di anak berikutnya yang tersedia. Apa yang saya maksudkan dengan ini adalah …

16 data-structures  binary-trees 

Perhatikan bahwa ini adalah pertanyaan yang terkait dengan belajar di kursus CS di universitas, BUKAN pekerjaan rumah dan dapat ditemukan di sini di bawah ujian Musim Gugur 20112. Inilah dua pertanyaan yang saya lihat dari ujian sebelumnya. Mereka tampaknya terkait, yang pertama: Membiarkan F Aku N I TEC FG={<G> ∣ …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Sebuah robot yang terbatas deterministik (DFA) adalah model mesin negara yang mampu menerima semua dan hanya bahasa biasa. DFAs dapat (dan biasanya) didefinisikan sedemikian rupa bahwa setiap negara harus menyediakan beberapa transisi untuk semua elemen dari alfabet masukan; dengan kata lain, fungsi transisi harus (total) fungsi.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma …

16 formal-languages  automata  finite-automata 

Ini adalah pertanyaan tindak lanjut dari yang satu ini . Dalam pertanyaan sebelumnya tentang mesin negara eksotis , Alex ten Brink dan Raphael membahas kemampuan komputasi dari jenis mesin negara yang aneh: min-heap automata. Mereka mampu menunjukkan bahwa himpunan bahasa yang diterima oleh mesin tersebut ( ) bukan merupakan himpunan …

16 formal-languages  automata  closure-properties 

Menentukan sewenang-wenang grid 9x9 memerlukan memberikan posisi dan nilai setiap persegi. Sebuah encoding naif untuk ini mungkin memberikan 81 (x, y, nilai) kembar tiga, membutuhkan 4 bit untuk setiap x, y, dan nilai (1-9 = 9 nilai = 4 bit) untuk total 81x4x3 = 972 bit. Dengan penomoran masing-masing persegi, …

16 combinatorics  modelling  information-theory  sudoku 

Saya mencoba untuk datang dengan sebuah sistem yang akan mengevaluasi peraturan bagi suatu organisasi untuk menentukan logika yang mendasari mereka. Saya pikir sistem predikat orde pertama akan berfungsi untuk mewakili aturan, yang dapat diterjemahkan dari teks melalui penandaan bagian-of-speech dan teknik NLP lainnya. Apakah ada cara sistematis untuk menafsirkan aturan …

16 machine-learning  algorithms  pattern-recognition  logic 

Beberapa frontmatter: Saya seorang ilmuwan komputer rekreasi dan insinyur perangkat lunak yang dipekerjakan. Jadi, maafkan jika prompt ini tampaknya agak keluar dari bidang kiri - saya secara rutin bermain dengan simulcra matematika dan membuka masalah ketika saya tidak punya yang lebih baik untuk dilakukan. Saat bermain dengan hipotesis Riemann , …

16 algorithms  reference-request  discrete-mathematics 

Menurut halaman Wikipedia tentang static-single assignment (SSA) , SSA digunakan oleh proyek-proyek besar dan terkenal seperti LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey, dan V8 sedangkan halaman tentang proyek menggunakan gaya kelanjutan-lewat (CPS) agak kurang dibandingkan. Saya berpendapat bahwa CPS lebih disukai oleh kompiler dan interpreter yang menerapkan bahasa fungsional utama …

16 compilers  program-optimization  continuations 

Menurut artikel ini , baris kode Lisp berikut mencetak "Hello world" ke output standar. (format t "hello, world") Lisp, yang merupakan bahasa homoikonik , dapat memperlakukan kode sebagai data dengan cara ini: Sekarang bayangkan kita menulis makro berikut: (defmacro backwards (expr) (reverse expr)) mundur adalah nama makro, yang mengambil ekspresi …

16 programming-languages  functional-programming 

Kita tahu bahwa menghitung aliran arus maksimum. potongan minimum jaringan dengan kapasitas setara; lih. yang max-flow min-cut teorema . Kami memiliki (kurang lebih efisien) algoritma untuk menghitung aliran maksimum, dan menghitung potongan minimum mengingat aliran maksimum juga tidak sulit atau mahal. Tapi bagaimana dengan yang sebaliknya? Diberikan potongan minimum, bagaimana …

16 algorithms  graphs  network-flow 

Combinator Y memiliki tipe . Oleh Korespondensi Curry-Howard, karena jenis ( a → a ) → a dihuni, maka harus sesuai dengan teorema yang benar. Namun a → a selalu benar, jadi sepertinya tipe kombinator Y sesuai dengan teorema a , yang tidak selalu benar. Bagaimana ini bisa terjadi?( a …

16 logic  recursion  type-theory  combinatory-logic  curry-howard 

Ketika mengembangkan algoritma dalam komputasi kuantum, saya perhatikan bahwa ada dua model utama di mana ini dilakukan. Beberapa algoritma - seperti untuk masalah pohon Hamiltonian NAND (Farhi, Goldstone, Guttman) - pekerjaan dengan merancang Hamiltonian dan beberapa keadaan awal, dan kemudian membiarkan berevolusi sistem menurut persamaan Schrödinger untuk beberapa waktu sebelum …

16 algorithms  quantum-computing  computation-models 

Perpotongan bahasa bebas konteks L dengan bahasa reguler M, dikatakan selalu bebas konteks. Saya memahami bukti konstruksi produk silang, tetapi saya masih belum mengerti mengapa ini bebas konteks tapi tidak teratur. Bahasa yang dihasilkan oleh persimpangan semacam itu memiliki string yang diterima baik oleh PDA dan DFA. Karena itu diterima …

16 regular-languages  context-free  finite-automata  formal-grammars 

Saya jadi tahu bahwa unit pemrosesan grafis memiliki sesuatu yang disebut memory coalescing. Saat membacanya saya tidak jelas tentang topiknya. Apakah ini ada hubungannya dengan Memory Level Parallelism. Saya telah mencari di Google tetapi tidak dapat memperoleh jawaban yang memuaskan. Akan sangat membantu jika seseorang memberikan penjelasan yang lebih komprehensif, …

16 terminology  reference-request  computer-architecture  memory-management