Pertanyaan yang diberi tag ?reference-request?

Pertanyaan yang meminta makalah dalam literatur tentang masalah spesifik dan sempit.


4
Apa itu rekursi ekor?
Saya tahu konsep umum rekursi. Saya menemukan konsep rekursi ekor sambil mempelajari algoritma quicksort. Dalam video algoritma pengurutan cepat ini dari MIT pada pukul 18:30, profesor mengatakan bahwa ini adalah algoritme rekursif ekor. Tidak jelas bagi saya apa yang dimaksud dengan rekursi ekor sebenarnya. Adakah yang bisa menjelaskan konsep tersebut …


6
Apa gunanya grup, monoid, dan cincin dalam perhitungan basis data?
Mengapa perusahaan seperti Twitter tertarik pada konsep aljabar seperti grup, monoids, dan cincin? Lihat repositori mereka di github: twitter / algebird . Yang bisa saya temukan adalah: Implementasi Monoids untuk algoritme aproksimasi yang menarik, seperti filter Bloom , HyperLogLog , dan CountMinSketch . Ini memungkinkan Anda untuk memikirkan operasi canggih …

2
Quantum lambda calculus
Secara klasik, ada 3 cara populer untuk memikirkan komputasi: Mesin Turing, sirkuit, dan lambda-calculus (Saya menggunakan ini sebagai tangkapan semua untuk sebagian besar tampilan fungsional). Semua 3 cara berbuah untuk berpikir tentang berbagai jenis masalah, dan bidang yang berbeda menggunakan formulasi yang berbeda untuk alasan ini. Ketika saya bekerja dengan …

3
Kasus terburuk di tempat yang stabil?
Saya mengalami kesulitan menemukan sumber daya yang baik yang memberikan kasus terburuk di tempat algoritma penyortiran stabil . Adakah yang tahu sumber daya yang bagus?O(nlnn)O(nln?n)O(n \ln n) Hanya pengingat, di tempat berarti menggunakan array yang diteruskan dan algoritma pengurutan hanya diperbolehkan untuk menggunakan ruang ekstra konstan. Stabil berarti bahwa elemen …

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
Apa yang dimaksud dengan 'konkurensi sejati'?
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)?

1
Asimptotik dari jumlah kata dalam bahasa biasa dengan panjang yang diberikan
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 …


5
Apakah ada filter anti-Bloom?
Sebuah Bloom Filter memungkinkan untuk efisien melacak apakah berbagai nilai telah ditemui selama pengolahan. Ketika ada banyak item data maka filter Bloom dapat menghasilkan penghematan memori yang signifikan di atas tabel hash. Fitur utama dari filter Bloom, yang dibagikan dengan tabel hash, adalah selalu mengatakan "bukan baru" jika suatu item …



1
Bedakan Prosedur Keputusan vs SMT solver vs Theorem prover vs Constraint solver
Terminologi itu membingungkan saya. Seperti yang saya mengerti Pemecah SAT: memutuskan kepuasan logika proposisional (menggunakan DPLL atau Pencarian Lokal). Prosedur pengambilan keputusan adalah prosedur untuk memutuskan kepuasan suatu teori tingkat pertama tertentu yang dapat ditentukan. SMT solver adalah prosedur keputusan SAT solver +. Prover teorema menunjukkan sesuatu seperti Dynamic Logic, …

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.
Judi bola