Ilmu Komputer

T&J untuk siswa, peneliti, dan praktisi ilmu komputer

4
Cara mengukur "penyortiran"
Saya bertanya-tanya apakah ada cara standar untuk mengukur "pengurutan" array? Apakah array yang memiliki jumlah rata-rata kemungkinan inversi dianggap tidak tersortir secara maksimal? Maksud saya pada dasarnya sejauh mungkin dari yang diurutkan atau dibalik diurutkan.


2
pada "Pada kekejaman yang benar-benar mengajarkan ilmu komputasi"
Dijkstra, dalam esainya Tentang kekejaman yang benar-benar mengajarkan ilmu komputasi , membuat proposal berikut untuk kursus pemrograman pengantar: Di satu sisi, kami mengajarkan apa yang tampak seperti kalkulus predikat, tetapi kami melakukannya sangat berbeda dari para filsuf. Untuk melatih programmer pemula dalam memanipulasi formula yang tidak diinterpretasikan, kami mengajarkannya lebih …


2
Seberapa buruk asimtotis pengocokan naif?
Sudah diketahui umum bahwa algoritma 'naif' ini untuk mengocok array dengan menukar setiap item dengan item yang dipilih secara acak tidak berfungsi dengan benar: for (i=0..n-1) swap(A[i], A[random(n)]); Secara khusus, karena pada masing-masing nnn iterasi, salah satu dari nnn pilihan dibuat (dengan probabilitas seragam), ada nnnnn^n mungkin 'jalur' melalui perhitungan; …



2
Apakah ada peningkatan pada algoritma Dana Angluin untuk mempelajari perangkat reguler
Dalam makalah seminalinya tahun 1987, Dana Angluin menyajikan algoritma waktu polinomial untuk mempelajari DFA dari pertanyaan keanggotaan dan pertanyaan teori (contoh tandingan terhadap proposal DFA). Dia menunjukkan bahwa jika Anda mencoba mempelajari DFA minimal dengan status, dan contoh balasan terbesar Anda adalah panjang , maka Anda perlu membuat kueri keanggotaan …

4
Apa sebenarnya perbedaan semantik antara set dan tipe?
EDIT: Saya sekarang telah mengajukan pertanyaan serupa tentang perbedaan antara kategori dan set. Setiap kali saya membaca tentang teori jenis (yang memang agak informal), saya tidak dapat benar-benar memahami perbedaannya dari teori himpunan, secara konkret . Saya mengerti bahwa ada perbedaan konseptual antara mengatakan "x milik himpunan X" dan "x …
33 type-theory  sets 

2
Bahasa reguler planar
Di kelas saya seorang siswa bertanya apakah semua automata terbatas dapat digambar tanpa melewati batas (sepertinya semua contoh saya lakukan). Tentu saja jawabannya negatif, otomat yang jelas untuk bahasa memiliki struktur , grafik lengkap pada lima node . Yuval telah menunjukkan struktur yang serupa untuk bahasa terkait.{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) …


4
Tentang apa pemrograman dinamis?
Maaf sebelumnya jika pertanyaan ini terdengar bodoh ... Sejauh yang saya tahu, membangun algoritma menggunakan pemrograman dinamis bekerja seperti ini: mengungkapkan masalah sebagai relasi berulang; menerapkan hubungan perulangan baik melalui memoisasi atau melalui pendekatan bottom up. Sejauh yang saya tahu, saya telah mengatakan segalanya tentang pemrograman dinamis. Maksud saya: pemrograman …



3
Akankah perangkat keras / implementasi mempengaruhi kompleksitas waktu / ruang dari algoritma?
Saya bahkan bukan mahasiswa CS, jadi ini mungkin pertanyaan bodoh, tapi tolong bawa saya ... Di era pra-komputer, kita hanya bisa menerapkan struktur data array dengan sesuatu seperti array laci. Karena salah satu harus mencari laci dengan sesuai indeks sebelum penggalian nilai dari itu, kompleksitas waktu array lookup , dengan …

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.