Algorithm

Here, (transpose or edge reversal).

Example. Note that component graph is given a topological numbering!

I left out the computation of the edges D of the component graph (HW).