A back edge is an edge that points to a block that has already been met during a depth-first (DFS) traversal of the graph. Back edges are typical of loops.
A back edge is an edge that points to a block that has already been met during a depth-first (DFS) traversal of the graph Back edges are typical of loops