Controls
Speed
State
Phaseidle
Active vertices0
Pushes0
Relabels0
Flow into sink0
Min-cut capacity-
Event Log
Vertices are drawn at a vertical position equal to their height: higher = taller.
The source starts pinned at height
n. Excess (the badge) flows
downhill along admissible edges
(h(u)=h(v)+1). When a vertex is stuck, it is relabeled
(rises). When done, the min-cut edges are highlighted.