Дерево доминаторов: различия между версиями

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

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