G. Antonoiu et Pk. Srimani, A SELF-STABILIZING DISTRIBUTED ALGORITHM FOR MINIMAL SPANNING TREE PROBLEM IN A SYMMETRICAL GRAPH, Computers & mathematics with applications, 35(10), 1998, pp. 15-23
Minimal Spanning Tree (MST) problem in an arbitrary undirected graph i
s an important problem in graph theory and has extensive applications.
Numerous algorithms are available to compute an MST. Our purpose here
is to propose a self-stabilizing distributed algorithm for the MST pr
oblem and to prove its correctness. The algorithm utilizes an interest
ing result of [1]. We show the correctness of the proposed algorithm b
y using a new technique involving induction. (C) 1998 Elsevier Science
Ltd. All rights reserved.