Дерево доминаторов: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Дерево доминаторов''' (''Dominator tree'') - корневое ордерево, вершины которого су...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 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>. | |||
Другие названия --- ''Доминаторное дерево, Дерево обязательного предшествования''. | Другие названия --- ''[[Доминаторное дерево]], [[Дерево обязательного предшествования]]''. | ||
==Литература== | ==Литература== | ||
[Ахо-Хопкрофт-Ульман], | [Ахо-Хопкрофт-Ульман], | ||
Версия от 16:49, 14 октября 2009
Дерево доминаторов (Dominator tree) - корневое ордерево, вершины которого суть вершины исходного графа и в котором дуга [math]\displaystyle{ (v,w) }[/math] существует в том и только том случае, когда [math]\displaystyle{ v }[/math] есть непосредственный обязательный предшественник (доминатор) вершины [math]\displaystyle{ w }[/math].
Другие названия --- Доминаторное дерево, Дерево обязательного предшествования.
Литература
[Ахо-Хопкрофт-Ульман],
[Касьянов/88],
[Свами-Тхуласимаран]