Аноним

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

Материал из WikiGrapp
нет описания правки
Нет описания правки
Нет описания правки
 
Строка 1: Строка 1:
'''Интервальный порядок''' (''[[Interval order]]'') - частичный порядок <math>P(G)</math>, индуцированный [[орграф|орграфом]] <math>G</math>, который допускает интервальное представление <math>\{I_{x}\}_{x \in V}</math> компактными интервалами на вещественной прямой такое, что для всех <math>x,y \in V</math>
'''Интервальный порядок''' (''[[Interval order]]'') частичный порядок <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.