Ilmu Komputer

Saya sering mendengar frasa seperti 'semantik konkurensi sejati' dan 'kesetaraan konkurensi sejati' tanpa referensi. Apa arti istilah-istilah itu dan mengapa itu penting? Apa saja contoh kesetaraan konkurensi yang sebenarnya dan apa perlunya bagi mereka? Misalnya dalam kasus mana mereka lebih berlaku daripada lebih banyak persamaan standar (bisimulasi, jejak kesetaraan, dll)?

28 terminology  reference-request  concurrency 

Ditulis di Wikipedia bahwa "... jenis seleksi hampir selalu mengungguli jenis gelembung dan jenis gnome." Adakah yang bisa menjelaskan kepada saya mengapa pemilihan semacam dianggap lebih cepat daripada semacam gelembung meskipun keduanya memiliki: Kompleksitas waktu kasus terburuk :O ( n2)O(n2)\mathcal O(n^2) Jumlah perbandingan : O ( n2)O(n2)\mathcal O(n^2) Kompleksitas waktu …

28 algorithms  runtime-analysis  efficiency  sorting 

Kami tahu post-order, post L(x) => [x] post N(x,l,r) => (post l) ++ (post r) ++ [x] dan pre-order pre L(x) => [x] pre N(x,l,r) => [x] ++ (pre l) ++ (pre r) dan resp traversal berurutan. sekuensialisasi. in L(x) => [x] in N(x,l,r) => (in l) ++ [x] ++ …

28 algorithms  binary-trees 

Saya mencoba memahami metode pengelompokan. Apa yang saya pikir saya mengerti: Dalam pembelajaran terawasi, data kategori / label yang ditetapkan diketahui sebelum perhitungan. Jadi, label, kelas atau kategori sedang digunakan untuk "mempelajari" parameter yang benar-benar signifikan untuk cluster tersebut. Dalam pembelajaran tanpa pengawasan, kumpulan data ditugaskan ke segmen, tanpa diketahui …

28 machine-learning  data-mining  clustering 

Untuk bahasa biasa L.L.L, misalkan menjadi jumlah kata dalam dengan panjang . Menggunakan bentuk kanonik Jordan (diterapkan pada matriks transisi yang tidak terotomatisasi dari beberapa DFA untuk ), orang dapat menunjukkan bahwa untuk , di mana adalah polinomial yang kompleks dan adalah "nilai eigen" yang kompleks. (Untuk kecil , kami …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

Combinator titik tetap FIX (alias combinator Y) dalam kalkulus lambda (tidak diketik) ( ) didefinisikan sebagai:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Saya mengerti tujuannya dan saya bisa melacak pelaksanaan aplikasinya …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

Diberikan instance dari SAT, saya ingin dapat memperkirakan seberapa sulitnya untuk menyelesaikan instance. Salah satu caranya adalah dengan menjalankan solver yang ada, tetapi jenis itu mengalahkan tujuan memperkirakan kesulitan. Cara kedua mungkin mencari rasio klausa terhadap variabel, seperti yang dilakukan untuk transisi fase secara acak-SAT, tapi saya yakin metode yang …

28 complexity-theory  satisfiability  heuristics 

(Saya seorang siswa dengan latar belakang matematika dan saya ingin tahu bagaimana cara menghitung jumlah jenis pohon biner tertentu.) Melihat halaman Wikipedia untuk Binary Trees , saya perhatikan pernyataan ini bahwa jumlah pohon biner yang berakar berukurannnn akan menjadi Angka Katalan ini : Cn=1n+1(2nn)Cn=1n+1(2nn)C_n = \dfrac{1}{n+1}{2n \choose n} Tetapi saya …

28 combinatorics  binary-trees  discrete-mathematics 

Pertimbangkan grafik terarah. Kami memanggil superstar simpul jika dan hanya jika tidak ada simpul lain yang dapat dijangkau darinya, tetapi semua simpul lainnya memiliki keunggulan terhadap v . Secara formal:vvv vvv \qquad \displaystyle v superstar :⟺outdeg(v)=0∧indeg(v)=n−1 superstar :⟺outdeg(v)=0∧indeg(v)=n−1 \text{ superstar } :\Longleftrightarrow \mathrm{outdeg}(v) = 0 \land \mathrm{indeg}(v) = n-1 dengan …

28 algorithms  graphs 

Saya memiliki satu set pasangan. Setiap pasangan berbentuk (x, y) sedemikian rupa sehingga x, y milik bilangan bulat dari kisaran [0,n). Jadi, jika n adalah 4, maka saya memiliki pasangan berikut: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Saya sudah memiliki pasangan. Sekarang, saya harus membangun kombinasi menggunakan n/2pasangan sehingga tidak …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Apa perbedaan mendasar antara semantik operasional kecil dan besar? Saya mengalami kesulitan memahami apa itu dan motivasi untuk memiliki keduanya.

28 semantics  operational-semantics  small-step-semantics 

Tautan ini menyediakan algoritme untuk menemukan diameter pohon tak berarah menggunakan BFS / DFS . Meringkas: Jalankan BFS pada sembarang simpul dalam grafik, mengingat simpul yang Anda temukan terakhir. Jalankan BFS dari Anda mengingat simpul v yang ditemukan terakhir. d (u, v) adalah diameter pohon. Mengapa ini berhasil? Halaman 2 …

28 algorithms  graphs  search-algorithms  trees  graph-traversal 

Saya mengambil kursus kompleksitas dan saya mengalami masalah dengan datangnya pengurangan antara masalah NPC. Bagaimana saya bisa menemukan pengurangan di antara masalah? Apakah ada trik umum yang bisa saya gunakan? Bagaimana saya harus mendekati masalah yang meminta saya untuk membuktikan masalah adalah NPC?

27 complexity-theory  np-complete  proof-techniques  reductions 

Masalah penghentian menyatakan tidak ada algoritma yang akan menentukan apakah program yang diberikan berhenti. Sebagai konsekuensinya, harus ada program yang tidak dapat kami katakan apakah mereka berakhir atau tidak. Apa contoh paling sederhana (paling kecil) dari program semacam itu?

27 computability  turing-machines  halting-problem 

Jika dua orang tersesat dalam labirin, adakah algoritma yang bisa mereka gunakan untuk menemukan satu sama lain tanpa sebelumnya sepakat algoritma apa yang akan mereka gunakan? Saya pikir ada beberapa karakteristik yang dimiliki algoritma ini: Setiap orang harus dapat menurunkannya dengan menggunakan logika yang tidak membuat asumsi tentang apa yang …

27 algorithms  search-algorithms  agent-based-computing