Интервальный порядок обобщенный
Материал из WikiGrapp
Интервальный порядок обобщенный (Generalized interval order) - Порядок [math]\displaystyle{ P = (V,\lt ) }[/math], индуцированный орграфом [math]\displaystyle{ G = (V,E) }[/math], такой, что для всех [math]\displaystyle{ x,y \in V }[/math] имеет место импликация
[math]\displaystyle{ N(x) \cap N(y) \neq \emptyset \Rightarrow N(x) \subseteq N(y) }[/math] или [math]\displaystyle{ N(y) \subseteq N(x), }[/math]
где [math]\displaystyle{ N(v) }[/math] --- окрестность вершины [math]\displaystyle{ v }[/math].
Литература
[WG'94]
