Иерархия вложенных зон: различия между версиями

'''Иерархия вложенных зон''' (''[[Hierarchy of nested zones]]'') - множество ''[[зона|зон]]'' <math>\{S_{i}\}</math> ''[[управляющий граф|управляющего графа]]'' таких, что выполняются следующие два условия:

(1) для любых двух зон иерархии либо их пересечение пусто, либо одна целиком содержится в другой;

(2) для любой зоны <math>S</math> существует такая зона иерархии <math>S_i</math>,что <math>S\subseteq S_i</math> и у <math>S</math> и <math>S_i</math> есть общая входная [[вершина]].

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