Иерархия вложенных зон

Материал из WikiGrapp
Перейти к навигации Перейти к поиску

Иерархия вложенных зон (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] есть общая входная вершина.

Частным случаем является иерархия вложенных контуров.

Литература

[Касьянов/88],

[Евстигнеев/85]