Pertanyaan yang diberi tag «multicommodity-flow»

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 :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Ini adalah pertanyaan yang agak subyektif. Saya tertarik mempelajari literatur tentang hasil multikommoditas aliran-potong, terutama hasil 'positif' yang menunjukkan bahwa aliran adalah perkiraan yang baik untuk memotong (katakanlah, dalam faktor yang konstan atau polylogaritmik dalam jumlah aliran). Contohnya adalah: 1) Aliran polytope (juga disebut polytope permintaan) untuk aliran multikomoditas dalam …

8 ds.algorithms  approximation-algorithms  approximation-hardness  max-flow-min-cut  multicommodity-flow