Pertanyaan yang diberi tag matroids

Seberapa mendasar matroid dan greedoid dalam desain algoritma?

Awalnya, matroids diperkenalkan untuk menggeneralisasi pengertian kemerdekaan linear dari koleksi himpunan bagian atas beberapa tanah ditetapkan . Masalah-masalah tertentu yang mengandung struktur ini memungkinkan algoritma serakah untuk menemukan solusi optimal. Konsep greedoid kemudian...

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 =>...