Согласованный интервал — различия между версиями
Rgolchin (обсуждение | вклад) |
Rgolchin (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
[[Категория: Параллельное программирование]] | [[Категория: Параллельное программирование]] | ||
| − | Рассмотрим [[Срез, согласованный срез|срезы]] ''G'' и ''H'', <tex>G \subset H</tex>.<br> | + | Рассмотрим [[Срез, согласованный срез|срезы]] ''G'' и ''H'', <tex>G \subset H</tex>. Назовем эту пару интервалом.<br> |
| − | ''' | + | Интервал '''согласованный''', если <tex>\forall g \in G, e \rightarrow g \Rightarrow e \in H</tex>. |
Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез. | Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез. | ||
Версия 23:13, 16 мая 2018
Рассмотрим срезы G и H, . Назовем эту пару интервалом.
Интервал согласованный, если .
Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез.
