We propose a self-stabilizing algorithm (protocol) for leader election in a tree graph. We show the correctness of the proposed algorithm by using a new technique involving induction.
A self-stabilizing algorithm which finds a 2-center of a tree
โ Scribed by Tetz C. Huang; Ji-Cherng Lin; Hsueh-Jen Chen
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 884 KB
- Volume
- 40
- Category
- Article
- ISSN
- 0898-1221
No coin nor oath required. For personal study only.
โฆ Synopsis
In this paper, we design a self-stabilizing algorithm which finds a 2-center for a distributed system with a tree topology. Our algorithm is based on the algorithm in [1][2][3]. The latter enables us to find the center (or centers) for the tree. If we sever the tree at the center (or centers), we obtain two subtrees. One of the major works in this paper is to show that if we pick a center from each subtree, the two picked centers will constitute a 2-center for the original tree. With this in mind, we design our algorithm so that it is equipped with the ability of "sensing" the two subtrees and then finding a center in each of them. (~) 2000 Elsevier Science Ltd. All rights reserved.
๐ SIMILAR VOLUMES
We propose a self-stabilizing algorithm (protocol) for computing the median in a given tree graph. We show the correctness of the proposed algorithm by using a new technique involving induction.
Minimal Spanning Tree (MST) problem in an arbitrary undirected graph is 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 problem and to prove i