-
Given a directed graph G = (V,E)
-
k commodities, one for each i ∈ [k]
-
si , ti … source-sink pair
-
ri … flow demanPd to route from si to ti
-
normalise: r = sum^i∈[k] ri = 1
-
Pi … set of paths between si and ti
-
P = ∪i∈[k] Pi
-
ce : [0,1] 7 → R … latency (cost) function of edge e ∈ E
- continuous, non-decreasing, non-negative
-
Total latency or total cost
-
C(f) = Sum fP · cP(f) = sum fe · ce(f)
-
ce = edge latency / cost
-
cp(f) = sum ce(f) path latency
-
Definition (Wardrop equilibrium): A feasible flow f is a Wardrop equilibrium if for every commodity i ∈ [k] and every pair P1,P2 ∈ Pi with fP1 > 0, we have:
cP1(f) ≤ cP2(f)
-
Finding Wardrop Equilibrium
-
get f: f = (f1, f2), with f1 + f2 = 1.
-
cP1(f) = cP2(f)
-
Definition: Marginal Cost
-
ce∗(x) = (x·ce(x))′ = ce(x) + x·ce′(x)
-
cP∗(x)= Sum ce∗(x)
-
Lemma 3.1 (Characterisation of optimal flows): A feasible flow f is optimal if and only if for all commodities i ∈ [k], and paths P1,P2 ∈ Pi with fP1 > 0, we have cP∗ (f) ≤ cP∗ (f).
-
Theorem 3.2 (Wardrop equilibrium vs. Optimum): A feasible flow f is optimal for (G,r,c) if and only if f is a Wardrop equilibrium for (G,r,c∗).
-
Finding Optimal Flow via Wardrop Equilibrium (important)
