A super-stabilizing log(n)-approximation algorithm for dynamic Steiner trees

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

  • Affiliations:
  • Univ. Evry Val dEssonnes, Bd François Mitterrand, 91000 Evry, France and LIP6-CNRS UMR 7606, France;Univ. Pierre & Marie Curie - Paris 6, France and LIP6-CNRS UMR 7606, France;Laboratoire CEDRIC, CNAM, 292 Rue St Martin, 75141 Paris, France

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2013

Quantified Score

Hi-index 5.23

Visualization

Abstract

This paper proposes a fully dynamic self-stabilizing algorithm for the dynamic Steiner tree problem. The Steiner tree problem aims at constructing a Minimum Spanning Tree (MST) over a subset of nodes called Steiner members, or Steiner group usually denoted S. Steiner trees are good candidates to efficiently implement communication primitives such as publish/subscribe or multicast, essential building blocks in the design of middleware architectures for the new emergent networks (e.g., P2P, sensor or adhoc networks). Our algorithm returns a log(|S|)-approximation of the optimal Steiner tree. It improves over existing solutions in several ways. First, it is fully dynamic, in other words it withstands the dynamism when both the group members and ordinary nodes can join or leave the network. Next, our algorithm is self-stabilizing, that is, it copes with nodes memory corruption. Last but not least, our algorithm is super-stabilizing. That is, while converging to a correct configuration (i.e., a Steiner tree) after a modification of the network, it keeps offering the Steiner tree service during the stabilization time to all members that have not been affected by this modification.