DirectedCycle DepthFirstOrder Topological