Tarjan's strongly connected components algorithm
 
x
OK