Согласованный интервал — различия между версиями
Rgolchin (обсуждение | вклад) |
Rgolchin (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
[[Категория: Параллельное программирование]] | [[Категория: Параллельное программирование]] | ||
| − | Назовем пару | + | Назовем пару [[Срез, согласованный срез|срезов]] <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
Назовем пару срезов , , интервалом.
Интервал согласованный, если .
Это значит, что нет сообщений через согласованный интервал в обратную сторону. Отсюда следует, что в согласованном интервале есть согласованный срез. Более того, в обратную сторону тоже верно.
