// Returns if the graph is a DAG, and set the last_change field of
// each vertex to the maximum number of iterations required to reach
// it
// Returns if the graph is a DAG, and set the last_change field of
// each vertex to the maximum number of iterations required to reach
// it