Иерархия вложенных зон: различия между версиями
Перейти к навигации
Перейти к поиску
KEV (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) |
||
| Строка 10: | Строка 10: | ||
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | * Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | ||
[[Категория: Сводимые и регуляризуемые графы]] | |||
Версия от 10:56, 17 сентября 2019
Иерархия вложенных зон (Hierarchy of nested zones) — множество зон [math]\displaystyle{ \,\{S_{i}\} }[/math] управляющего графа таких, что выполняются следующие два условия:
(1) для любых двух зон иерархии либо их пересечение пусто, либо одна целиком содержится в другой;
(2) для любой зоны [math]\displaystyle{ \,S }[/math] существует такая зона иерархии [math]\displaystyle{ \,S_i }[/math],что [math]\displaystyle{ S\subseteq S_i }[/math] и у [math]\displaystyle{ \,S }[/math] и [math]\displaystyle{ \,S_i }[/math] есть общая входная вершина.
Частным случаем является иерархия вложенных контуров.
Литература
- Евстигнеев В.А. Применение теории графов в программировании. — М.: Наука, 1985.
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.