Дерево доминаторов

Дерево доминаторов (Dominator tree) - корневое ордерево, вершины которого суть вершины исходного графа и в котором дуга [math]\displaystyle{ (v,w) }[/math] существует в том и только том случае, когда [math]\displaystyle{ v }[/math] есть непосредственный обязательный предшественник (доминатор) вершины [math]\displaystyle{ w }[/math].

Другие названия --- Доминаторное дерево, Дерево обязательного предшествования.