To verify the termination-detection

To verify the termination-detection property, note that for a noninitiator node j, the predicate (parent ≠ j) indicates that node j has one unacknowledged message from its parent. When node j discovers another shorter path (to the initiator) through a different predecessor, it switches its parent. As in the Dijkstra–Scholten termination-detection algorithm, a node sends an acknowledgment to its parent only when its deficit = 0. If the initiator receives a message, then the condition D(i) + w(i, 0) ≥ D(0) must hold, and the initiator returns an acknowledgment to the sender. When the initiator receives a message for which the condition D(i) + w(i, 0) < D(0) holds, the existence of a cycle with negative weight is detected. This case is not discussed here.
When the weight of each edge is 1, the shortest path computation leads to the formation of the breadth first search (BFS) spanning tree with the initiator as the root. Every node with shortest hop distance D from the root has a parent whose shortest distance from the root is D − 1. The set of all nodes and the edges joining each node with its parent define the BFS spanning tree.

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

Чтобы проверить свойство завершения обнаружения, обратите внимание, что для noninitiator узла j, предикат (родитель ≠ j) указывает, что узел j имеет одно непризнанные сообщение от родительского. Когда узел j обнаруживает еще один короткий путь (к инициатору) через другой предшественник, он переключает его родителя. Как и прекращение обнаружения алгоритм Дейкстры-Схолтен, узел отправляет подтверждение к его родительскому элементу только если его дефицит = 0. Если инициатор получает сообщение, то условие D(i) + w (i, 0) ≥ D(0) необходимо провести, и инициатор возвращает подтверждение отправителя. Когда инициатор получает сообщение, для которого условие D(i) + w (i, 0) < D(0) держит, обнаружено существование цикла с отрицательным весом. Этот случай здесь не обсуждаются.Когда вес каждого края 1, вычисление кратчайшего пути приводит к образованию и ширина первый поиск (BFS) spanning дерево с инициатором как корень. Каждый узел с кратчайшее расстояние прыжка D от корня имеет родителя которого кратчайшее расстояние от корня-D − 1. Набор всех узлов и ребер присоединения каждого узла с его родительским элементом определяют BFS, spanning tree.

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

Чтобы проверить свойство прекращения обнаружения, обратите внимание , что для noninitiator узла J, предикат (родительский ≠ J) указывает на то, что узел J имеет один безвестного сообщение от своего родителя. Когда узел J обнаруживает другой короткий путь (инициатору) через другой предшественник, он переключает свой родительский. Как и в алгоритме прекращения обнаружения Дейкстра-Схолтен, узел посылает подтверждение своему родителю только тогда , когда его дефицит = 0. Если инициатор получает сообщение, то условие D (I) + ш (г, 0) ≥ D ( 0) должно выполняться, а инициатор возвращает подтверждение отправителю. Когда инициатор получает сообщение , для которого (I, 0) <D (0) имеет место, детектируют условие D (I) + W существование цикла с отрицательным весом. Этот случай здесь не обсуждается.
Когда вес каждого ребра равен 1, самый короткий путь вычисления приводит к формированию первого поиска в ширину (BFS) остова с инициатором в качестве корня. Каждый узел с кратчайшего расстояния D хмелевой от корня имеет родителя, кратчайшее расстояние от корня D - 1. Множество всех узлов и ребер , соединяющих каждый узел с его родительским определяют остова BFS.