Brent's Theorem Part 1

[wt]

To anyone finding the proof for 2:20 non obvious: it can be done by showing there is always a valid partition, and this is one: first topo sort the graph, then assign nodes of same topo rank into one phase.