Ilmu Komputer

Saya telah mempelajari sesuatu tentang Kompleksitas Kolmogorov , membaca beberapa artikel dan buku dari Vitanyi dan Li dan menggunakan konsep Normalized Compression Distance untuk memverifikasi stilometri penulis (mengidentifikasi bagaimana setiap penulis menulis beberapa teks dan dokumen kelompok berdasarkan kesamaan mereka). Dalam hal itu, kompresor data digunakan untuk memperkirakan kompleksitas Kolmogorov, …

22 computability  approximation  data-compression  kolmogorov-complexity 

Menentukan bahasa formal dengan memberikan tata bahasa formal adalah tugas yang sering: kita membutuhkan tata bahasa tidak hanya untuk menggambarkan bahasa, tetapi juga untuk menguraikannya, atau bahkan melakukan sains yang tepat . Dalam semua kasus, penting bahwa tata bahasa yang ada sudah benar , yaitu menghasilkan kata-kata yang diinginkan secara …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Mesin Turing yang kembali ke keadaan sebelumnya dengan kepala baca / tulis pada sel yang sama dari rekaman yang sama akan ditangkap dalam satu lingkaran. Mesin seperti itu tidak berhenti. Bisakah seseorang memberi contoh mesin yang tidak pernah berhenti yang tidak berputar?

22 computability  turing-machines  halting-problem 

Pemrograman fungsional menggunakan struktur data yang persisten dan objek yang tidak dapat diubah. Pertanyaan saya adalah mengapa sangat penting untuk memiliki struktur data di sini? Saya ingin memahami pada level rendah apa yang akan terjadi jika struktur data tidak persisten? Apakah program akan crash lebih sering?

22 data-structures  functional-programming  programming-paradigms  persistent-data-structure 

Biarkan menjadi beberapa grafik lengkap, tertimbang, tidak terarah. Kami membuat grafik kedua dengan menambahkan tepi satu per satu dari ke . Kami menambahkan tepi ke secara total.G ′ = ( V , E ′ ) E E ′ Θ ( | V | ) G ′G = ( V, E)G=(V,E)G=(V,E)G′= …

22 algorithms  graphs  graph-theory  shortest-path 

Saya memahami teori di balik jaringan Bayesian, dan saya bertanya-tanya apa yang diperlukan untuk membangun satu dalam praktik. Katakanlah untuk contoh ini, bahwa saya memiliki jaringan Bayesian (diarahkan) dengan 100 variabel acak diskrit; setiap variabel dapat mengambil satu hingga 10 nilai. Apakah saya menyimpan semua node dalam DAG, dan untuk …

22 data-structures  machine-learning 

Apakah ada bahasa "alami" yang tidak dapat diputuskan? oleh "alami" Maksudku bahasa yang didefinisikan secara langsung oleh properti string, dan bukan melalui mesin dan setara mereka. Dengan kata lain, jika bahasanya mirip mana adalah TM, DFA (atau regular-exp), PDA (atau tata bahasa), dll., Maka itu tidak alami. Namun adalah wajar.L …

22 formal-languages  automata  computability  undecidability 

Mari kita asumsikan bahwa . adalah kelas masalah di yang tidak ada di atau di -hard. Anda dapat menemukan daftar masalah yang diduga sebagai sini .N P I N P P N P N P IP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}N P INPI\mathsf{NPI}N PNP\mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP}NPINPI\mathsf{NPI} Teorema Ladner memberi tahu kita …

22 complexity-theory  np-hard 

Dalam pertanyaan sebelumnya , ada definisi pohon seimbang berat dan pertanyaan tentang pohon merah-hitam. Pertanyaan ini untuk menanyakan pertanyaan yang sama, tetapi untuk pohon AVL . Pertanyaannya adalah, mengingat definisi pohon seimbang seperti dalam pertanyaan lain,μμ\mu Apakah ada beberapa sedemikian rupa sehingga semua pohon AVL cukup besar seimbang?μ > 0μ>0\mu …

22 data-structures  binary-trees  search-trees  balanced-search-trees  avl-trees 

Sudah ada banyak hype tentang kompiler JIT untuk bahasa seperti Java, Ruby, dan Python. Bagaimana kompiler JIT berbeda dari kompiler C / C ++, dan mengapa kompiler ditulis untuk Java, Ruby atau Python disebut kompiler JIT, sedangkan kompiler C / C ++ hanya disebut kompiler?

22 compilers 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya mencari teori matematika yang berhubungan dengan menggambarkan bahasa formal (serangkaian string) secara umum dan bukan hanya hierarki tata bahasa.

22 formal-languages  formal-grammars 

Algoritma pemilahan generik umumnya mengambil satu set data untuk disortir dan fungsi komparator yang dapat membandingkan dua elemen individual. Jika komparator adalah relasi urutan¹, maka output dari algoritma adalah daftar / array yang diurutkan. Saya bertanya-tanya meskipun algoritma semacam apa yang benar-benar akan bekerja dengan komparator yang bukan hubungan urutan …

22 algorithms  randomized-algorithms  sorting 

Menurut halaman ini , algoritma Dijkstra hanyalah BFS dengan antrian prioritas. Apakah sesederhana itu? Saya pikir tidak.

22 algorithms  graphs  shortest-path 

Alfabet sumber:{a,b,c,d,e,f}{a,b,c,d,e,f}\{a, b, c, d, e, f\} Alfabet kode:{0,1}{0,1}\{0, 1\} a:0101a:0101a\colon 0101 b:1001b:1001b\colon 1001 c:10c:10c\colon 10 d:000d:000d\colon 000 e:11e:11e\colon 11 f:100f:100f\colon 100 Saya pikir agar kode dapat didekodekan secara unik, harus bebas awalan. Tetapi dalam kode ini, codeword adalah awalan dari codeword misalnya, sehingga tidak bebas awalan. Namun buku teks …

21 encoding-scheme 

Jadi saya mengerti ide bahwa masalah keputusan didefinisikan sebagai Apakah ada jalur P sehingga biaya lebih rendah dari C? dan Anda dapat dengan mudah memeriksa ini benar dengan memverifikasi jalur yang Anda terima. Namun, bagaimana jika tidak ada jalur yang sesuai dengan kriteria ini? Bagaimana Anda memverifikasi jawaban "tidak" tanpa …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman