Согласованный интервал — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 1: Строка 1:
 
[[Категория: Параллельное программирование]]
 
[[Категория: Параллельное программирование]]
Рассмотрим [[Срез, согласованный срез|срезы]] ''G'' и ''H'', <tex>G \setin H</tex>.<br>
+
Рассмотрим [[Срез, согласованный срез|срезы]] ''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, [math]G \subset H[/math].
Согласованный интервал [math]F = \{f \in H: \nexists g \in E\setminus H: g\rightarrow f\}[/math].

Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез.