Ilmu Komputer

Saya mengerti bahwa angka Gereja terlihat seperti (... n kali ...) . Ini berarti tidak lebih dari "fungsi diterapkan kali ke fungsi ". λ s . λ z . s scncnc_nλ s . λ z. sλs.λz.s\lambda s. \lambda z. ss n zszszs\;zsssnnnzzz Definisi yang mungkin dari fungsi adalah sebagai berikut: …

10 lambda-calculus  church-numerals 

Pertimbangkan model CSP di mana mengubah nilai variabel tertentu itu mahal. Apakah ada pekerjaan di mana fungsi objektif juga mempertimbangkan jumlah perubahan nilai variabel selama proses pencarian? Contoh: Variabel mahal-untuk-perubahan mungkin ada dalam kendali beberapa agen lain dan ada beberapa biaya tambahan yang melibatkan agen tersebut untuk mengubah variabel. Contoh …

10 algorithms  constraint-programming 

Diberikan bilangan bulat dan himpunan kembar tiga bilangan bulat yang berbeda cari algoritma yang dapat menemukan permutasi dari set sedemikian rupa sehingga atau dengan tepat menentukan bahwa tidak ada permutasi yang ada. Kurang formal, kami ingin menyusun ulang angka 1 hingga ; setiap rangkap tiga dalam menunjukkan bahwa harus muncul …

10 algorithms  optimization  scheduling 

Saya memiliki masalah algoritmik berikut: Tentukan ruang Turing kompleksitas mengenali string DNA yang merupakan palindrom Watson-Crick. Palindrom Watson-Crick adalah string yang pelengkap terbalik adalah string asli. The pelengkap didefinisikan surat-bijaksana, terinspirasi oleh DNA: A adalah komplemen dari T dan C adalah komplemen dari G. Contoh sederhana untuk WC-palindrom adalah ACGT. …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

Dalam pelacak sinar putih, setiap persimpangan objek-sinar menghasilkan sinar yang ditransmisikan (jika objek itu tembus cahaya), sinar pantulan dan bayangan. Sinar bayangan berkontribusi pada komponen pencahayaan langsung. Tetapi apa yang terjadi jika bayangan sinar memotong objek transparan? Apakah komponen pencahayaan langsung diabaikan? Bagaimana menyebarkan objek yang terendam dalam air jika …

10 graphics 

Saya penasaran. Saya telah mengerjakan tipe data ini di OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Yang dapat dimanipulasi menggunakan fungsi rekursif yang diketik secara eksplisit (fitur yang telah ditambahkan baru-baru …

10 logic  programming-languages  coq  inductive-datatypes 

Dalam teori pengkodean, 'seberapa bagus suatu kode' berarti berapa banyak kesalahan saluran dapat diperbaiki, atau lebih baik, tingkat kebisingan maksimal yang dapat ditangani oleh kode tersebut. Untuk mendapatkan kode yang lebih baik, kode dirancang menggunakan alfabet besar (bukan biner). Dan kemudian, kodenya bagus jika dapat menangani tingkat besar "simbol" yang …

10 information-theory  coding-theory 

OK, jadi inilah pertanyaan dari tes sebelumnya di kelas Teori Komputasi saya: Keadaan tidak berguna di TM adalah yang tidak pernah dimasukkan pada string input apa pun. Biarkan Buktikan bahwa tidak dapat ditentukan.USELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in M}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, q \rangle …

10 computability  undecidability  formal-methods  turing-machines 

Mari adalah himpunan terminal dan himpunan simbol non-terminal dari beberapa bebas konteks tata bahasa .ΣΣ\SigmaNNNGGG Katakanlah saya memiliki string sedemikian rupa sehingga mana dan adalah bentuk sentensial .a∈(Σ∪N)+a∈(Σ∪N)+a \in (\Sigma \cup N)^+xay∈S(G)xay∈S(G)x a y \in \mathcal{S}(G)x,y∈(Σ∪N)∗x,y∈(Σ∪N)∗x,y\in (\Sigma \cup N)^*S(G)S(G)\mathcal{S}(G)GGG Diberikan , saya ingin menentukan himpunan .GGGC={b∣wabz∈S(G),b∈Σ∪N}C={b∣wabz∈S(G),b∈Σ∪N}C = \{ b \mid …

10 algorithms  context-free  formal-grammars  compilers 

Saya mencoba memahami apa yang salah dengan bukti pengulangan berikut T(n)≤2(c⌊nT(n)=2T(⌊n2⌋ ) +nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq 2\left(c\left\lfloor\frac{n}{2}\right\rfloor\right)+n \leq cn+n = n(c+1) =O(n) Dokumentasi mengatakan itu salah karena hipotesis induktif bahwa Apa yang saya lewatkan?T( n ) ≤ c nT(n)≤cn T(n) \leq cn

10 algorithms  landau-notation  asymptotics  recurrence-relation 

Dalam Matching Stabil Soal , dinyatakan bahwa ada dapat ada kasus di mana daftar orang bisa puas dengan keputusan mereka, namun daftar tidak dapat ketika algoritma dijalankan dengan proposal pria.mmmfff Dari apa yang saya baca, kecocokan yang tidak stabil terjadi ketika dan lebih suka satu sama lain dengan pasangan mereka …

10 combinatorics 

Awalnya pada matematika. SE tetapi tidak dijawab di sana. Pertimbangkan algoritma berikut. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; …

10 algorithms  loop-invariants  correctness-proof 

Penjadwalan dua tingkat berguna ketika sistem menjalankan lebih banyak proses daripada yang sesuai dengan RAM: penjadwal tingkat rendah beralih antara proses penduduk, dan penjadwal tingkat yang lebih tinggi menukar kelompok proses masuk dan keluar. Saya tidak menemukan penyebutan dua tingkat lain dalam Sistem Operasi Andrew Tanenbaum : Desain dan Implementasi …

10 operating-systems  process-scheduling 

Seperti yang ada saat ini, pertanyaan ini tidak cocok untuk format Tanya Jawab kami. Kami berharap jawaban didukung oleh fakta, referensi, atau keahlian, tetapi pertanyaan ini kemungkinan akan mengundang debat, argumen, polling, atau diskusi panjang. Jika Anda merasa bahwa pertanyaan ini dapat diperbaiki dan mungkin dibuka kembali, kunjungi pusat bantuan …

10 education 

Dalam jaringan komputer dan desain komputer cluster berkinerja tinggi, topologi jaringan mengacu pada desain cara node terhubung oleh tautan untuk membentuk jaringan komunikasi. Topologi jaringan umum meliputi jala, torus, cincin, bintang, pohon, dll. Topologi ini dapat dipelajari secara analitis untuk menentukan properti yang terkait dengan kinerja yang diharapkan; karakteristik tersebut …

10 computer-networks  network-topology