Cross edge in depth-first search
= Cross edge in depth-first search
A <directed edge> whose endpoints have no ancestor-descendant relationship in the <depth-first search> forest. Their discovery-to-finishing intervals are disjoint by the <DFS parenthesis property>. Such an edge can connect different completed branches or different search trees.