Move Complexity of a Self-Stabilizing Algorithm for Maximal Independent Sets
A_π½πΎπ is a self-stabilizing algorithm that computes a maximal independent set in a finite graph with approximation ratio (Ξ + 2)/3. In this note we show that under the central scheduler the number of moves of A_π½πΎπ is not bounded by a polynomial in n.
READ FULL TEXT