Согласованный интервал — различия между версиями
Rgolchin (обсуждение | вклад) |
Rgolchin (обсуждение | вклад) |
||
Строка 1: | Строка 1: | ||
[[Категория: Параллельное программирование]] | [[Категория: Параллельное программирование]] | ||
− | Рассмотрим [[Срез, согласованный срез|срезы]] ''G'' и ''H'', <tex>G \ | + | Рассмотрим [[Срез, согласованный срез|срезы]] ''G'' и ''H'', <tex>G \subset H</tex>.<br> |
'''Согласованный интервал''' <tex>F = \{f \in H: \nexists g \in E\setminus H: g\rightarrow f\}</tex>. | '''Согласованный интервал''' <tex>F = \{f \in H: \nexists g \in E\setminus H: g\rightarrow f\}</tex>. | ||
Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез. | Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез. |
Версия 23:09, 16 мая 2018
Рассмотрим срезы G и H, .
Согласованный интервал .
Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез.