Als «multicommodity-flow» getaggte Fragen

4
Ist Eta-Äquivalenz für Funktionen mit Haskells seq-Operation kompatibel?
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen: …
1
Anforderung von Referenzen zu Ergebnissen des Multicommodity Flow-Cut
Dies ist eine etwas subjektive Frage. Ich bin daran interessiert, die Literatur zu Flow-Cut-Ergebnissen mit mehreren Unterkünften zu studieren, insbesondere zu den „positiven“ Ergebnissen, die zeigen, dass Flow eine gute Annäherung an den Cut darstellt (z. B. innerhalb eines Faktors, der in der Anzahl der Flows konstant oder polylogarithmisch ist). …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.