Algorithme autostabilisant construisant un petit ensemble k-dominant

Abstract

RESUME. Nous proposons un algorithme distribue, asynchrone, silencieux et autostabilisant calculant un ensemble k-dominant minimal d’un reseau identifie quelconque de n processus. La taille de l’ensemble k-dominant calcule est d’au plus ⌈ n k+1 ⌉ processus. A partir d’un transformateur presente egalement dans cet article, nous obtenons une solution fonctionnant sous un ordonnanceur inequitable (le plus general des ordonnanceurs). Notre solution stabilise en O(n) rondes et O(Dn) pas de calcul, ou D est le diametre du reseau. Enfin, elle necessite O(log k + log n+ k log N k ) bits de memoire par processus ou N est un majorant de n.