Back edge in depth-first search
ID: back-edge-in-depth-first-search
A directed edge from a vertex to an active ancestor in its depth-first search. Together with the tree path from that ancestor it witnesses a directed cycle.
New to topics? Read the docs here!