Интервальный порядок: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Интервальный порядок''' (''Interval order'') - частичный порядок <math>P(G)</math>, индуцир...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Интервальный порядок''' (''Interval order'') - | '''Интервальный порядок''' (''[[Interval order]]'') - частичный порядок <math>P(G)</math>, индуцированный [[орграф|орграфом]] <math>G</math>, который допускает интервальное представление <math>\{I_{x}\}_{x \in V}</math> компактными интервалами на вещественной прямой такое, что для всех <math>x,y \in V</math> | ||
частичный порядок <math>P(G)</math>, индуцированный орграфом <math>G</math>, который | |||
допускает интервальное представление <math>\{I_{x}\}_{x \in V}</math> компактными | |||
имеет место | имеет место | ||
Версия от 13:30, 28 октября 2009
Интервальный порядок (Interval order) - частичный порядок [math]\displaystyle{ P(G) }[/math], индуцированный орграфом [math]\displaystyle{ G }[/math], который допускает интервальное представление [math]\displaystyle{ \{I_{x}\}_{x \in V} }[/math] компактными интервалами на вещественной прямой такое, что для всех [math]\displaystyle{ x,y \in V }[/math] имеет место
[math]\displaystyle{ x \lt y\mbox{ в }P(G) \Leftrightarrow r(I_{x}) \lt l(I_{y}), }[/math]
где [math]\displaystyle{ r(I) }[/math], соответственно [math]\displaystyle{ l(I) }[/math], обозначает правый, соответственно левый, конец интервала [math]\displaystyle{ I }[/math].
Литература
[WG'94]