4624
правки
Постдоминирование: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Постдоминирование''' (''[[Postdomination]]'') | '''Постдоминирование''' (''[[Postdomination]]'') — | ||
отношение между двумя [[вершина|вершинами]] <math>v</math> и <math>w</math> в [[управляющий граф|управляющем графе]] <math>G</math> | отношение между двумя [[вершина|вершинами]] <math>\,v</math> и <math>\,w</math> в [[управляющий граф|управляющем графе]] <math>\,G</math> | ||
такое, что вершина <math>v</math> постдоминируется вершиной <math>w</math>, если каждый [[путь]] | такое, что вершина <math>\,v</math> постдоминируется вершиной <math>\,w</math>, если каждый [[путь]] | ||
из <math>v</math> в [[выход]] [[граф|графа]] содержит <math>w</math> | из <math>\,v</math> в [[выход]] [[граф|графа]] содержит <math>\,w.</math> При | ||
этом вершина <math>w</math> называется ''постдоминатором ([[обязательный преемник|обязательным | этом вершина <math>\,w</math> называется ''постдоминатором ([[обязательный преемник|обязательным | ||
преемником]])'' вершины <math>v</math>. | преемником]])'' вершины <math>\,v</math>. | ||
Заметим, что иногда при определении постдоминирования | Заметим, что иногда при определении постдоминирования | ||
начальная вершина пути исключается, т.е. считается, что | начальная вершина пути исключается, т.е. считается, что | ||
| Строка 13: | Строка 13: | ||
Вершинами дерева являются вершины исходного графа. | Вершинами дерева являются вершины исходного графа. | ||
Его [[корень|корнем]] служит [[выход]] управляющего графа, а | Его [[корень|корнем]] служит [[выход]] управляющего графа, а | ||
[[дуга]] <math>(v,w)</math> существует в том и только том случае, когда <math>v</math> | [[дуга]] <math>\,(v,w)</math> существует в том и только том случае, когда <math>\,v</math> | ||
есть непосредственный обязательный преемник (постдоминатор) вершины <math>w</math>. | есть непосредственный обязательный преемник (постдоминатор) вершины <math>\,w</math>. | ||
==См. также == | ==См. также == | ||
''[[Дерево доминаторов]]''. | * ''[[Дерево доминаторов]]''. | ||
==Литература== | ==Литература== | ||
* Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. — М.: Мир, 1979. | |||
* Векторизация программ: теория, методы, реализация. — М.: Мир, 1991. | |||
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994. | |||
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | |||