Self-stabilizing minimum degree spanning tree within one from the optimal degree

  • Authors:
  • Lélia Blin;Maria Gradinariu Potop-Butucaru;Stephane Rovedakis

  • Affiliations:
  • Université d'Evry, France and LIP6-CNRS UMR 7606, France;LIP6-CNRS UMR 7606, France and INRIA REGAL, France and Univ. Pierre & Marie Curie - Paris 6, 4 place Jussieu, 75005 Paris, France;Université d'Evry, IBISC - EA 4526, 91000 Evry, France

  • Venue:
  • Journal of Parallel and Distributed Computing
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose a self-stabilizing algorithm for constructing a Minimum Degree Spanning Tree (MDST) in undirected networks. Starting from an arbitrary state, our algorithm is guaranteed to converge to a legitimate state describing a spanning tree whose maximum node degree is at most @D^*+1, where @D^* is the minimum possible maximum degree of a spanning tree of the network. To the best of our knowledge, our algorithm is the first self-stabilizing solution for the construction of a minimum degree spanning tree in undirected graphs. The algorithm uses only local communications (nodes interact only with the neighbors at one hop distance). Moreover, the algorithm is designed to work in any asynchronous message passing network with reliable FIFO channels. Additionally, we use a fine grained atomicity model (i.e., the send/receive atomicity). The time complexity of our solution is O(mn^2logn) where m is the number of edges and n is the number of nodes. The memory complexity is O(@dlogn) in the send-receive atomicity model (@d is the maximal degree of the network).