4 papers · 1 filter
Renaming in distributed certification
Nicolas Bousquet, Louis Esperet, Laurent Feuilloley +1
Local certification is the area of distributed network computing asking the following question: How to certify to the nodes of a network that a global property holds, if they are l…
Proving there is a leader without naming it
Laurent Feuilloley, Josef Erik SedláÄek, Martin Slávik
Local certification is a mechanism for certifying to the nodes of a network that a certain property holds. In this framework, nodes are assigned labels, called certificates, which…
Complexity landscape for local certification
Nicolas Bousquet, Laurent Feuilloley, Sébastien Zeitoun
An impressive recent line of work has charted the complexity landscape of distributed graph algorithms. For many settings, it has been determined which time complexities exist, and…
How local constraints influence network diameter and applications to LCL generalizations
Nicolas Bousquet, Laurent Feuilloley, Théo Pierron
In this paper, we investigate how local rules enforced at every node can influence the topology of a network. More precisely, we establish several results on the diameter of trees…