Лес обхода

Лес обхода (Search forest) - для данного обхода [math]\displaystyle{ H }[/math] графа [math]\displaystyle{ G = (X,U) }[/math] такая его часть [math]\displaystyle{ (X,Z) }[/math], что [math]\displaystyle{ Z }[/math] содержит каждое такое ребро [math]\displaystyle{ u \in U }[/math], что среди вершин, расположенных в [math]\displaystyle{ H }[/math] между вершинами [math]\displaystyle{ p = H(i) }[/math] и [math]\displaystyle{ q = H(j) }[/math], где [math]\displaystyle{ i \leq j }[/math] и [math]\displaystyle{ u = (p,q) }[/math], нет вершин, соединенных ребром с вершиной [math]\displaystyle{ H(j) }[/math].

Литература

[Евстигнеев-Касьянов/94]