Pertanyaan yang diberi tag spanning-trees

Pohon rentang dari graf tak berarah terhubung G adalah pohon yang memiliki semua simpul dan sejumlah sisi G.

12
Mengapa pohon spanning k-problem NP selesai?

Masalah pohon spanning terikat adalah di mana Anda memiliki grafik tidak terarah dan Anda harus memutuskan apakah memiliki spanning tree sedemikian rupa sehingga setiap simpul memiliki derajat paling banyak .kkkG(V,E)G(V,E)G(V,E)kkk Saya menyadari bahwa untuk kasus , ini adalah masalah jalur...

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