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