Deciding and verifying network properties locally with few output bits - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Distributed Computing Année : 2020

Deciding and verifying network properties locally with few output bits

Résumé

Given a boolean predicate on labeled networks (e.g., the network is acyclic, or the network is properly colored, etc.), deciding in a distributed manner whether a given labeled network satisfies that predicate typically consists, in the standard setting, of every node inspecting its close neighborhood, and outputting a boolean verdict, such that the network satisfies the predicate if and only if all nodes output true. In this paper, we investigate a more general notion of distributed decision in which every node is allowed to output a constant number $b\geq 1$ of bits, which are gathered by a central authority emitting a global boolean verdict based on these outputs, such that the network satisfies the predicate if and only if this global verdict equals true. We analyze the power and limitations of this extended notion of distributed decision.
Fichier principal
Vignette du fichier
DistComp-WG2014.pdf (572.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02285014 , version 1 (18-09-2019)

Identifiants

Citer

Heger Arfaoui, Pierre Fraigniaud, David Ilcinkas, Fabien Mathieu, Andrzej Pelc. Deciding and verifying network properties locally with few output bits. Distributed Computing, 2020, 33, pp.169-187. ⟨10.1007/s00446-019-00355-1⟩. ⟨hal-02285014⟩

Collections

CNRS ANR
41 Consultations
99 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More