A Self-stabilizing $\frac{2}{3}$-Approximation Algorithm for the Maximum Matching Problem

  • Authors:
  • Fredrik Manne;Morten Mjelde;Laurence Pilard;Sébastien Tixeuil

  • Affiliations:
  • University of Bergen, Norway;University of Bergen, Norway;University of Franche Comté, France;LIP6 & INRIA Grand Large, Universitééé Pierre et Marie Curie, Paris 6, France

  • Venue:
  • SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

The matching problem asks for a large set of disjoint edges in a graph. It is a problem that has received considerable attention in both the sequential and self-stabilizing literature. Previous work has resulted in self-stabilizing algorithms for computing a maximal ($\frac{1}{2}$-approximation) matching in a general graph, as well as computing a $\frac{2}{3}$-approximation on more specific graph types. In the following we present the first self-stabilizing algorithm for finding a $\frac{2}{3}$-approximation to the maximum matching problem in a general graph. We show that our new algorithm stabilizes in at most exponential time under a distributed adversarial daemon, and O (n 2) rounds under a distributed fair daemon, where n is the number of nodes in the graph.