Scenario 2: Absorb: A node i in a f

Scenario 2: Absorb: A node i in a fragment T at level L sends out a (join, level = L, name = T) message to a node j in another fragment T′ at level L′ > L across its lwoe. If the fragment T′ has not completed its search for lwoe, then it absorbs T and includes it in the search by sending a (join, level = L′, name = T′) message in return. The root of the fragment at level L′ continues to serve as the root of the combined fragment. Fragment T at level L changes its level to L′ and acquires the name T′ of the other fragment. Then, they collectively search for the lwoe. The edge through which the join message is received becomes a tree edge and changes its status to branch.
If the fragment L′ has already chosen its lwoe, then that must be distinct from the edge (i, j); otherwise, T would have already known about it. In this case, T′ may be waiting to join with another fragment T″. Once T′ joins with another fragment, it will initiate the next search of lwoe and will send an initiate message to the nodes in T to signal the absorption. The algorithm terminates and the MST is formed when no new outgoing edge is found in a fragment. A complete example of MST formation is illustrated in Figure 10.12.
What if every fragment sends a join message to a different fragment, but no fragment receives a reciprocating join message to complete the handshake? Can such a situation arise, affecting the progress property? The next lemma shows that this is impossible.

Результаты (русский) 1:

Сценарий 2: Поглощения: узел в фрагменте T на уровне L посылает (присоединиться, level = L, имя = T) сообщение узел j в другом фрагменте T′ на уровне L′ > L через его lwoe. Если фрагмент T′ не завершил поиск lwoe, то он поглощает T и включает его в поиск, отправив (присоединиться, уровень = L′, имя = T′) сообщение в ответ. Корень фрагмента на уровне L′ по-прежнему служить в качестве корня объединенного фрагмента. Фрагмент T на уровне L изменяет свой уровень L′ и получает имя T′ другой фрагмент. Затем они коллективно ищут lwoe. Край, через который получено сообщение соединения становится край дерева и меняет свой статус филиала.Если фрагмент L′ уже выбрал его lwoe, то это должно быть отличной от края (i, j); в противном случае T бы уже знали об этом. В этом случае T′ может ждать, чтобы вступить с другим фрагментом T″. После того, как T′ присоединяется к с другим фрагментом, он начнет следующий поиск lwoe и будет инициировать сообщение к узлам T сигнала поглощения. Алгоритм завершает и MST образуется, когда нет новых исходящих края находится в фрагменте. Полный пример формирования MST показано на рис. 10.12.Что делать, если каждый фрагмент посылает сообщение соединения другой фрагмент, но не фрагмент получает поршневая сообщение соединения для завершения рукопожатия? Может возникнуть такая ситуация, затрагивающие имущество прогресс? Следующий "ЛЕММА" показывает, что это невозможно.

Результаты (русский) 2:

Сценарий 2: Удержать: Узел я в фрагменте T на уровне L посылает (, уровень = L, T = имя Join) сообщение к узлу J в другом фрагменте Т 'на уровне L'> L через его lwoe. Если фрагмент Т 'не завершила поиски lwoe, то он поглощает T и включает его в поиске путем отправки (присоединиться, уровень = L', имя = T ') сообщение в ответ. Корень фрагмента на уровне L 'продолжает служить в качестве корня объединенного фрагмента. Фрагмент T на уровне L меняет свой уровень в L 'и получает название Т' другого фрагмента. Затем они все вместе искать lwoe. Край , через который получено сообщение присоединиться становится деревом края и меняет свой статус на ветку.
Если фрагмент L 'уже выбрал свою lwoe, то , что должно быть отличным от края (I, J); в противном случае, T бы уже знали об этом. В этом случае Т 'может ждать , чтобы присоединиться к другим фрагментом Т ". После того, как T 'соединяется с другим фрагментом, он будет инициировать следующий поиск lwoe и отправит сообщение Посвященный к узлам в T для сигнала поглощения. Алгоритм завершает свою работу и MST формируется при отсутствии нового исходящего края не будет найдено в фрагменте. Полный пример формирования MST показан на рисунке 10.12.
Что делать , если каждый фрагмент посылает сообщение присоединиться к другому фрагменту, но ни один фрагмент не получает возвратно - поступательное движение присоединиться сообщение , чтобы завершить рукопожатие? Может возникнуть такая ситуация, что влияет на свойство прогресса? Следующая лемма показывает , что это невозможно.