Renaming in distributed certification - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

Renaming in distributed certification

Résumé

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 limited to a local verification? In this area, it is often essential to have identifiers, that is, unique integers assigned to the nodes. In this short paper, we show how to reduce the range of the identifiers, in three different settings. More precisely, we show how to rename identifiers in the classical local certification setting, when we can (resp. cannot) choose the new identifiers, and we show how a global certificate can help to encode very compactly a new identifier assignment that is not injective in general, but still useful. We conclude with a number of applications of these three results.
Fichier principal
Vignette du fichier
2409.15404v1.pdf (552.08 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04722289 , version 1 (04-10-2024)

Identifiants

Citer

Nicolas Bousquet, Louis Esperet, Laurent Feuilloley, Sébastien Zeitoun. Renaming in distributed certification. 2024. ⟨hal-04722289⟩
6 Consultations
9 Téléchargements

Altmetric

Partager

More