EDGE Algorithms

Maximum Flow (Push-Relabel)  ›  the sequential cascade

The same 24 Einsums as the parallel cascade, plus one. SEL picks a single active vertex; E07 reads Sel where the parallel version reads Act; E20 is gated by Sel. Those three are marked changed as you step. Everything else is identical — which is the point: parallelism here is one Einsum.

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) sourcesink touched this step
stored 0 empty — what empty means is per tensor, so every grid carries its declared value as ∅ 0, ∅ +∞ or ∅ false positivenegative true

Static tensors — no rank I; never change

capacity