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

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 1: Строка 1:
 
[[Категория: Параллельное программирование]]
 
[[Категория: Параллельное программирование]]
Назовем пару срезов [[Срез, согласованный срез|срезы]] <tex>[G, H]</tex>, <tex>G \subset H</tex>, интервалом.<br>
+
Назовем пару [[Срез, согласованный срез|срезов]] <tex>[G, H]</tex>, <tex>G \subset H</tex>, интервалом.<br>
 
Интервал '''согласованный''', если <tex>\forall e, g: g \in G \land e \rightarrow g \Rightarrow e \in H</tex>.
 
Интервал '''согласованный''', если <tex>\forall e, g: g \in G \land e \rightarrow g \Rightarrow e \in H</tex>.
  
 
Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез. Более того, в обратную сторону тоже верно.
 
Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез. Более того, в обратную сторону тоже верно.

Версия 23:20, 16 мая 2018

Назовем пару срезов [math][G, H][/math], [math]G \subset H[/math], интервалом.
Интервал согласованный, если [math]\forall e, g: g \in G \land e \rightarrow g \Rightarrow e \in H[/math].

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