64
правки
Изменения
Нет описания правки
[[Категория: Параллельное программирование]]
Рассмотрим [[Срез, согласованный срез|срезы]] ''G'' и ''H'', <tex>G \subset H</tex>. Назовем эту пару интервалом.<br>Интервал '''Согласованный интервалсогласованный''' , если <tex>F = \{f forall g \in H: G, e \nexists rightarrow g \Rightarrow e \in E\setminus H: g\rightarrow f\}</tex>.
Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез.
