Robustness: A new form of heredity motivated by dynamic networks - Inria - Institut national de recherche en sciences et technologies du numérique
Nothing Special   »   [go: up one dir, main page]

Article Dans Une Revue Theoretical Computer Science Année : 2020
Robustness: A new form of heredity motivated by dynamic networks
1 LaBRI - Laboratoire Bordelais de Recherche en Informatique (Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex - France)
"> LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 DELYS - DistributEd aLgorithms and sYStems (2 rue Simone Iff -CS 42112 -75589 Paris Cedex 12 - France)
"> DELYS - DistributEd aLgorithms and sYStems
3 LBNC - Laboratoire Biens, Normes, Contrats (74 Rue Louis Pasteur 84029 Avignon cedex 1 - France)
"> LBNC - Laboratoire Biens, Normes, Contrats

Résumé

We investigate a special case of hereditary property in graphs, referred to as robust-ness. A property (or structure) is called robust in a graph G if it is inherited by all the connected spanning subgraphs of G. We motivate this definition using two different settings of dynamic networks. The first corresponds to networks of low dynamicity, where some links may be permanently removed so long as the network remains con-nected. The second corresponds to highly-dynamic networks, where communication links appear and disappear arbitrarily often, subject only to the requirement that the en-tities are temporally connected in a recurrent fashion (i.e. they can always reach each other through temporal paths). Each context induces a different interpretation of the notion of robustness. We start by motivating the definition and discussing the two interpretations, after what we consider the notion independently from its interpretation, taking as our focus the robustness of maximal independent sets (MIS). A graph may or may not admit a robust MIS. We characterize the set of graphs RMIS∀ in which all MISs are robust. Then, we turn our attention to the graphs that admit a robust MIS (RMIS∃). This class has a more complex structure; we give a partial characterization in terms of ele-mentary graph properties, then a complete characterization by means of a (polynomial time) decision algorithm that accepts if and only if a robust MIS exists. This algorithm can be adapted to construct such a solution if one exists.
Fichier principal
Vignette du fichier
S0304397519304979.pdf (470.33 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02491886 , version 1 (21-07-2022)

Licence

Identifiants

Citer

Arnaud Casteigts, Swan Dubois, Franck Petit, John Robson. Robustness: A new form of heredity motivated by dynamic networks. Theoretical Computer Science, 2020, 806, pp.429-445. ⟨10.1016/j.tcs.2019.08.008⟩. ⟨hal-02491886⟩
146 Consultations
45 Téléchargements

Altmetric

Partager

More