Интервальный порядок: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
(Создана новая страница размером '''Интервальный порядок''' (''Interval order'') - частичный порядок <math>P(G)</math>, индуцир...)
 
Нет описания правки
 
(не показаны 2 промежуточные версии этого же участника)
Строка 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> компактными
интевалами на вещественной прямой такое, что для всех <math>x,y \in V</math>
имеет место
имеет место


<math>x < y\mbox{ в }P(G) \Leftrightarrow r(I_{x}) < l(I_{y}),</math>
:::::<math>x < y\mbox{ в }P(G) \Leftrightarrow r(I_{x}) < l(I_{y}),</math>


где <math>r(I)</math>, соответственно <math>l(I)</math>, обозначает правый, соответственно левый, конец
где <math>\,r(I)</math>, соответственно <math>\,l(I)</math>, обозначает правый, соответственно левый, конец
интервала <math>I</math>.
[[интервал|интервала]] <math>\,I</math>.
==Литература==
==Литература==
[WG'94]
* Workshop. Herrsching, 1994 // Lect. Notes Comp. Sci., 1995, vol. 903.

Текущая версия от 17:19, 22 февраля 2011

Интервальный порядок (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].

Литература

  • Workshop. Herrsching, 1994 // Lect. Notes Comp. Sci., 1995, vol. 903.