directed_graph_cycle