Pertanyaan yang diberi tag graph-theory

15
Mempertahankan pesanan dalam daftar dalam dalam waktu

Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete:...

14
Memukul siklus aneh

Adakah yang diketahui tentang masalah berikut? Apakah itu masuk akal? Disebut apakah itu? Apakah ini sepadan dengan beberapa masalah lain? Apa kompleksitas waktu? Diberikan grafik (umum / planar / terikat-derajat / dll.) G = (V, E), temukan subset maksimum tepi E ', sedemikian sehingga G' = (V,...

14
Apakah eta-equivalence untuk fungsi-fungsi yang kompatibel dengan operasi seq Haskell?

Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: a -> b...