Pertanyaan yang diberi tag priority-queues

15
Heap - Berikan

Kemungkinan besar, pertanyaan ini diajukan sebelumnya. Ini dari masalah CLRS (2nd Ed) 6.5-8 - Berikan algoritma waktu untuk menggabungkanO(nlgk)O(nlg⁡k)O(n \lg k)kkk diurutkan daftar menjadi satu daftar diurutkan, di mana adalah jumlah total elemen dalam semua daftar masukan. (Petunjuk: Gunakan...

11
Inferring type refinement

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...