Ilmu Komputer

Saya ingin mengurai bahasa khusus domain yang ditentukan pengguna. Bahasa-bahasa ini biasanya dekat dengan notasi matematika (saya tidak menguraikan bahasa alami). Pengguna menentukan DSL mereka dalam notasi BNF, seperti ini: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr Input suka 1 + ( …

20 formal-languages  parsers  compilers 

Ada banyak cara untuk mendefinisikan Kolmogorov-Complexity , dan biasanya, semua definisi ini setara dengan konstanta aditif. Itu adalah jika dan adalah fungsi kompleksitas kolmogorov (didefinisikan melalui berbagai bahasa atau model), maka terdapat konstanta sedemikian rupa sehingga untuk setiap string , . Saya percaya ini karena untuk setiap fungsi kompleksitas Kolmogorov …

20 computability  kolmogorov-complexity 

Pertimbangkan pohon biner yang tidak berlabel dan berakar. Kami dapat kompres pohon seperti: setiap kali ada pointer ke sub pohon dan dengan (menafsirkan kesetaraan struktural), kami menyimpan (wlog) dan mengganti semua pointer ke dengan pointer ke . Lihat jawaban uli sebagai contoh.TTT T = T ′ = T T ′ …

20 algorithms  data-structures  trees  binary-trees 

Menurut Immerman , kelas kompleksitas yang terkait dengan kueri SQL adalah kelas kueri aman di (kueri urutan pertama ditambah operator penghitungan): SQL menangkap kueri aman. (Dengan kata lain, semua kueri SQL memiliki kompleksitas dalam , dan semua masalah di dapat diekspresikan sebagai kueri SQL.)Q ( F O ( C O …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

Saya ingin tahu apakah tipe dikuantifikasi secara universal : adalah sub-tipe, atau kasus khusus, dari tipe dikuantifikasi secara dengan tanda tangan yang sama:T a = ∀ X : { a ∈ X , f : X → { T , F } }TSebuahTSebuahT_aTSebuah= ∀ X: { a ∈ X, f: …

20 logic  type-theory  typing 

Pertimbangkan dua kemungkinan untuk masalah P vs NP: P = NP dan P NP.≠≠\neq Biarkan Q menjadi salah satu masalah NP-hard yang dikenal. Untuk membuktikan P = NP, kita perlu merancang algoritma waktu polinomial tunggal A untuk Q dan membuktikan bahwa A menyelesaikan Q dengan benar. Untuk membuktikan P NP, …

20 complexity-theory  p-vs-np 

Banyak algoritma aliran max yang biasa saya lihat diimplementasikan, algoritma Dinic, push relabel, dan lainnya, dapat meningkatkan biaya waktu asimptotik melalui penggunaan pohon dinamis (juga dikenal sebagai pohon tautan-potong). Relabel dorong berjalan di atau O ( V 3 ) atau O ( V 2 √O ( V2E)HAI(V2E)O(V^2E)O ( V3)HAI(V3)O(V^3)normal, tetapi …

20 reference-request  graphs  data-structures  network-flow 

Pertimbangkan representasi titik tetap yang dapat dianggap sebagai kasus degenerasi angka mengambang. Sangat mungkin untuk menggunakan komplemen 2 untuk angka negatif. Tetapi mengapa bit tanda diperlukan untuk angka floating point, bukankah seharusnya bit mantissa menggunakan komplemen 2's? Juga mengapa bit eksponen menggunakan bias alih-alih representasi bertanda-besaran (mirip dengan bit mantissa) …

20 computer-architecture  floating-point  number-formats 

Seringkali jika kompleksitas memiliki konstanta seperti 3n, kita mengabaikan konstanta ini dan mengatakan O (n) dan bukan O (3n). Saya tidak dapat memahami bagaimana kita bisa mengabaikan perubahan tiga kali lipat seperti itu? Beberapa hal bervariasi 3 kali lebih cepat daripada yang lain! Mengapa kita mengabaikan fakta ini?

20 complexity-theory  asymptotics  landau-notation 

Saya bertanya-tanya bagaimana menemukan ketebalan grafik tidak berarah jarang. Maksud saya, jarang . Maksud saya adalah kompleksitas waktu terendah.|E| =O( | V| )|E|=HAI(|V|)|E|=O(|V|) Saya memikirkan beberapa modifikasi pada algoritma Tarjan untuk grafik yang tidak diarahkan, tetapi saya tidak menemukan hasil yang baik. Sebenarnya saya berpikir bahwa jika saya dapat menemukan …

20 algorithms  time-complexity  graph-theory 

Nah ini pertanyaan umum. Dan jika ada yang ingin membuatnya implementasi spesifik maka saya akan lebih suka hal-hal terkait Unix. Tetapi pertama-tama perlu diketahui masalah berikut secara umum: Saya membaca proses tunggal dapat memiliki beberapa utas. Beberapa utas proses yang sama memang berbagi hal-hal di antara mereka. Saya ingin tahu …

20 operating-systems  threads 

Bahasa assembly diubah menjadi bahasa mesin oleh assembler. Mengapa kompiler akan mengkonversi bahasa tingkat tinggi ke perakitan? Tidak bisakah itu secara langsung mengkonversi dari bahasa tingkat tinggi ke kode mesin?

19 compilers  code-generation  assembly 

Apakah mungkin dan kardinalitas dari sama dengan kardinalitas dari ? Atau apakah berarti bahwa dan harus memiliki kardinalitas yang berbeda?P N P P ≠ N P P N PP ≠ N PP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP}P ≠ N PP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP}

19 complexity-classes  p-vs-np 

Terkadang mudah untuk mengidentifikasi kompleksitas waktu dari sebuah algoritma yang saya teliti dengan cermat. Algoritma dengan dua loop bersarang jelas . Algoritma yang mengeksplorasi semua kemungkinan kombinasi dari N kelompok dari dua nilai yang jelas 2 ^ N .N 2 N 2 NNNNN2N2N^2NNN2N2N2^N Namun saya tidak tahu bagaimana "menemukan" suatu …

19 algorithm-analysis  time-complexity  intuition 

Saya memiliki data nyata yang saya gunakan untuk permainan kartu simulasi. Saya hanya tertarik pada jajaran kartu, bukan jas. Namun itu adalah dek kartu standar sehingga hanya ada dari setiap peringkat yang mungkin di dek. Dek dikocok dengan baik untuk masing-masing tangan, dan kemudian saya output seluruh dek ke file. …

19 data-compression