EDGE Algorithms
Maximum Flow (Push-Relabel)
› interactive tensor walkthrough
Step through
one Einsum at a time, with every tensor
Compare
the same algorithm, written two ways
Graph
on each edge
F(u,v) / C(u,v)
— flow carried, out of capacity ·
on each node
d=
distance
D(u)
,
e=
excess
E(u)
active vertex (in
Act
)
source
sink
touched this step
stored 0
empty —
what empty means is per tensor
, so every grid carries its declared value as
∅
0
,
∅
+∞
or
∅
false
positive
negative
true
Static tensors
— no rank I; never change
capacity
⇄ before / after
Graph meaning
Einsum meaning
How this Einsum executes
How this value is computed
Generational tensors
— have rank I; carry state across iterations
⏮
◀
▶ play
▶
⏭
next iteration ⇥
speed
⏮
◀
▶ play
▶
⏭