Directed graphs:
Connectivity with digraphs:
Rt(u) is the set of reachable vertices from u, found after t steps.
steps:
Set t ← 0 and R0(u) ← {u}
Construct set Rt+1(u) ← Rt(u) Uv ∈ Rt(u) Nout(v)
If Rt+1(u) = Rt(u), stop: R(u) ← Rt(u). Else, increment t and repeat step 2.
Orientations