Back edge in depth-first search
= 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>.
= 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>.