Efficient self-stabilizing construction of disjoint MDSs in distance-2 model - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2021

Efficient self-stabilizing construction of disjoint MDSs in distance-2 model

Abstract

We study the deterministic silent self-stabilizing construction of two disjoint minimal dominating sets (MDSs) in anonymous networks. We focus on algorithms where nodes share only their status (i.e. the name of their MDS to which they belong, if they belong to a MDS). We prove that such an algorithm cannot be designed in distance-1 model under a central daemon; therefore, we study this problem in the distance-2 model under a central daemon. We present an algorithm building two disjoint minimal dominating sets such that one of them is also a maximal independent set (MIS). Any execution of this algorithm converges in 5n moves. Our approach to compute this value is novel: the number of moves is not computed per node. We propose a second algorithm faster than the first one at the expense of the independence property of one of the constructed sets. A node executes at most 2 moves. If the network is not anonymous, the presented algorithms can be translated into a silent self-stabilizing algorithms converging in O($n$•$m$) moves in the distance-1 model under the distributed daemon where m is the number of edges and n the number of nodes. This improves the complexity of O($n$.$m$) moves of proposed algorithms with the same assumptions.
Fichier principal
Vignette du fichier
disjointMDS.pdf (308.25 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03138979 , version 1 (11-02-2021)

Identifiers

  • HAL Id : hal-03138979 , version 1

Cite

Colette Johnen, Mohammed Haddad. Efficient self-stabilizing construction of disjoint MDSs in distance-2 model. [Research Report] Inria Paris, Sorbonne Université; LaBRI, CNRS UMR 5800; LIRIS UMR CNRS 5205. 2021. ⟨hal-03138979⟩
131 View
73 Download

Share

Gmail Facebook X LinkedIn More