Как работает алгоритм обхода в глубину (DFS) для определения, является ли одна вершина предком другой?

Алгоритм обхода в глубину (DFS) позволяет проверить, является ли одна вершина дерева предком другой. nsportal.ru

Принцип работы: начиная с некоторой вершины, алгоритм идёт по рёбрам графа, пока не упрётся в тупик. ejudge.lksh.ru Вершина называется тупиком, если в ней нет исходящих рёбер, ведущих в непосещённые вершины. ejudge.lksh.ru

После попадания в тупик алгоритм возвращается назад вдоль пройденного пути, пока не обнаружит вершину, у которой есть исходящие рёбра, ведущие в непосещённые вершины. ejudge.lksh.ru Затем он идёт по одному из таких рёбер. ejudge.lksh.ru

Процесс заканчивается, когда алгоритм возвращается в начальную вершину, а все соседние вершины уже оказались посещёнными. ejudge.lksh.ru

Если после этого остаются непосещённые вершины, то алгоритм повторяет поиск из одной из них. ejudge.lksh.ru Так происходит до тех пор, пока не будут обнаружены все вершины графа. ejudge.lksh.ru nsportal.ru

Вершина является предком другой, когда вторая вершина была обнаружена во время вызова алгоритма из первой. imcs.dvfu.ru В этом случае отрезок обработки второй вершины вложен в отрезок обработки первой. imcs.dvfu.ru