Аноним

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

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


Другие названия --- ''Доминаторное дерево, Дерево обязательного предшествования''.
Другие названия --- ''[[Доминаторное дерево]], [[Дерево обязательного предшествования]]''.
==Литература==
==Литература==
[Ахо-Хопкрофт-Ульман],  
[Ахо-Хопкрофт-Ульман],