Introduction to local certification - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Article Dans Une Revue Discrete Mathematics and Theoretical Computer Science Année : 2021

Introduction to local certification

Résumé

A distributed graph algorithm is basically an algorithm where every node of a graph can look at its neighborhood at some distance in the graph and chose its output. As distributed environment are subject to faults, an important issue is to be able to check that the output is correct, or in general that the network is in proper configuration with respect to some predicate. One would like this checking to be very local, to avoid using too much resources. Unfortunately most predicates cannot be checked this way, and that is where certification comes into play. Local certification (also known as proof-labeling schemes, locally checkable proofs or distributed verification) consists in assigning labels to the nodes, that certify that the configuration is correct. There are several point of view on this topic: it can be seen as a part of self-stabilizing algorithms, as labeling problem, or as a non-deterministic distributed decision. This paper is an introduction to the domain of local certification, giving an overview of the history, the techniques and the current research directions.
Fichier principal
Vignette du fichier
intro-certif-final.pdf (298.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03615706 , version 1 (21-03-2022)

Identifiants

Citer

Laurent Feuilloley. Introduction to local certification. Discrete Mathematics and Theoretical Computer Science, 2021, 23 (3), ⟨10.46298/dmtcs.6280⟩. ⟨hal-03615706⟩
19 Consultations
124 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More