An application of snap-stabilization: matching in bipartite graphs

  • Authors:
  • Rachid Hadid;Mehmet Hakan Karaata

  • Affiliations:
  • Department of Computer Science, Mazoon College, Sultanate of Oman;Department of Computer Eng, Kuwait University, Kuwait

  • Venue:
  • ACMOS'07 Proceedings of the 9th WSEAS international conference on Automatic control, modelling and simulation
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

A matching M of graph G = (V, E) is a subset of the edges E, such that no vertex in V is incident to more than one edge in M. The matching M is maximum if there is no matching in G with size strictly larger than the size of M. In this paper, we present a distributed stabilizing algorithm for finding maximum matching in bipartite graphs based on the stabilizing PIF algorithm of [8]. Since our algorithm is stabilizing, it does not require initialization and withstands transient faults. The complexity of the proposed algorithm is O(d×n) rounds, where d is the diameter of the communication network and n is the number of nodes in the network. The space complexity is O((Δ × d)2), where Δ is the largest degree of all the nodes in the communication network. The proposed algorithm can easily be adapted to devise a linear time optimal algorithm.